ジャック・エルブラン

ジャック・エルブラン
事故を起こした登山のときのもの
人物情報
誕生	1908年2月12日 フランス パリ
死没	1931年7月27日（23歳） フランス ラ・ベラルド、イゼール
居住	フランス、ドイツ
国籍	フランス
学問
研究分野	数理論理学、類体論
母校	エコール・ノルマル・シュペリウール
博士課程 指導教員	Ernest Vessiot
主な業績	エルブランの定理

ジャック・エルブラン (Jacques Herbrand、1908年2月12日 - 1931年7月27日)はパリ生まれのフランスの数学者である。数理論理学と類体論に業績がある。再帰関数を導入した。エルブランの定理と呼ばれているものは、まったく別の２つの定理を指していう。ひとつは彼が博士論文として書いた証明論についてのものであり、もうひとつはエルブラン・リベットの定理と呼ばれているものである。エルブラン商とはホモロジー代数におけるオイラー標数の一種。彼はまたヒルベルトプログラムにも貢献した（弱い算術系における無矛盾性の証明）。

生い立ち

エルブランは1929年、エコール・ノルマル・シュペリウールでErnest Vessiotのもと博士号を取った。その年の10月に軍に入隊した。そのためパリ大学での論文審査は翌年まで持ち越された。ロックフェラー財団による奨学金を得て、1931年にドイツに留学。初めベルリンでノイマンと、6月にはハンブルクでエミール･アルティンと、そして最終的にゲッティンゲンでエミー・ネーターとともに学んだ。

1931年のはじめ、「算術の無矛盾性について」と題した証明論の論文を提出した。エルブランの論文が審査されているころ、クルト・ゲーデルの発表した論文「プリンピキア・マテマティカとその関連体系における決定不可能な命題について」が無矛盾性の証明を形式化することが不可能であること明らかにした。

エルブランはゲーデルの論文を読み、ゲーデルのアイデアと自身のものが矛盾しないことを説明する解説をつけた。その年の7月、2人の友人とともにフランスイゼール県にあるアルプスを登山中、滑落事故を起こし亡くなった。彼の論文「算術の無矛盾性について」は死後公刊された。

ブルバキ

Michele Chouchanは、クロード・シュヴァレーが「エルブランならばブルバキを嫌ったであろう」と言ったことを紹介している。（"Nicolas Bourbaki Faits et legendes" Edition du choix, 1995）

関連項目

• エルブランの定理

参考文献

• Jean van Heijenoort, 1967. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931. Cambridge, Mass.: Harvard Univ. Press.
  • 1930. "Investigations in proof theory," 525-81.
  • 1931. "On the consistency of arithmetic," 618-28.
  • 1968. Jean van Heijenoort (ed.), Jacques Herbrand, Écrits logiques. Paris: Presses Universitaires de France.
  • 1971. Warren David Goldfarb (transl., ed.), Logical Writings of Jacques Herbrand Cambridge, Mass.: Harvard University Press.

外部リンク

• Herbrand biography (MacTutor History of Mathematics archive) by John J. O'Connor and Edmund F. Robertson （英語）
• Jacques Herbrand at the Mathematics Genealogy Project （英語）