ジャック・エルブラン
ジャック・エルブラン (Jacques Herbrand、1908年2月12日 - 1931年7月27日)はパリ生まれのフランスの数学者。
| ジャック・エルブラン | |
|---|---|
 事故を起こした登山のときのもの | |
| 生誕 |
1908年2月12日 フランス パリ |
| 死没 |
1931年7月27日（23歳没） フランス ラ・ベラルド、イゼール |
| 居住 | フランス、ドイツ |
| 国籍 | フランス |
| 研究分野 | 数理論理学、類体論 |
| 出身校 | エコール・ノルマル・シュペリウール |
| 博士課程 指導教員 | Ernest Vessiot |
| 主な業績 | エルブランの定理 |
| プロジェクト:人物伝 | |
数理論理学と類体論に業績がある。再帰関数を導入した。エルブランの定理と呼ばれるまったく別の2つの定理がある。ひとつは彼が博士論文として書いた証明論についてのもの、もうひとつはエルブラン・リベットの定理と呼ばれるものである。また、エルブラン商は、ホモロジー代数におけるオイラー標数の一種である。ヒルベルトプログラムにも貢献した（弱い算術系における無矛盾性の証明）。
来歴・人物
編集エルブランは1929年、エコール・ノルマル・シュペリウールでErnest Vessiotのもと博士号を取った。その年の10月に軍に入隊した。そのためパリ大学での論文審査は翌年まで持ち越された。ロックフェラー財団による奨学金を得て、1931年にドイツに留学。初めベルリンでノイマンと、6月にはハンブルクでエミール・アルティンと、そして最終的にゲッティンゲンでエミー・ネーターとともに学んだ。
1931年のはじめ、「算術の無矛盾性について」と題した証明論の論文を提出した。エルブランの論文が審査されているころ、クルト・ゲーデルの発表した論文「プリンピキア・マテマティカとその関連体系における決定不可能な命題について」が無矛盾性の証明を形式化することが不可能であること明らかにした。
エルブランはゲーデルの論文を読み、ゲーデルのアイデアと自身のものが矛盾しないことを説明する解説をつけた。その年の7月、2人の友人とともにフランスイゼール県にあるアルプスを登山中、滑落事故を起こし亡くなった。彼の論文「算術の無矛盾性について」は死後公刊された。
アンドレ・ヴェイユは、エルブランと同じく若くして亡くなった数学者谷山豊とエルブランを比較して、エルブランの人物像を次のように述べている。
私の年配のフランスの数学者にとっては、エルブランを直ちに思い浮かべずに谷山について書くことは不可能である。エルブランもまたその時代の数学者のうちの最も強い個性を持つ一人として、彼と知り合った人々の記憶の中に留まるであろう。エルブランは23歳で山の遭難で死んだ。彼の仲間達によれば、山では慎重さは彼の基調的特質ではなかったという。知性のある限界を越えてしまった者には、生命などは大して重要なものではないようである。エルブランを知った何人にとっても、もし彼が生きていたら、我々の数学、特に我々の数論がやはり今日在るのと全く同じ姿を有しただろうとは到底思えないのである。彼は、他の者より先にしかじかの問題を解くといったことをばかりでなく、また、その人以外の者が決して持たなかった思想によって科学を豊かにすることを人々が期待するという人物であった。谷山もまたそのような人物である。 — アンドレ・ヴェイユ 述（志村五郎 訳）, 谷山を憶う, 数学の歩み6巻4号, pp.23.
ブルバキ
編集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