翻訳と辞書 Words near each other ・ ゲルハルト・エルトゥル ・ ゲルハルト・エルトル ・ ゲルハルト・オピッツ ・ ゲルハルト・キュービック ・ ゲルハルト・クレメル ・ ゲルハルト・クレープス ・ ゲルハルト・クレーマー ・ ゲルハルト・クロップファー ・ ゲルハルト・クービック ・ ゲルハルト・ケッペン ・ ゲルハルト・ゲンツェン ・ ゲルハルト・シュテック ・ ゲルハルト・シュトルテンベルク ・ ゲルハルト・シュミートフーバー ・ ゲルハルト・シュラーダー ・ ゲルハルト・シュレイダー ・ ゲルハルト・シュレーダー ・ ゲルハルト・ソマー ・ ゲルハルト・ゾンマー ・ ゲルハルト・タシュナー Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク ゲルハルト・ゲンツェン ： ウィキペディア日本語版 ゲルハルト・ゲンツェン ゲルハルト・カール・エーリヒ・ゲンツェン（Gerhard Karl Erich Gentzen、1909年11月24日 - 1945年8月4日）はドイツの論理学者・数学者。 ヘルマン・ワイルとパウル・ベルナイスの弟子。ゲッティンゲン大学でワイルに学び、1934年に学位を取得。プラハ大学で講師となる。1945年、第二次世界大戦でソ連軍に捕らえられ、プラハの捕虜収容所で栄養失調のため死去した。 主要な業績は、自然演繹 NK, NJ とシークエント計算 LK, LJ と呼ばれる証明論の体系の確立である。 自然演繹の体系は、「自然」の名の通り実際の人間の推論過程に近い直観的で分かりやすい体系である。 一方、シーケント計算は、最小限の公理 ''A'' → ''A'' と、構造および論理結合子に関する推論規則からなる。 NK, LK は古典論理を扱い、NJ, LJ は直観主義論理を扱う。ゲンツェンはこの LK においてカット除去定理 （基本定理） を証明した。 この定理は、ある定理を導く論理の道筋には、その定理自身と公理より複雑なものは現れないようにできることを示し、 LK の完全性の証明に使われた。 他に純粋算術の無矛盾性証明などの業績がある。 「任意の」を意味する記号∀を使い始めたのもゲンツェンである。 ==著作== 　 　 　 　 　 　 　 　 　 　 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ゲルハルト・ゲンツェン」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.