ゲーデル（読み）げーでる（その他表記）Kurt Gödel

デジタル大辞泉

ゲーデル（Kurt Gödel）

［1906～1978］米国の数学者・論理学者。オーストリアに生まれるが、ナチスに追われ渡米。記号論理学・数理哲学・集合論などに多大な業績を残した。特に、不完全性定理の証明は数学界に大きな影響を及ぼした。

出典　小学館

精選版 日本国語大辞典

ゲーデル

1. ( Kurt Gödel ) アメリカの数学者、論理学者。チェコに生まれ、ウィーン大学で数学と物理を学び、学位取得後渡米。記号論理学、数理哲学、集合論で大きな業績を残した。特に、形式的体系における決定不能命題の存在を見出した不完全性定理は、思想界にも影響を与えた。（一九〇六‐七八）

出典　精選版 日本国語大辞典

日本大百科全書(ニッポニカ)

ゲーデル
げーでる
Kurt Gödel
（1906―1978）

アメリカの数学者。オーストリア・ハンガリー帝国のブルン（現、チェコのブルノ）に生まれ、ウィーン大学で数学と物理を学び、1930年に学位を取得。1940年からアメリカのプリンストン高等研究所で研究に従事、1948年アメリカ市民権を得た。1953年同研究所教授となり、1951年エール大学、1952年ハーバード大学の名誉教授。アメリカ科学アカデミー会員。

　ゲーデルのおもな研究は、記号論理学、数理哲学、および集合論の根本に深く関連しており、彼の業績を抜きに、今日、数学基礎論のいかなる分野も論じられない。1930年、記号論理学に採用されている論理の法則が、数学に用いられている論理的な推論方法を実質的には余すところなく含んでいる、ということを証明した（ゲーデルの完全性定理）。つまり、記号論理学は数学の論理を完全に表現しているもので、これに付け加えるべき新しい論理法則はなにもないのである。ついで1931年には、記号論理学の方式によって数学の理論を記述する方法にはある種の限界があることを証明した（ゲーデルの不完全性定理）。それによれば、記号論理学の方式によって通常の数学的理論を記述した場合、ある命題Aとその否定not Aのいずれもが証明できないような命題Aがかならず存在する、というのである。しかも、この不完全性定理の証明から、ある数学的理論が矛盾を含まなければ、その理論が矛盾を含まないということをその理論のなかで証明することはできない、ということまでも示した。そのほかツェルメロの選択公理やカントルの連続体仮説、それを一般化した一般連続体仮説をすべて正しいと仮定しても、集合論に新たな矛盾が生ずることはない、というゲーデルの証明（1938）は有名である。

［前原昭二］

[参照項目] | ゲーデルの不完全性定理 | 集合論 | 連続体問題

出典　小学館　日本大百科全書(ニッポニカ)

改訂新版　世界大百科事典

ゲーデル
Kurt Gödel
生没年：1906-78

現代の数学基礎論に指導的役割を果たした数学者，論理学者。チェコスロバキアに生まれ，ウィーンで教育を受け，活動を開始した。後アメリカに渡り（1938），プリンストン高等研究所の教授となる。彼の研究はヒルベルトの後を継ぐものである。最初の著名な論理学上の業績として，第一階述語論理の〈完全性定理〉の証明がある（1930）。これに続いて〈不完全性定理〉を見いだした（1931）。これは20世紀前半における論理学および数学基礎論のもっとも重要な発見であり，ゲーデルの名を不朽ならしめた。不完全性定理は，適当な条件の下で，形式的体系には必ずその体系内部で決定不能な命題が存在することを主張する。つまり肯定も否定も証明されないような命題が存在するのである。この定理の及ぼす影響はきわめて広範囲にわたり，数学内部はもちろんのこと，人間理性の限界の問題を考える場合にも強固な足掛りを与える。ゲーデルはこの定理の証明に際していわゆるゲーデル数の理論を作った。これは，論理学で使用される記号に数（ゲーデル数）を対応させ，論理学を数学化するものである。集合論に関しても，〈連続体仮説の整合性証明〉を成し遂げ（1948），集合論における一段階を画した。さらに，一般相対性理論に対して興味ある論文を発表している（アインシュタイン方程式のゲーデル解）。彼は私生活において慎み深く，内省的で，華やかな場所に出ることを嫌い，数学の基礎の研究に没頭した。
執筆者：沢口 昭聿

出典　株式会社平凡社「改訂新版　世界大百科事典」

ブリタニカ国際大百科事典 小項目事典

ゲーデル
Gödel， Kurt

[生]1906.4.28. ブリュン
[没]1978.1.14. プリンストン
アメリカの数学者，論理学者。ウィーン大学で数学，物理学を学ぶ。ウィーン大学講師 (1933～38) 。 1930年より何回かアメリカのプリンストン高級研究所に研究員として滞在。 40年にナチスに追われてアメリカに移住 (48年に帰化) 。 53年以来この研究所の教授。 30年『理論学的関数計算の諸公理の完全性』で，述語論理学においては，恒真な論理式の全体と証明可能な論理式の全体は一致するという完全性定理を発表。 31年には『「プリンキピア・マテマティカ」および同種の諸体系における形式的に決定不可能な諸命題についてI』において，不完全性定理を発表。これは，数学の形式的体系は証明も反証もできない命題を含むこと，さらにはこの形式的体系の無矛盾性の証明がこの体系のなかでは不可能であることを主張するものであり，D.ヒルベルトらが推進していた形式主義のプログラムに打撃を与えただけでなく，哲学的にも広範な影響を及ぼした。さらに 38年に発表された『選択公理と一般連続体仮説の，集合論の諸公理との無矛盾性』は，その後の集合論の展開の指針となった。

出典　ブリタニカ国際大百科事典 小項目事典

百科事典マイペディア

ゲーデル

現代の数学基礎論に指導的役割を果たした数学者，論理学者。チェコスロバキアに生まれ，ウィーンで教育を受け，活動を開始。1938年米国に渡り，プリンストン高等研究所の教授となる。1930年に第一階述語論理の〈完全性定理〉を証明，1931年に不完全性定理を完成させた。
→関連項目数学基礎論

出典　株式会社平凡社

世界大百科事典（旧版）内のゲーデルの言及

【計算可能性】より

…そのため，計算可能な関数は，メモリーがいくらでもある(理想化された)コンピューターで計算できる関数と一致する。
[歴史]
　計算可能性の概念は，計算とは何かという問いに答えようとする試みを通じて,1930年代にゲーデル，チューリング，チャーチAlonzo Church(1903-95)，クリーネStephen C.Kleene(1909-94)等の有力な論理学者のさまざまの提案を集大成し得られたものである。ゲーデル，クリーネは，いくつかの基礎的な自然数上の関数をもとに新しい関数を順次組織的に定義する枠組みを与えて帰納的関数の概念を定式化した。…

【形式主義】より

…すなわち定理とか証明は一定の法則によって並べられた単なる記号の系列であって，それらの意味は考えないで，その公理的･形式的体系の無矛盾性を有限的，構成的なしかたで証明することが数学の基礎づけの根本問題であるとしてそのプログラムを提出した。しかし，K.ゲーデルによって，1931年，算術以上の数学的内容をもった形式的体系がもし無矛盾ならば，その無矛盾性の証明はその体系の中で形式化されうるようなしかたによっては証明できない(不完全性定理)ことが示され，ヒルベルトの計画の遂行は至難なことがわかった。有限の立場を発展させることによって，36年ゲンツェンG.Gentzen(1909‐45)は算術(純粋数論)の無矛盾性を，67年竹内外史は広範な内容を有する解析学の部分体系の無矛盾性を達成した。…

【数学基礎論】より

…ヒルベルトの計画の出現以後，数学基礎論は形式主義の立場を主軸として，それぞれの立場での成果をとり入れつつ大きな発展を示した。それにはK.ゲーデルによるいくつかの仕事が決定的な役割を果たした。
［証明論］
　ヒルベルトの計画によれば，記号論理の方法を用いて公理的体系として形式化された数学と，その形式的体系について研究する数学とを厳密に区別する。…

【直観主義】より

…みずから規定した立場に基づいてブローエルが進めた解析学は通常のものとかなり異なった様相をもっており，形式主義の立場に立つD.ヒルベルトと激しく対立した。その後，ハイティングArend Heytingらによる直観主義者の用いる論理の公理化(直観主義論理)，K.ゲーデルによる解釈，クリーネStephen Cole Kleeneによる帰納的関数を用いての解釈などにより直観主義の立場はかなり明白なものとなり，今日，直観主義数学ないし構成的数学として発展している。また，証明論においてヒルベルトのいう有限的･構成的手法とは実は直観主義者的手法といっても過言ではないことがわかってきた。…

【不完全性定理】より

…ゲーデルの定理とも呼ばれる。形式的体系は，その体系内で定式化できるどんな命題Aに対してもAまたはその否定(￢A)が証明できるとき，完全であるといわれる。…

※「ゲーデル」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」