レイモンド・スマリアンは、ゲーデルの不完全性定理が初等的な形式体系にも適用できることを示し、1957年の数理論理学に対する現代的な理解を転換させた。学術研究の傍ら、ステージマジック、音楽、レクリエーション用パズルを生涯にわたって追求した。およそ1世紀にわたり、複数のアメリカの機関で数学者、哲学者、教師として活動した。
初期教育と音楽の追求
1919年にファ・ロッカウェイで生まれたスマリアンは、ヴァイオリンとピアノで早い段階から才能を発揮し、12歳でニューヨーク・ミュージック・ウィーク協会の金メダルを獲得した。セオドア・ルーズベルト高校に通ったものの、卒業前に退学し、現代抽象代数学と幾何学の独学に打ち込んだ。青年期にはパシフィック大学やリード・カレッジに短期間在籍した後、サンフランシスコやニューヨークでパフォーマンス、マジック、独学に専念した。
学術的経歴と論理学
スマリアンは最終的にウィスコンシン大学マディソン校、次いでシカゴ大学に入学し、数学を専攻した。ルドルフ・カルナップのために論文を執筆したことをきっかけに学術キャリアが花開き、ウィラード・ヴァン・オーマン・クワインやクルト・ゲーデルの知るところとなった。1955年に学士号を取得し、1959年にアロンゾ・チャーチの指導のもとプリンストン大学で博士号を修得した。彼の学位論文『Theory of Formal Systems』は1961年に出版された。
教育と執筆
彼の専門職としての経歴には、ダートマス大学、プリンストン大学、ニューヨーク大学、イェシーバ大学、および1968年から1982年まで務めたニューヨーク市立大学での教授職が含まれている。また、インディアナ大学で哲学も教えた。スマリアンは、『What Is the Name of This Book?』、『To Mock a Mockingbird』、『The Chess Mysteries of Sherlock Holmes』など、娯楽的論理に関する多数の著作を著した。2017年に亡くなるまで執筆活動を続けた。
基本情報
- 生誕: 1919年、ファ・ロッカウェイ - 死没: 2017年、ハドソン - 学歴: プリンストン大学（博士号、1959年） - 代表作: What is the name of this book? - 専門分野: 論理学 - 埋葬地: エバーグリーン墓地
よくある質問
### レイモンド・スマリアンはどのような教科を教えましたか？
イェシーバ大学、CUNY、インディアナ大学など、さまざまな機関で数学、計算機科学、哲学を教えた。
### 論理学へどのように貢献しましたか？
ゲーデルの不完全性定理の適用範囲をより単純な形式体系にまで拡大し、娯楽的論理に関する多くの影響力のある本を著した。
