レイモンド・メリル・スマリヤン
レイモンド・メリル・スマリヤン(
1919年5月25日 -
2017年2月6日)は、アメリカの
数学者、
論理学者、
ピアニスト、
哲学者として非常に著名な人物です。彼は
ニューヨーク市のFar Rockawayで生まれました。スマリヤンは最初に奇術師としてのキャリアをスタートさせ、後に
シカゴ大学で学士号を取得し、
プリンストン大学で博士号を取得しました。彼の指導教授であった
アロンゾ・チャーチから多くの影響を受け、
数理論理学の分野で特に顕著な業績をあげました。
論文業績と不完全性定理
スマリヤンは、
1957年に発表した論文において、
ゲーデルの不完全性定理を初等的な形で分析し、
1931年に発表された原論文よりも理解しやすいとする観点からの重要な洞察を提供しました。この論文は、現代における
ゲーデルの不完全性定理の解釈の基礎を築いたと言えるでしょう。また、彼はタルスキの定義不能性定理との関連を示し、多くの
論理学者に影響を与えました。
スマリヤンは論理パズルの著作でも知られており、特に『この本の名は? 楽しい論理パズル』は広く読まれています。彼のパズルは古典的な問題を新しい観点から探求することを特徴とし、特にナイトとネーブの問題は彼の代表作です。この問題では、真実を語る騎士と嘘をつくならず者の2人が登場し、読者は扉の正しい選択をするために少ない質問を使って情報を得ることになります。
複雑なパズルとキャラクター
また、彼は“ノーマルズ”というキャラクターの創造や、特定の単語の意味を曖昧にするパズルも考案し、読者に思考を求める方法を採用しました。特にトランシルヴァニア・パズルでは、住民が狂気と正気の二派に分かれ、そこに
ヴァンパイアとの複雑なやり取りを列挙している点が興味深いです。この複雑な設定の中で、真実と偽の理解が試される形式となっています。
スマリヤンはまた、老荘
哲学についての著作も行い、論理学、
数学、
哲学を統一的に理解する視点を提供しました。その中で、伝統的な
哲学的問題に対する新たな解答を探求し、多くの人々に影響を与えています。彼の
自伝『天才スマリヤンのパラドックス人生』では、彼の人生や業績をユーモアを交えて紹介しています。
音楽との関わり
論理や
数学に対する研究や著作に留まらず、スマリヤンは
ピアニストとしても知られ、多数の曲を録音しリリースしています。バッハやシューベルトの作品に取り組み、その音楽への情熱も表現しています。
まとめ
スマリヤンは
数学パズル、論理学、音楽、
哲学を融合させ、教育や娯楽の場面に新しい視点を提供した重要な研究者でした。彼の遺した著作やパズルは、今後も多くの人々に愛され続けることでしょう。