According to Wikipedia, Raymond Merrill Smullyan was an American mathematician, magician, concert pianist, logician, Taoist, and philosopher.Born in Far Rockaway, New York, his first career was stage magic. He earned a BSc from the University of Chicago in 1955 and his Ph.D. from Princeton University in 1959. He is one of many logicians to have studied with Alonzo Church.

- First-Order Logic
- Theory of formal systems
- ANNALS OF MATHEMATICS STUDIES
- Theory of Formal Systems. (AM-47)
- Godel's Incompleteness Theorems
- What is the name of this book? : the riddle of Dracula and other logical puzzles
- What is the name of this book
- Diagonalization and Self-Reference
- A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY.
- Set theory and the continuum problem
- To Mock a Mockingbird
- Languages in Which Self Reference is Possible
- A unifying principle for quantification theory
- Analytic Natural Deduction
- To mock a mockingbird and other logic puzzles : including an amazing adventure in combinatory logic
- Recursion theory for metamathematics
- The Lady or the Tiger?: And Other Logic Puzzles
- Logicians Who Reason About Themselves
- Analytic Cut
- The Tao Is Silent
- Trees and Nest Structures
- Forever Undecided: A Puzzle Guide to Godel
- The Chess Mysteries of Sherlock Holmes
- 5000 B.C. and other philosophical fantasies
- Exact separation of recursively enumerable sets within theories
- Effectively simple sets
- The riddle of Scheherazade and other amazing puzzles, ancient & modern
- The Lady or the Tiger? and Other Logic Puzzles: Including a Mathematical Novel That Features Godel's Great Discovery
- Undecidability and recursive inseparability
- A Generalization of Intuitionistic and Modal Logics
- Satan, Cantor, and Infinity and Other Mind-boggling Puzzles
- Abstract Quantification Theory
- First-Order Logic. Preliminaries
- A Beginner's Guide to Mathematical Logic
- Uniform Gentzen Systems
- This book needs no title : a budget of living paradoxes
- TREES AND BALL GAMES
- This Book Needs No Title
- A Unifying Principle
- Alice In Puzzle-Land: A Carrollian Tale For Children Under Eighty
- Elementary formal systems
- Finite Nest Structures and Propositional Logic
- The Chess Mysteries of the Arabian Knights
- Modality and Self-Reference
- Chameleonic languages
- Fixed points and self-reference
- Quotation and Self-Reference
- Theories with Effectively Inseparable Nuclei
- The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs
- Satan, Cantor, and Infinity
- When I Was a Boy
- About Books
- First-Order Analytic Tableaux
- Satan, Cantor and Infinity: Mind-Boggling Puzzles
- The mathematics of various entertaining subjects : research in recreational math
- Reflections: The Magic, Music And Mathematics Of Raymond Smullyan
- Who Knows?: A Study of Religious Consciousness
- Extended canonical systems
- Uniform self-reference
- King Arthur in Search of His Dog and Other Curious Puzzles
- MORE ON TRANSFINITE RECURSION
- Creativity and effective inseparability
- The Regularity Theorem
- The Magic Garden Of George B And Other Logic Puzzles
- All and Some
- DIVISION OF MATHEMATICS: ON TRANSFINITE RECURSIONS*,†
- Some Principles Related to Löb's Theorem
- Pseudo-uniform reducibility
- Male or Female
- Symmetric and Double Recursion Theorems
- Human or Android
- Gödel's theorem
- Beginning First-Order Logic
- Sages, Oracles and Doublets
- The Difficulties Double
- The Grand Problem Solved
- More Propositional Axiomatics
- More on Propositional Logic
- The Knight-Knave Disease
- Fundamental Results in First-Order Logic
- A Beginner's Further Guide to Mathematical Logic
- REFERENCE AND BRIEF BIBLIOGRAPHY
- The Fundamental Theorem of Quantification Theory
- A Spiritual Journey: Reflections on the Philosophy of Religion, A Transcendental Journey, and Cosmic Consciousness Redux
- Another Grand Problem
- The Asylum of Doctor Tarr and Professor Fether
- More on Gentzen Systems
- Lovely Ladies I Have Known
- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY
- Quantification Theory in a Nutshell
- Al, the Chemist
- Some Neighboring Gardens
- Mad or Sane
- The Abduction of Annabelle
- Silent Knights and Knaves
- Variable Lying and Paradox
- Complete and Partial Systems
- Some new double induction and superinduction principles
- Puzzles or Monkey Tricks
- THE LIE DETECTIVE
- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY
- Ask Eldon White
- Review: Willard Van Orman Quine, Methods of Logic
- Definability and Diagonalization
- Memories and Inconsistencies
- Logical Connectives and Variable Liars
- Craig’s Interpolation Lemma
- Fundamental Results in Propositional Logic
- Equivalence Relations and Groups
- A Plague of Lies
- Some Recursion Theory
- How Kazir Won His Wife
- Be Wise, Symbolize!
- The course aims to present algorithmic and proof-theoretic methods of logic and show how they are applied in contemporary computer science.
- George Boole and Mathematical Logic
- Beth's Definability Theorem
- Analytic versus Synthetic Consistency Properties
- The Strange Case of McSnurd
- CHAPTER IV: RECURSIVE FUNCTION THEORY
- Gödel’s Proof Based on ω-Consistency
- Light Ray's
- Review: Vladeta Vuckovic, Mathematics of Incompleteness and Undecidability
- Liars, Truth-Tellers and Propositional Logic
- Combinators, Recursion and the Undecidable
- Boolean Gardens and Variable Liars
- Robinson’s Theorem
- Truth and Provability
- Sane or Mad
- University of Chicago, Music, Magic
- The Tableau Method
- The Mathematical Gardner. Edited by David A. Klarner
- Elementary Formal Systems and Recursive Enumerability
- Reviews. Evert W. Beth. The foundations of mathematics, A study in the philosophy of science. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, XXVI + 741 pp
- The Logic of Lying and Truth-Telling
- Review: Rudy Rucker, Mind Tools. The Five Levels of Mathematical Reality
- Diagonalization, Love, Logic, a Letter
- More on First-Order Logic
- Rucker Rudy. Mind tools. The five levels of mathematical reality. Houghton Mifflin Company, Boston 1987, viii + 328 pp.
- Beginning Propositional Logic
- Boolean Gardens Revisited
- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC
- The Boolean Theory of Sets
- The Nature of Infinity
- Shepherdson’s Representation Theorems
- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY
- Some unifying fixed point principles
- Puzzles and Paradoxes (Abstract)
- Monadic Elementary Formal Systems
- Review: J. R. Shoenfield, Undecidable and Creative Theories
- The Asylum of Doctor Tarr and Professor Fether: Solutions
- Generalized Induction, König’s Lemma, Compactness
- An Isomorphism Related to Gödel's Fundamental Operations
- On Post's Canonical Systems
- George's Garden
- 6 IS MATHEMATICS INVADING HUMAN CELLS? IMPRESSIONS FROM A COLLABORATION WITH DIABETES DOCTORS / Bernhelm
- Meeting of the Association for Symbolic Logic
- Bibliography of Raymond Smullyan
- Boolean Algebras in General
- Axiom Systems for First-Order Logic
- Be Wise, Generalize!
- McGregor's Arithmetic Tricks
- Beginning Combinatory Logicc
- Craig’s Interpolation Lemma and Beth’s Definability Theorem
- Systems of Linear Reasoning
- Axiom Systems for Quantification Theory
- Symmetric Completeness Theorems
- Some Special Topics
- First-Order Logic: Completeness, Compactness,Skolem-Löwenheim Theorem
- Propositional Logic and Boolean Gardens
- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS
- The Piano Society

This paper list is powered by the following services:

Raymond Smullyan is affiliated with the following schools:

Raymond Smullyan is most known for their academic work in the field of philosophy. They are also known for their academic work in the fields of computer science and mathematics.

Raymond Smullyan has made the following academic contributions:

This website uses cookies to enhance the user experience. Privacy Policy

Stay informed! Get the latest Academic Influence news, information, and rankings with our upcoming newsletter.