ゲルハルト・ゲンツェンと論理学者

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

ゲルハルト・ゲンツェンと論理学者の違い

ゲルハルト・ゲンツェン vs. 論理学者

ルハルト・ゲンツェン ゲルハルト・カール・エーリヒ・ゲンツェン（Gerhard Karl Erich Gentzen、1909年11月24日 - 1945年8月4日）はドイツの論理学者・数学者。 ヘルマン・ワイルとパウル・ベルナイスの弟子。ゲッティンゲン大学でワイルに学び、1934年に学位を取得。プラハ大学で講師となる。1945年、第二次世界大戦でソ連軍に捕らえられ、プラハの捕虜収容所で栄養失調のため死去した。 主要な業績は、自然演繹 NK, NJ とシークエント計算 LK, LJ と呼ばれる証明論の体系の確立である。 自然演繹の体系は、「自然」の名の通り実際の人間の推論過程に近い直観的で分かりやすい体系である。 一方、シーケント計算は、最小限の公理 A → A と、構造および論理結合子に関する推論規則からなる。 NK, LK は古典論理を扱い、NJ, LJ は直観主義論理を扱う。ゲンツェンはこの LK においてカット除去定理 （基本定理） を証明した。 この定理は、ある定理を導く論理の道筋には、その定理自身と公理より複雑なものは現れないようにできることを示し、 LK の完全性の証明に使われた。 他に純粋算術の無矛盾性証明などの業績がある。 「すべての」を意味する記号∀を使い始めたのもゲンツェンである。. 論理学者（ろんりがくしゃ）とは、論理学を専門に研究する人のことである。.

パウル・ベルナイス

パウル・ベルナイス（Paul Bernays, 1888年10月17日 - 1977年9月18日）はスイスの数学者・論理学者。 ロンドンに生まれ、ベルリン大学およびゲッティンゲン大学で学ぶ。1912年にベルリン大学で数学の学位を得たのち、チューリッヒ大学の講師を経て1917年よりダフィット・ヒルベルトの助手を務めた。その後1922年よりゲッティンゲン大学で教鞭をとるが、ユダヤ系の出自のため1933年にその職を解かれ、国籍を持つスイスに移ってチューリッヒ工科大学の教授となった。またアメリカのプリンストン高等研究所やペンシルベニア大学でも教えた。チューリッヒにて没。.

ゲルハルト・ゲンツェンとパウル・ベルナイス · パウル・ベルナイスと論理学者 · 続きを見る »

クルト・ゲーデル

ルト・ゲーデル（Kurt Gödel, 1906年4月28日 - 1978年1月14日）は、オーストリア・ハンガリー二重帝国（現チェコ）のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。.

クルト・ゲーデルとゲルハルト・ゲンツェン · クルト・ゲーデルと論理学者 · 続きを見る »

数学者

数学者（すうがくしゃ、mathematician）とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.

ゲルハルト・ゲンツェンと数学者 · 数学者と論理学者 · 続きを見る »