ヴィルヘルム・アッカーマンとは? わかりやすく解説

Weblio 辞書 > 固有名詞の種類 > 人名 > 学者・研究者 > 数学者 > 20世紀の数学者 > ヴィルヘルム・アッカーマンの意味・解説 

ヴィルヘルム・アッカーマン

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/12/07 09:42 UTC 版)

ヴィルヘルム・アッカーマン

ヴィルヘルム・アッカーマン(Wilhelm Friedrich Ackermann, 1896年3月29日 - 1962年12月24日)はドイツ数学者計算理論での重要な例の一つであるアッカーマン関数を考案した。

アッカーマンは、1925年に2階のペアノ算術を弱めた体系の無矛盾性の証明を与え、ゲッティンゲン大学から博士号を得た。この証明は、ヒルベルトヒルベルト・プログラムでの基本手法として考えていたアイデアに沿ったものであった。 後に、この証明では、厳格な有限の立場を越えるωωωまでの順序数の整列性を 必要とするリダクションが隠伏的に用いられていたことが判明している。

1929年から1948年まで、彼はシュタインフルトギムナジウムで教師として教え、 その後1961年まで彼の生まれ故郷のリューデンシャイト (Lüdenscheid) の女子ギムナジウムで教えた。 彼はまたゲッティンゲン科学アカデミーの通信会員であり、ミュンスター大学の非常勤教授でもあった。

1928年、彼はダフィット・ヒルベルト1917年から1922年に行った数理論理学の入門の講義録をもとにヒルベルトと共著でGrundzüge der theoretischen Logik (理論論理学概論) を執筆している。 また1937年には無限公理を含まない集合論の、1940年にはペアノの公理の、1952年にはtype-free logicの無矛盾性の証明を与えている。 1956年には、クラスをオブジェクトとして含み、 ある意味でカントルの集合論の自然な公理化になっているような公理的集合論の体系を導入している。





固有名詞の分類


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「ヴィルヘルム・アッカーマン」の関連用語

ヴィルヘルム・アッカーマンのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ヴィルヘルム・アッカーマンのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのヴィルヘルム・アッカーマン (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS