ゲオルク・クライゼルFRS (1923年9月15日- 2015年3月1日) [ 1 ]はオーストリア生まれの数学的論理学者で、イギリスとアメリカで研究と研究を行った。
クライゼルはグラーツで生まれ、ユダヤ系の家系に生まれた。家族は1938年のアンシュルス前に彼をイギリスに送った。彼はケンブリッジ大学トリニティ・カレッジで数学を学び、第二次世界大戦中は軍事関連の仕事をした。クライゼルは博士号を取得しなかったが、ずっと後の1962年に、発表された研究に基づいて授与される「上級博士号」であるケンブリッジ大学の理学博士号を授与された。[ 2 ]
彼は1949年から1954年までレディング大学で教鞭を執り、その後1955年から1957年まで高等研究所で働いた。1957年にレディング大学に戻ったが、その後1958年から1959年までスタンフォード大学で教鞭を執った。その後1959年から1960年までレディング大学に戻り、その後1960年から1962年までパリ大学で教鞭を執った。クライゼルは1962年にスタンフォード大学の教授に任命され、1985年に退職するまで同大学の教員を務めた。[ 3 ] [ 4 ]
クライゼルは論理学のさまざまな分野で研究を行い、[ 5 ]特に証明論で活躍し、表面的には非構成的な証明から構成的な内容を抽出することを目的とした、いわゆる「巻き戻し」プログラムで知られています。[ 6 ]
クライゼルは1966年に王立協会に選出された。 [ 4 ]クライゼルは第二次世界大戦中に英国海軍で出会ったフランシス・クリックと親しい友人であり続けた。 [ 7 ] [ 8 ] [ 9 ]
ケンブリッジ大学の学生時代、クライゼルの哲学的な能力はルートヴィヒ・ヴィトゲンシュタインから高く評価されていた。レイ・モンクは、「1944年、クライゼルがまだ21歳だった頃、ヴィトゲンシュタインはラッシュ・リースを驚かせ、クライゼルは自分がこれまで出会った中で最も有能な哲学者であり、かつ数学者でもあると宣言した」と書いている。[ 10 ]
クライゼルは、アイルランド系イギリス人の哲学者で小説家のアイリス・マードックとも親しい友人だった。二人は1947年、マードックがケンブリッジ大学に留学していた時に出会った。 ピーター・コンラディによると、マードックはその後50年間、クライゼルの手紙を日記に書き写していたという。コンラディによれば、「それでも彼女は半世紀にわたり、クライゼルの才能、機知、そして純粋な『風変わりな』独我論的な奇妙さ、彼の非道徳性、残酷さ、曖昧な虚栄心、そして猥褻さを様々に記録している」。マードックは1971年の小説『偶然の男』をクライゼルに捧げ、彼は『惑星へのメッセージ』のマーカス・ヴァラーや『尼僧と兵士』のガイ・オープショーなど、他の小説の登場人物の(部分的な)モデルとなった。[ 11 ]
クライゼルは退職後、オーストリアのザルツブルクに住んだ。彼はクルト・ゲーデル[ 12 ] 、バートランド・ラッセル[ 13 ] 、ルイツェン・エグベルトゥス・ヤン・ブロウワー[ 14 ]など、数学者の伝記を数冊執筆した。 彼はザルツブルクで91歳で亡くなった。
クライゼルがレディング大学で教えていた頃、彼はよく電車でロンドンへ行っていた。ロンドンのショーにちょうど良い時間に運行する特に速い電車があり、彼はその時間に駅へ向かっていた。ある日、彼は時刻表を確認したところ、その電車は運休になっていた。しかし、いつもの習慣で、ある日いつもの時間に駅に着くと、電車はそこにあった。どうやら、その電車はブリストルからロンドンに向かっていて、レディングには給水のためだけに停車するらしい。彼はとにかく電車に乗り、それ以来、定期的にその電車を利用するようになった。ある日、彼は乗車後に車掌に呼び止められた。「お客様、この電車はここには停車しませんよ!」「それなら、私はここには乗っていません。」[ 15 ]
{{cite web}}: CS1メンテナンス: アーカイブサービスは非推奨になりました (リンク)