# Raymond Smullyan

#876

Most Influential Person Now

American mathematician

## Raymond Smullyan's AcademicInfluence.com Rankings

Raymond Smullyanmathematics Degrees

Mathematics

#177

World Rank

#412

Historical Rank

#80

USA Rank

Measure Theory

#1052

World Rank

#1354

Historical Rank

#386

USA Rank

## Download Badge

Mathematics

## Raymond Smullyan's Degrees

- PhD Mathematics Princeton University

## Why Is Raymond Smullyan Influential?

(Suggest an Edit or Addition)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 PhD from Princeton University in 1959. He is one of many logicians to have studied with Alonzo Church.

## Raymond Smullyan's Published Works

### Published Works

- First-Order Logic (1968) (728)
- Theory of formal systems (1962) (461)
- ANNALS OF MATHEMATICS STUDIES (1961) (398)
- Theory of Formal Systems. (AM-47) (1961) (179)
- What is the name of this book (1978) (109)
- Godel's Incompleteness Theorems (1992) (99)
- What is the name of this book? : the riddle of Dracula and other logical puzzles (1979) (98)
- A UNIFYING PRINCIPAL IN QUANTIFICATION THEORY. (1963) (81)
- Set theory and the continuum problem (1996) (75)
- Diagonalization and Self-Reference (1994) (72)
- To Mock a Mockingbird (1985) (61)
- Languages in which self reference is possible (1957) (56)
- Logicians Who Reason About Themselves (1986) (49)
- A unifying principle for quantification theory (1963) (44)
- Analytic cut (1969) (36)
- Recursion theory for metamathematics (1993) (34)
- To mock a mockingbird and other logic puzzles : including an amazing adventure in combinatory logic (1985) (34)
- Analytic natural deduction (1965) (33)
- The Lady or the Tiger?: And Other Logic Puzzles (1984) (30)
- The Tao Is Silent (1977) (25)
- Trees and nest structures (1966) (24)
- The Chess Mysteries of Sherlock Holmes (1979) (20)
- Forever Undecided: A Puzzle Guide to Godel (1987) (20)
- Exact separation of recursively enumerable sets within theories (1960) (19)
- Undecidability and recursive inseparability (1958) (19)
- 5000 B.C. and other philosophical fantasies (1983) (18)
- The riddle of Scheherazade and other amazing puzzles, ancient & modern (1997) (16)
- A Generalization of Intuitionistic and Modal Logics (1973) (16)
- Effectively simple sets (1964) (16)
- Abstract Quantification Theory (1970) (15)
- Satan, Cantor, and Infinity and Other Mind-boggling Puzzles (1993) (14)
- The Lady or the Tiger? and Other Logic Puzzles: Including a Mathematical Novel That Features Godel's Great Discovery (1992) (13)
- Uniform Gentzen systems (1969) (11)
- A Beginner's Guide to Mathematical Logic (2014) (10)
- This book needs no title : a budget of living paradoxes (1980) (10)
- First-Order Logic. Preliminaries (1968) (9)
- The Mathematics of Various Entertaining Subjects (2019) (8)
- Elementary formal systems (1961) (8)
- A Unifying Principle (1968) (7)
- Theories with Effectively Inseparable Nuclei (1960) (7)
- Finite nest structures and propositional logic (1966) (7)
- TREES AND BALL GAMES (1979) (7)
- This Book Needs No Title (1980) (7)
- Fixed points and self-reference (1984) (6)
- The Chess Mysteries of the Arabian Knights (1981) (6)
- Alice In Puzzle-Land: A Carrollian Tale For Children Under Eighty (1984) (6)
- Chameleonic languages (1984) (6)
- The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs (2013) (5)
- Modality and Self-Reference (1985) (5)
- Quotation and Self-Reference (1987) (4)
- Satan, Cantor, and Infinity (1985) (4)
- Creativity and effective inseparability (1963) (4)
- King Arthur in Search of His Dog and Other Curious Puzzles (2010) (3)
- Logicians who Reason about Themselves. (1988) (3)
- When I Was a Boy (1983) (3)
- About Books (1982) (2)
- Who Knows?: A Study of Religious Consciousness (2003) (2)
- Reflections: The Magic, Music And Mathematics Of Raymond Smullyan (2015) (2)
- Satan, Cantor and Infinity: Mind-Boggling Puzzles (1992) (2)
- Extended canonical systems (1961) (2)
- MORE ON TRANSFINITE RECURSION (1967) (2)
- Craig’s Interpolation Lemma and Beth’s Definability Theorem (1968) (2)
- First-Order Analytic Tableaux (1968) (2)
- The mathematics of various entertaining subjects : research in recreational math (2016) (2)
- DIVISION OF MATHEMATICS: ON TRANSFINITE RECURSIONS*,† (1965) (2)
- Uniform self-reference (1985) (2)
- Some Principles Related to Löb's Theorem (1985) (1)
- Pseudo-uniform reducibility (1963) (1)
- The Asylum of Doctor Tarr and Professor Fether (1982) (1)
- The Magic Garden Of George B And Other Logic Puzzles (2007) (1)
- The Regularity Theorem (2008) (1)
- All and Some (2008) (1)
- The Asylum of Doctor Tarr and Professor Fether: Solutions (1982) (1)
- Axiom Systems for Quantification Theory (1968) (0)
- On Post's canonical systems (1962) (0)
- The Strange Case of McSnurd (2015) (0)
- Fundamental Results in First-Order Logic (2008) (0)
- THE LIE DETECTIVE (1983) (0)
- Gödel's theorem (2014) (0)
- The Nature of Infinity (2008) (0)
- Sages, Oracles and Doublets (2017) (0)
- Review: J. R. Shoenfield, Undecidable and Creative Theories (1967) (0)
- The course aims to present algorithmic and proof-theoretic methods of logic and show how they are applied in contemporary computer science. (2004) (0)
- Some Neighboring Gardens (2015) (0)
- Shepherdson’s Representation Theorems (1992) (0)
- Beginning Combinatory Logicc (2017) (0)
- Light Ray's (2010) (0)
- How Kazir Won His Wife (1984) (0)
- Equivalence Relations and Groups (2001) (0)
- Ask Eldon White (2015) (0)
- Craig’s Interpolation Lemma (2008) (0)
- Combinators, Recursion and the Undecidable (2017) (0)
- More on First-Order Logic (2008) (0)
- The Piano Society (2015) (0)
- The Mathematical Gardner. Edited by David A. Klarner (1984) (0)
- Gödel’s Proof Based on ω-Consistency (1992) (0)
- Liars, Truth-Tellers and Propositional Logic (2008) (0)
- Puzzles and Paradoxes (Abstract) (1992) (0)
- Variable Lying and Paradox (2015) (0)
- George's Garden (2015) (0)
- Complete and Partial Systems (2017) (0)
- Mad or Sane (2008) (0)
- Review: Vladeta Vuckovic, Mathematics of Incompleteness and Undecidability (1972) (0)
- Propositional Logic and Boolean Gardens (2015) (0)
- The Logic of Lying and Truth-Telling (2008) (0)
- Puzzles or Monkey Tricks (2015) (0)
- Truth and Provability (2012) (0)
- Some new double induction and superinduction principles (1990) (0)
- A Beginner's Further Guide to Mathematical Logic (2016) (0)
- Silent Knights and Knaves (2008) (0)
- A Spiritual Journey: Reflections on the Philosophy of Religion, A Transcendental Journey, and Cosmic Consciousness Redux (2009) (0)
- Human or Android (2015) (0)
- Some Special Topics (2017) (0)
- The Fundamental Theorem of Quantification Theory (1968) (0)
- More Propositional Axiomatics (2008) (0)
- More on Propositional Logic (2017) (0)
- McGregor's Arithmetic Tricks (2015) (0)
- Elementary Formal Systems and Recursive Enumerability (2017) (0)
- Generalized Induction, König’s Lemma, Compactness (2008) (0)
- Definability and Diagonalization (1992) (0)
- Rucker Rudy. Mind tools. The five levels of mathematical reality. Houghton Mifflin Company, Boston 1987, viii + 328 pp. (1988) (0)
- Al, the Chemist (2015) (0)
- 6 IS MATHEMATICS INVADING HUMAN CELLS? IMPRESSIONS FROM A COLLABORATION WITH DIABETES DOCTORS / Bernhelm (2013) (0)
- Meeting of the Association for Symbolic Logic (1970) (0)
- Memories and Inconsistencies (2008) (0)
- More on Gentzen Systems (1968) (0)
- Some unifying fixed point principles (1991) (0)
- Review: Willard Van Orman Quine, Methods of Logic (1959) (0)
- Beth's Definability Theorem (2008) (0)
- Axiom Systems for First-Order Logic (2008) (0)
- Sane or Mad (2015) (0)
- Some Recursion Theory (2017) (0)
- CHAPTER IV: RECURSIVE FUNCTION THEORY (1961) (0)
- CHAPTER V: CREATIVITY AND EFFECTIVE INSEPARABILITY (1961) (0)
- Elementary formal systems1) (2009) (0)
- Symmetric and Double Recursion Theorems (1993) (0)
- Boolean Gardens and Variable Liars (2015) (0)
- First-Order Logic: Completeness, Compactness,Skolem-Löwenheim Theorem (2008) (0)
- Boolean Algebras in General (2015) (0)
- Be Wise, Symbolize! (2008) (0)
- CHAPTER II: FORMAL REPRESENTABILITY AND RECURSIVE ENUMERABILITY (1961) (0)
- Fundamental Results in Propositional Logic (2008) (0)
- The Knight-Knave Disease (2015) (0)
- George Boole and Mathematical Logic (2015) (0)
- The Difficulties Double (2008) (0)
- CHAPTER III: INCOMPLETENESS -AND UNDECIDABILITY (1961) (0)
- CHAPTER I: FORMAL MATHEMATICAL SYSTEMS (1961) (0)
- 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 (1962) (0)
- An Isomorphism Related to Gödel's Fundamental Operations (2004) (0)
- Be Wise, Generalize! (2008) (0)
- A Plague of Lies (1984) (0)
- Lovely Ladies I Have Known (2015) (0)
- Bibliography of Raymond Smullyan (2017) (0)
- Robinson’s Theorem (2008) (0)
- Truth and Provability (2013) (0)
- Monadic Elementary Formal Systems (1961) (0)
- Systems of Linear Reasoning (1968) (0)
- The Tableau Method (2008) (0)
- Another Grand Problem (2015) (0)
- Review: Rudy Rucker, Mind Tools. The Five Levels of Mathematical Reality (1988) (0)
- University of Chicago, Music, Magic (2015) (0)
- The Abduction of Annabelle (1983) (0)
- Beginning First-Order Logic (2008) (0)
- The Boolean Theory of Sets (2015) (0)
- Diagonalization, Love, Logic, a Letter (2015) (0)
- Symmetric Completeness Theorems (1968) (0)
- Analytic versus Synthetic Consistency Properties (1968) (0)
- Logical Connectives and Variable Liars (2008) (0)
- Beginning Propositional Logic (2008) (0)
- Quantification Theory in a Nutshell (1991) (0)
- Male or Female (2008) (0)
- SUPPLEMENT: APPLICATIONS TO MATHEMATICAL LOGIC (1961) (0)
- REFERENCE AND BRIEF BIBLIOGRAPHY (1961) (0)
- The Grand Problem Solved (2015) (0)
- Boolean Gardens Revisited (2015) (0)

This paper list is powered by the following services:

## Other Resources About Raymond Smullyan

## What Schools Are Affiliated With Raymond Smullyan?

Raymond Smullyan is affiliated with the following schools:

## What Are Raymond Smullyan's Academic Contributions?

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

Raymond Smullyan has made the following academic contributions: