クルト・ゲーデル

クルト・ゲーデル（Kurt Gödel, 1906年4月28日 - 1978年1月14日）は、オーストリア・ハンガリー帝国出身の数学者・論理学者・哲学者である。業績には、完全性定理、不完全性定理および連続体仮説に関する研究が知られる。
略歴.
オーストリア=ハンガリー帝国時代.
オーストリア=ハンガリー帝国のモラヴィアに生まれる。1924年、ゲーデルは、ウィーン大学に入学し、まず物理学を、後に数学を学んだ。そして、1930年には、最初の重要な業績である「完全性定理」（第一階述語論理の完全性定理）を発表し、学位を得た。テオドール・スコーレム、ジャック・エルブランの二名がこれに限りなく等しい成果を出していたものの、ゲーデルが最終的に誤謬なく完成させた。
翌1931年、ゲーデル数の概念を用い、20世紀の数学基礎論、論理学にとって最も重要な発見とされる「不完全性定理」を発表した。これは、ヒルベルトが数学の無矛盾性を証明するために推進した「ヒルベルト・プログラム」に関連して研究されたものであるが、「数学は自己の無矛盾性を証明できない」ことを示した不完全性定理は、ヒルベルト学派の主張した有限の立場を忠実に用いて、手法としての超数学を具体化することで、皮肉にもそのプログラムが本質的に不可能であることを暗示するというものであった。
1940年、ヒルベルトの第一問題（連続体仮説）について、「集合論のZF公理系が無矛盾ならば、そこに選択公理と一般連続体仮説を加えても無矛盾である」ということを証明した。以上がゲーデルの三大業績と呼ばれている。この後、ゲーデルは、連続体仮説に関する研究から身を引いた。1963年、ポール・コーエンは、「ZF公理系に選択公理と一般連続体仮説の否定を加えても無矛盾である」ということを証明し、ゲーデルの結果と合わせて、「選択公理と一般連続体仮説はZFとは独立である（したがって、証明も否定の証明もできない）」ということを示した。このとき、ゲーデルは「これは自分がなすべき仕事だった」と悔やんだと言われ、コーエンの仕事を絶賛した。その一方で、ゲーデルは「すべての数学的命題に対して、人間は真偽を判定することが可能である」と信じていたと言われる。特に、連続体仮説に関しては、その否定を信じていた。
アメリカ合衆国時代.
ゲーデルは、ウィーン大学の講師を勤めたが、1940年頃にはナチス・ドイツを逃れるために、妻アデーレと共にアメリカ合衆国に移住した。ゲーデルは、米国の市民権を取得し、プリンストン高等研究所の教授となった。この研究所では、アインシュタインと家族ぐるみで親密に交流し、物理学や哲学などについて議論を交わした。その結果アインシュタインの一般相対性理論におけるゲーデル解（1949年）を生んだ。この解は、非常に奇妙な性質を示したために、アインシュタインをして自身の理論に疑問を抱かせるに至った。
この渡米の際に「新居を購入」する偽装工作を余儀なくされたために、人間不信に近い症状が出ていたようである。ゲーデルは英語を選択科目で選んだため語学の問題がなかったが、妻が英語をほとんど話せなかったために多くのトラブルが生まれたらしい。
1948年、ゲーデルは、アメリカ市民権を取得する。このとき、保証人に名を連ねたのがアインシュタインである。当時、アメリカ市民権を取得するには、米国憲法に関する面接試験が課せられていた。そのため、ゲーデルは、合衆国憲法を一から勉強しはじめた。面接当日、ゲーデルは「合衆国憲法が独裁国家に合法的に移行する可能性を秘めていることを発見した」とアインシュタインたちに語り、彼らを当惑させた。そして、移民審査をする判事から「あなたは、独裁国家（ナチス・ドイツに併合されたオーストリア）から来られたのですね。我がアメリカ合衆国ではそのようなことは起きませんから、安心してください」と言われた際、ゲーデルは、即座に「それどころか私は、いかにしてそのようなことが起こりうるのかを証明できるのです」と答えた。そのため、その場に付き添っていたアインシュタインたちが慌てて場を取り繕うという一幕があった。
連続体仮説が偽で、ランダム性はいかなる局面においても完全に排除できることを疑わなかったため、ゲーデルの数学と論理学の研究は頭打ちになってしまった。1970年代初頭には、ポール・エルデシュからの「"お前は皆の研究対象になるために数学者になったのであって、お前のライプニッツ研究のために数学者になったんじゃないんだ！"」との懇願にもかかわらず、ライプニッツ研究を放棄することはできなかった。ライプニッツによる「神の存在証明」を洗練させたとして知られる論文を知人に配布した。しかし、その目的が、神学論争への加担ではなく、あくまで論理学的な興味の追求にあったため、ゲーデルは、誤解を恐れて生前は公表しなかった。その中で、ゲーデルは、ライプニッツの主張について、公理系を解明しつつ様相論理の手法を用いて明確な定式化を試みた。この論文は、ゲーデルが没してから9年後の1987年にデイナ・スコットの手によって初めて出版された。
晩年は、非常に内向的となった。また、精神にも失調をきたしており、毒殺されることを恐れるあまり、妻アデーレが作った食事以外は、自分が調理した食事すら口にしなかった。その他にも、毒ガスによる暗殺を恐れたために、冬でも家の窓を開け放っていた。また、人前に出ることはほとんどなく、自宅に籠って哲学と論理学の研究を続けていた。最終的には、アデーレが病院に入院して自宅を離れていた期間に、絶食による飢餓状態となった。すぐに病院に搬送されたが、プリンストン病院で死去した。このとき、ゲーデルの体重は、65ポンド（約29.5kg）しかなかった。
1987年に証明されたチャイティンの定理は、ゲーデルの信念とは正反対の結果を示していた。
彼の遺稿は、大学時代までに修得した英語、ドイツ語、およびと呼ばれるドイツの古い速記法で書かれている。その速記法はに取って代わられたために淘汰され、解読が困難であることで知られている。幸い、彼が潔癖で几帳面であったため、遺稿のほぼすべてが残されている。