マルティン・レーブ
From Wikipedia, the free encyclopedia
出身校
ロンドン大学
博士論文
A Methodological Characterization of Constructive Mathematics (構成的数学の方法論的特徴付け)[1] (1953)
| マルティン・フーゴ・レーブ Martin Hugo Löb | |
|---|---|
| 生誕 |
1921年3月31日 ベルリン |
| 死没 |
2006年8月21日（85歳没） オランダ アネン |
| 出身校 | ロンドン大学 |
| 博士論文 | A Methodological Characterization of Constructive Mathematics (構成的数学の方法論的特徴付け)[1] (1953) |
| 博士課程 指導教員 | ルーベン・グッドスタイン |
| 博士課程 指導学生 | ヨハン・ファン・ベンタム |
| 主な業績 | レーブの定理 |
| 配偶者 | キャロライン (Caroline) |
| 子供 | マリカ (Maryke)、ステファニー (Stefani) |
| プロジェクト:人物伝 | |
マルティン・フーゴ・レーブ (Martin Hugo Löb、ドイツ語: [løːp]、1921年3月31日 - 2006年8月21日) は、ドイツの数学者。第二次世界大戦後にイギリスに定住し、数理論理学を専門とした。1970年代にオランダに移住し、引退後も同国に留まった。彼は1955年にレーブの定理を定式化したことで最もよく知られている。
