|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ラン : [らん] 【名詞】 1. (1) run 2. (2) LAN (local area network) 3. (P), (n) (1) run/(2) LAN (local area network)
ジャック・エルブラン (Jacques Herbrand、1908年2月12日 - 1931年7月27日)はパリ生まれのフランスの数学者である。数理論理学と類体論に業績がある。再帰関数を導入した。エルブランの定理と呼ばれているものは、まったく別の2つの定理を指していう。ひとつは彼が博士論文として書いた証明論についてのものであり、もうひとつはエルブラン・リベットの定理と呼ばれているものである。エルブラン商とはホモロジー代数におけるオイラー標数の一種。彼はまたヒルベルトプログラムにも貢献した(弱い算術系における無矛盾性の証明)。 ==来歴・人物== エルブランは1929年、エコール・ノルマル・シュペリウールでErnest Vessiotのもと博士号を取った。その年の10月に軍に入隊した。そのためパリ大学での論文審査は翌年まで持ち越された。ロックフェラー財団による奨学金を得て、1931年にドイツに留学。初めベルリンでノイマンと、6月にはハンブルクでと、そして最終的にゲッティンゲンでエミー・ネーターとともに学んだ。 1931年のはじめ、「算術の無矛盾性について」と題した証明論の論文を提出した。エルブランの論文が審査されているころ、クルト・ゲーデルの発表した論文「プリンピキア・マテマティカとその関連体系における決定不可能な命題について」が無矛盾性の証明を形式化することが不可能であること明らかにした。 エルブランはゲーデルの論文を読み、ゲーデルのアイデアと自身のものが矛盾しないことを説明する解説をつけた。その年の7月、2人の友人とともにフランスイゼール県にあるアルプスを登山中、滑落事故を起こし亡くなった。彼の論文「算術の無矛盾性について」は死後公刊された。 アンドレ・ヴェイユは、エルブランと同じく若くして亡くなった数学者谷山豊とエルブランを比較して、エルブランの人物像を次のように述べている。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「ジャック・エルブラン」の詳細全文を読む スポンサード リンク
|