翻訳と辞書
Words near each other
・ ジャック・ウォーレン・ケリガン
・ ジャック・ウトマン
・ ジャック・エスクラサン
・ ジャック・エスクラッサン
・ ジャック・エティエンヌ・ガイ
・ ジャック・エティエンヌ・ゲイ
・ ジャック・エティエンヌ・モンゴルフィエ
・ ジャック・エバンス
・ ジャック・エリオット
・ ジャック・エリュール
ジャック・エルブラン
・ ジャック・エンジェル
・ ジャック・エンディノ
・ ジャック・エンディーノ
・ ジャック・エヴァンス
・ ジャック・オカラハン
・ ジャック・オコンネル
・ ジャック・オコンネル (俳優)
・ ジャック・オザナン
・ ジャック・オターソン


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

ジャック・エルブラン : ミニ英和和英辞書
ジャック・エルブラン[らん]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

ラン : [らん]
 【名詞】 1. (1) run 2. (2) LAN (local area network) 3. (P), (n) (1) run/(2) LAN (local area network)

ジャック・エルブラン : ウィキペディア日本語版
ジャック・エルブラン[らん]

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

==来歴・人物==
エルブランは1929年、エコール・ノルマル・シュペリウールでErnest Vessiotのもと博士号を取った。その年の10月に軍に入隊した。そのためパリ大学での論文審査は翌年まで持ち越された。ロックフェラー財団による奨学金を得て、1931年にドイツに留学。初めベルリンノイマンと、6月にはハンブルクでと、そして最終的にゲッティンゲンエミー・ネーターとともに学んだ。
1931年のはじめ、「算術の無矛盾性について」と題した証明論の論文を提出した。エルブランの論文が審査されているころ、クルト・ゲーデルの発表した論文「プリンピキア・マテマティカとその関連体系における決定不可能な命題について」が無矛盾性の証明を形式化することが不可能であること明らかにした。
エルブランはゲーデルの論文を読み、ゲーデルのアイデアと自身のものが矛盾しないことを説明する解説をつけた。その年の7月、2人の友人とともにフランスイゼール県にあるアルプスを登山中、滑落事故を起こし亡くなった。彼の論文「算術の無矛盾性について」は死後公刊された。
アンドレ・ヴェイユは、エルブランと同じく若くして亡くなった数学者谷山豊とエルブランを比較して、エルブランの人物像を次のように述べている。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「ジャック・エルブラン」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.