ランキングモンスター
ヴィルヘルム・アッカーマンを検索
ヴィルヘルム・アッカーマンのまとめ
ヴィルヘルム・アッカーマン(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年には公理的集合論の無矛盾性の証明を行った。
ランキング★モンスタートップ>ヴィルヘルム・アッカーマン