ランキングモンスター

ヴィルヘルム・アッカーマンについて調べるならランキング★モンスターで簡単チェック!!
ヴィルヘルム・アッカーマンを検索

ヴィルヘルム・アッカーマンのまとめ


ヴィルヘルム・アッカーマン(Wilhelm Friedrich Ackermann、1896年3月29日1962年12月24日)はドイツ数学者で、計算理論の例として重要なアッカーマン関数を考案したことでよく知られる。

アッカーマンは1925年にペアノの公理を使わずにヒルベルト・プログラム無矛盾性の一部を証明する研究を行い、ゲッティンゲン大学から博士号を得た。1929年から1948年まで、彼はシュタインフルトのギムナジウムで教師として教え、それから1961年まではLüdenscheidで教えた。彼はまたゲッティンゲン科学アカデミーの通信会員であり、ミュンスター大学の名誉教授でもあった。

1928年、彼はダフィット・ヒルベルトが1917年から1922年の講演の中で述べていた一階述語論理を確立する手助けを行った。また1937年には集合論の、1940年にはペアノの公理の、1952年にはtype-free logicの、1956年には公理的集合論の無矛盾性の証明を行った。


ランキング★モンスタートップ>ヴィルヘルム・アッカーマン

ヴィルヘルム・アッカーマンを検索
ヴィルヘルム・アッカーマンのブログを検索
ヴィルヘルム・アッカーマンの動画を検索
ヴィルヘルム・アッカーマンの画像を検索
ヴィルヘルム・アッカーマンの書籍を検索
ヴィルヘルム・アッカーマンの音楽を検索
ヴィルヘルム・アッカーマンのDVDを検索
人気の音楽・映画・コミックのランキングランキング★モンスターでチェック!