ゲオルク・クライゼル

ゲオルク・クライゼル
ゲオルク・クライゼル
生まれる	1923年9月15日; グラーツ、オーストリア
死亡	2015年3月1日（享年91歳）; オーストリア、ザルツブルク
国籍	オーストリア、イギリス
母校	ケンブリッジ大学トリニティ・カレッジ
知られている	巻き戻しプログラムの; クライゼル・パットナム論理
	科学者としてのキャリア
フィールド	コンピュータサイエンス; 数学; 哲学
機関	レディング大学 ; 高等研究所 ; スタンフォード大学
博士課程の学生	ヘンク・バレンドレット; リチャード・スタットマン

ゲオルク・クライゼル （ 1923年9月15日 - 2015年3月1日）^[1]は、オーストリア生まれの数理論理学者であり、イギリスとアメリカで研究と研究を行った。

バイオグラフィー

クライゼルはグラーツ生まれのユダヤ人で、1938年のアンシュルス前に家族に英国に送られた。ケンブリッジ大学トリニティ・カレッジで数学を学び、第二次世界大戦中は軍事関係の研究に携わった。クライゼルは博士号は取得しなかったが、ずっと後の1962年に、発表された研究に基づいて与えられる「高等博士号」であるケンブリッジ大学のSc.D.を授与された。 ^[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]

クライゼルは、アイルランド系イギリス人の哲学者で小説家のアイリス・マードックの親友でもあった。2人は1947年、マードックが1年間ケンブリッジで学んでいた時に出会った。ピーター・コンラディは、マードックがその後50年間、クライゼルの手紙を日記に書き写したと報告している。コンラディによると、「それでも半世紀にわたって、彼女はクライゼルの聡明さ、機知、まったくの『おかしな』独善的な奇妙さ、彼の非道徳性、残酷さ、曖昧な虚栄心、わいせつさを様々に記録している」という。マードックは1971年の小説『偶然の男』をクライゼルに捧げ、クライゼルは『惑星へのメッセージ』のマーカス・ヴァラーや『尼僧と兵士』のガイ・オープンショーなど、他の小説の登場人物の（部分的な）モデルとなった。^[11]

引退後、クライゼルはオーストリアのザルツブルクに住んだ。彼はクルト・ゲーデル^[12] 、バートランド・ラッセル^[13]、ルイツェン・エグベルトゥス・ヤン・ブラウワー^[14]を含む数学者の伝記を数冊執筆した。彼はザルツブルクで91歳で亡くなった。

逸話

クライゼルがレディング大学で教鞭をとっていたころ、彼はよく列車でロンドンに通っていた。ロンドンのショーにちょうど間に合うように運行される特に速い列車があり、彼はその時間に合わせて駅へ向かった。ある日彼が時刻表を確認すると、その列車は運休していた。しかしある日、いつもの時間に駅へ行ったら、列車はそこにあった。どうやらその列車はブリストルからロンドンへ向かう途中で、レディングでは水を飲むためだけに止まるようだった。彼はとにかく列車に乗り、それ以来その列車を定期的に利用した。ある日、彼は乗車後に車掌に呼び止められた。「列車はここでは止まりませんよ！」「それなら私はここには乗っていません」^[15]

参照

クライゼル・パトナム論理

参考文献

^ Notices 2015、Royal Society、2015年6月9日閲覧。
^ “In Memoriam: Georg Kreisel”. 2016年10月15日時点のオリジナルよりアーカイブ。2016年8月24日閲覧。
^ pp. 265–266、「Beyond Art: A Third Culture」、Peter Weibel、ルートヴィヒ美術館 (ブダペスト、ハンガリー)、Neue Galerie am Landesmuseum Joanneum、Museum van Hedendaagse Kunst Antwerpen。ニューヨーク: Springer-Verlag、2005 年。ISBN 3-211-24562-6。
^ ab オコナー、ジョン J.;ロバートソン、エドモンド F.、「ゲオルク・クライゼル」、マクチューター数学史アーカイブ、セントアンドリュース大学
^ Piergiorgio Odifreddi のレビュー、編集者、Kreiseliana: About and Around Georg Kreisel、Luis Carlos Pereira 著、Review of Modern Logic 8、#3–4 (2000)、127–131 ページ。
^ クライゼルの「くつろぎ」プログラム、ソロモン・フェフェルマン、247–273 ページ、『クライセリアナ: ゲオルグ・クライゼルについてとその周辺』、ピエルジョルジオ・オディフレディ編、マサチューセッツ州ウェルズリー: AK Peters、1996 年。ISBN 1-56881-061 -X。
^ 彼らの書簡の一部は「フランシス・クリック文書」に収録されている。 2011年2月12日閲覧。
^ クリック、フランシス（1988年）。『What Mad Pursuit: A Personal View of Scientific Discovery』ニューヨーク：ベーシックブックス。pp. xi– xii。ISBN 0-465-09137-7。
^ クリック、フランシス（1988年）。『What Mad Pursuit: A Personal View of Scientific Discovery』ニューヨーク：ベーシックブックス、p. 16。ISBN 0-465-09137-7。
^ レイ・モンク(1991).ルートヴィヒ・ヴィトゲンシュタイン。ニューヨーク州ニューヨーク: ペンギンブックス。 p. 498.ISBN 978-0-14-015995-0。
^ コンラディ、ピーター J. (2002)。アイリス・マードック。ロンドン：ハーパーコリンズ英国。 p. 264-65。ISBN 978-0-00-653175-3。。
^ クライゼル、G. (1980)。「クルト・ゲーデル、1906年4月28日～1978年1月14日」。王立協会会員の伝記回想録。26 : 148–224。土井：10.1098/rsbm.1980.0005。
^ Kreisel, G. (1973). 「バートランド・アーサー・ウィリアム・ラッセル、アール・ラッセル。1872–1970」。王立協会会員の伝記。19 : 583–620。doi : 10.1098 / rsbm.1973.0021。JSTOR 769574 。
^ クライゼル、G.ニューマン、MHA (1969)。「ルイツェン・エグベルトゥス・ヤン・ブラウワー 1881–1966」。王立協会会員の伝記回想録。15：39～68。土井：10.1098/rsbm.1969.0002。hdl : 10077/30385。
^ クライセリアナ: ゲオルグ・クライゼルについてとその周辺、編。 Piergiorgio Odifreddi 著、マサチューセッツ州ウェルズリー、1996 年、(Festschrift)

外部リンク

Piergiorgio Odifreddi (編)、Kreiseliana: About and Around George Kreisel、マサチューセッツ州ウェルズリー: AK Peters、1996 年。ISBN 1-56881-061 -X。
クライゼル、ラムダ微積分、風車、城彼の生徒であるヘンク・バレンドレットによるクライゼルについての個人的な回想が含まれています。
数学系譜プロジェクトのゲオルク・クライゼル

[1] Notices 2015、Royal Society、2015年6月9日閲覧。

[2] “In Memoriam: Georg Kreisel”. 2016年10月15日時点のオリジナルよりアーカイブ。2016年8月24日閲覧。

[3] . 265–266、「Beyond Art: A Third Culture」、Peter Weibel、ルートヴィヒ美術館 (ブダペスト、ハンガリー)、Neue Galerie am Landesmuseum Joanneum、Museum van Hedendaagse Kunst Antwerpen。ニューヨーク: Springer-Verlag、2005 年。ISBN 3-211-24562-6。

[mt-4] オコナー、ジョン J.;ロバートソン、エドモンド F.、「ゲオルク・クライゼル」、マクチューター数学史アーカイブ、セントアンドリュース大学

[5] Piergiorgio Odifreddi のレビュー、編集者、Kreiseliana: About and Around Georg Kreisel、Luis Carlos Pereira 著、Review of Modern Logic 8、#3–4 (2000)、127–131 ページ。

[6] クライゼルの「くつろぎ」プログラム、ソロモン・フェフェルマン、247–273 ページ、『クライセリアナ: ゲオルグ・クライゼルについてとその周辺』、ピエルジョルジオ・オディフレディ編、マサチューセッツ州ウェルズリー: AK Peters、1996 年。ISBN 1-56881-061 -X。

[7] 彼らの書簡の一部は「フランシス・クリック文書」に収録されている。 2011年2月12日閲覧。

[8] クリック、フランシス（1988年）。『What Mad Pursuit: A Personal View of Scientific Discovery』ニューヨーク：ベーシックブックス。pp. xi– xii。ISBN 0-465-09137-7。

[9] クリック、フランシス（1988年）。『What Mad Pursuit: A Personal View of Scientific Discovery』ニューヨーク：ベーシックブックス、p. 16。ISBN 0-465-09137-7。

[10] レイ・モンク(1991).ルートヴィヒ・ヴィトゲンシュタイン。ニューヨーク州ニューヨーク: ペンギンブックス。 p. 498.ISBN 978-0-14-015995-0。

[11] コンラディ、ピーター J. (2002)。アイリス・マードック。ロンドン：ハーパーコリンズ英国。 p. 264-65。ISBN 978-0-00-653175-3。。

[12] クライゼル、G. (1980)。「クルト・ゲーデル、1906年4月28日～1978年1月14日」。王立協会会員の伝記回想録。26 : 148–224。土井：10.1098/rsbm.1980.0005。

[13] Kreisel, G. (1973). 「バートランド・アーサー・ウィリアム・ラッセル、アール・ラッセル。1872–1970」。王立協会会員の伝記。19 : 583–620。doi : 10.1098 / rsbm.1973.0021。JSTOR 769574 。

[14] クライゼル、G.ニューマン、MHA (1969)。「ルイツェン・エグベルトゥス・ヤン・ブラウワー 1881–1966」。王立協会会員の伝記回想録。15：39～68。土井：10.1098/rsbm.1969.0002。hdl : 10077/30385。

[15] クライセリアナ: ゲオルグ・クライゼルについてとその周辺、編。 Piergiorgio Odifreddi 著、マサチューセッツ州ウェルズリー、1996 年、(Festschrift)