ゲオルク・クライゼル

ゲオルク・クライゼル - 論理学者・数学者の業績

ゲオルク・クライゼル（Georg Kreisel）は、1923年9月15日にオーストリアで生まれ、2015年3月1日に亡くなりました。彼は主にイギリスとアメリカで活躍した論理学者であり、特に証明論と構成的数学の分野において重要な研究を行い、その後の数学界に計り知れない影響を与えました。

経歴の初期

クライゼルはグラーツにあるユダヤ系の家庭に生まれましたが、第二次世界大戦が勃発すると、ナチスの迫害から逃れるために兄弟とともにイギリスに送られました。彼はケンブリッジ大学のトリニティ・カレッジで数学を学び、1944年に学士号を取得します。この時期には、哲学者ルートヴィヒ・ウィトゲンシュタインとの関係を築き、彼にその哲学的な才能を評価されたことが、後の彼のキャリアに大きく寄与しました。

戦争が終わると、クライゼルは再びケンブリッジに戻り、数理論理学の研究を開始しました。1949年にはレディング大学の教員となり、1955年にはクルト・ゲーデルの招待を受けてプリンストン高等研究所を訪れました。ここでは、彼自身も含めた数人の研究者がゲーデルの独特な研究スタイルから多大なインスピレーションを受けました。特に、彼はゲーデルが心を許した数少ない研究者の一人として知られ、1957年には未刊の「ディアレクティカ解釈」のアイデアを発表し思わぬ反響を呼びました。

スタンフォード大学でのキャリア

1962年にはスタンフォード大学の教授に就任し、1985年までその職にありました。この期間の彼の指導を受けた学生の中には、後に優れた研究者となったヘンドリク・バレンドレヒトやマイケル・ビーソンなどがいます。また、1996年には、彼の影響を受けた論理学者たちによって献呈論文集『クライゼリアーナ』が出版されました。彼はスタンフォード大学名誉教授として、さらにその地位に留まりました。

数学的業績

クライゼルは1950年代後半以降、証明論と構成的数学に関する研究を多く発表し、そのアイデアは論理学界において大きな影響を与えました。特に「解きほぐしプログラム」と呼ばれる概念は、算術や解析における非構成的な概念の中に潜む構成的な内容を明らかにし、数学の基礎を整えることを目的としていました。このアプローチは、しばしば難解とされますが、その独自のスタイルは多くの支持者を生み出しました。

しかし、その反面、彼のスタイルは極めて印象的であることから、厳密さを重視する他の数学者、例えばアルフレト・タルスキを困惑させることにもなりました。彼の研究の中で特に有名な結果の一つは、ゲーデル・クライゼルの定理です。これは、算術的命題に関して選択公理を用いた証明が可能であれば、選択公理なしでも証明できることを示しています。

人となりとエピソード

クライゼルはその独特な人柄でも知られ、多くのエキセントリックなエピソードが語り継がれています。特に、極度の不眠症を抱えていた彼は、就寝時には完全な暗闇と静寂を求めるため、彼を泊めた家の住人にとっては大きな迷惑となることがあったそうです。彼のユニークなライフスタイルは、論理学界での語り草となり、今もなお多くの人々に記憶されています。

クライゼルの研究と業績は、論理学と数学の発展に深く貢献しており、今後も彼の影響は色あせることなく受け継がれていくことでしょう。

もう一度検索