Raymond Smullyan

雷蒙·梅里儿·思木里安（英語：Raymond Smullyan，1919年5月25日—2017年2月6日）出生于纽约皇后区的远洛克威，2017年2月6日逝世于纽约市，是一位美国数学家，逻辑学家，哲学家，魔术师和钢琴家，著有多部有关逻辑和哲学的科普书籍。 思木里安出生于纽约皇后区洛克威半岛，中学期间辍

978-0-7204-2208-5.  引文使用过时参数coauthors (帮助) Raymond Smullyan（1994）Diagonalization and Self-Reference. Oxford Univ. Press. Raymond Smullyan（1994）Diagonalization and Self-Reference

exfalso. apply s1. exists x0. intros C. exfalso. exact(xm1 C). Qed. Raymond Smullyan. What is the Name of this Book? The Riddle of Dracula and Other Logical

Carroll 1886，第53 #24頁. sfn模板錯誤: 無指向目標: CITEREFCarroll1886 (幫助) Lives: Raymond M. Smullyan *59. Princeton Alumni Weekly. 2018-01-26 [2022-05-10]. （原始内容存档于2021-06-19）

formula，wff）。通常會要求有一個判定某公式是否為形式良好的演算法。 一群公設或公理模式的陳述，每個公理都必須是合式公式。 一群推理規則。 雷德蒙·斯穆里安 (Raymond M. Smullyan), 1961. Theory of Formal Systems: Annals of Mathematics Studies,