レイモンド・スマリヤン
レイモンド・メリル・スマリヤン(Raymond Merrill Smullyan、1919年5月25日 - 2017年2月6日)は、アメリカ合衆国の数学者、ピアニスト、論理学者、老荘哲学者、奇術師。
ニューヨーク市のFar Rockawayに生れる。最初は奇術師をしていた。1955年にシカゴ大学から学士を得る。1959年にプリンストン大学から博士号を得る。アロンゾ・チャーチのもとで学んだ数多くの傑出した論理学者の一人。
『数学パズル美女か野獣か? 楽しみながらゲーデルの謎にせまる』阿部剛久訳、森北出版、1996年3月。ISBN 4-627-01860-6。 - 美女、野獣その他の論理パズル。
『スマリヤン記号論理学 一般化と記号化』高橋昌一郎 監訳、川辺治之 訳、丸善出版、2013年1月。ISBN 978-4-621-08572-1。http://pub.maruzen.co.jp/book_magazine/book_data/search/9784621085721.html。
『スマリヤン数理論理学 述語論理と完全性定理』高橋昌一郎 監訳、村上祐子 訳、丸善出版、2014年11月。ISBN 978-4-621-08785-5。http://pub.maruzen.co.jp/book_magazine/book_data/search/9784621087855.html。