Raymond Smullyan

Home * People * Raymond Smullyan

Raymond Smullyan

Raymond Merrill Smullyan, (May 25, 1919 - February 6, 2017 )
was an American mathematician, logician, philosopher, magician, pianist, and professor of Philosophy at Indiana University Bloomington. He held a Ph.D. in mathematics on the theory of formal systems from Princeton University under advisor Alonzo Church . Smullyan was author of fourteen books and of numerous research articles on the topics of mathematical logic, first-order logic, set theory, theory of computable functions, recreational mathematics, mathematical games and puzzles, retrograde chess problems, and Eastern philosophy. He has been a contributor to Scientific American .

See also

• Retrograde Analysis

Selected Publications

1959

• Raymond Smullyan (1959). Theory of Formal Systems. Ph.D. thesis, Princeton University, advisor Alonzo Church

1960 ...

• Raymond Smullyan (1961). Theory of Formal Systems. AM-47, Annals of Mathematics, Princeton University Press
• Raymond Smullyan (1968). First-Order Logic. Springer

1970 ...

• Raymond Smullyan (1977). The Tao Is Silent. HarperOne
• Raymond Smullyan (1977). Is God a Taoist? MIT
• Raymond Smullyan (1978). What Is the Name of This Book? The Riddle of Dracula and Other Logical Puzzles. Prentice Hall
• Raymond Smullyan (1979). The Chess Mysteries of Sherlock Holmes. Knopf

1980 ...

• Raymond Smullyan (1981). The Chess Mysteries of the Arabian Knights . Knopf

                                                                                                                                       ♜ ♝     ♗                             ♚

Where is the white king?

• Raymond Smullyan (1982). The Lady or the Tiger? - ladies, tigers, and more logic puzzles. Random House
• Raymond Smullyan (1982). An Epistemological Nightmare. MIT
• Raymond Smullyan (1985). To Mock a Mockingbird and Other Logic Puzzles: Including an Amazing Adventure in Combinatory Logic. Knopf
• Raymond Smullyan (1987). Alice in Puzzle-Land: A Carrollian Tale for Children Under Eighty. Penguin Books, Introduction by Martin Gardner

1990 ...

• Raymond Smullyan (1992). Satan, Cantor and Infinity: Mind-Boggling Puzzles. Knopf
• Raymond Smullyan (1992). Gödel's Incompleteness Theorems. Oxford University Press
• Raymond Smullyan (1993). Recursion Theory for Metamathematics. Oxford University Press
• Raymond Smullyan (1994). Diagonalization and Self-Reference. Oxford University Press
• Raymond Smullyan (1995). First-Order Logic. Dover Publications
• Raymond Smullyan (1996). Set Theory and the Continuum Problem. Oxford University Press
• Raymond Smullyan (1998). The Riddle of Scheherazade: And Other Amazing Puzzles. Mariner Books

2000 ...

• Raymond Smullyan (2000). To Mock a Mockingbird - And Other Logic Puzzles. Oxford University Press
• Raymond Smullyan (2002). Some Interesting Memories: A Paradoxical Life. Thinkers' Press
• Raymond Smullyan (2003). Who Knows? A Study of Religious Consciousness. Indiana University Press
• Raymond Smullyan (2007). The Magic Garden of George B. And Other Logic Puzzles. Polimetrica
• Raymond Smullyan (2008). Logical Labyrinths. A K Peters
• Raymond Smullyan (2009). Satan, Cantor and Infinity: Mind-Boggling Puzzles. Dover Publications

2010 ...

• Raymond Smullyan (2010). King Arthur in Search of His Dog and Other Curious Puzzles. Dover Books on Mathematics
• Raymond Smullyan (2011). The Chess Mysteries of Sherlock Holmes. Dover Books on Mathematics, reprint of the Knopf, 1979 edition
• Raymond Smullyan (2013). The Gödelian Puzzle Book: Puzzles, Paradoxes and Proofs. Dover Publications
• Jason Rosenhouse, Raymond Smullyan (2014). Four Lives: A Celebration of Raymond Smullyan. Dover Publications

External Links

Smullyan

• Raymond Smullyan from Wikipedia
• Raymond Smullyan - Wikiquote
• Raymond Smullyan | Department of Philosophy | Indiana University Bloomington
• The Mathematics Genealogy Project - Raymond Smullyan
• Smullyan biography, School of Mathematics and Statistics, University of St Andrews, Scotland
• Raymond Smullyan and friends from Kadon Enterprises, Inc.
• Mathematician and puzzle-maker Raymond Smullyan dead at 97 by Hannah Osborne, International Business Times, February 10, 2017
• In Joop van Oosterom and Raymond Smullyan, chess loses two colorful characters by David R. Sands, Washington Times, February 14, 2017

A Mathematical Mystery Tour

• A Mathematical Mystery Tour - BBC Horizon Documentary (1984), Vimeo Video

featuring Jean Dieudonné, Michael Atiyah, Greg Moore, Paul Erdős, René Thom, Raymond Smullyan, and Ivor Grattan-Guinness - White Knight at 37:55

• Intro
  • Fermat's Last Theorem 1:40
  • Goldbach's conjecture 1:49
  • Riemann hypothesis 2:02
  • Classification Problem for 4-D Manifolds 2:12
  • P versus NP problem 2:26
  • Invariant Subspace Problem for Hilbert Spaces 2:38
• A Mathematical Mystery Tour 3:00

1. Proof Beyond Doubt 4:01
   1. Proof
   2. Euclid's theorem 4:42
   3. Are there infinitely many twin primes? 5:05
   4. Erdős' problems 5:33
   5. Goldbach's conjecture 6:17
   6. Mertens conjecture 6:45
   7. Euclid's Elements 7:25
   8. Chinese mathematics 7:52
   9. Egyptian mathematics 8:12
   10. Fermat's Last Theorem 9:40
2. The Language of Abstraction 13:30
   1. Bourbaki Group 13:34
   2. Abstract structure 16:40
   3. Euclidean geometry 17:22
   4. Non-Euclidean geometry 17:55
   5. Hypercube 18:18
   6. Klein bottle 19:18
3. Discovery or Invention 20:28
   1. History of mathematics 20:30
   2. Platonism 21:25
   3. Pythagorean theorem 21:31
   4. Golden rectangle 21:45
   5. Golden ratio
4. Playing the Numbers 23:23
   1. Pi 23:28
   2. Mersenne prime 25:17
5. The Taming of the Infinite 26:47
   1. Infinity 26:47
   2. Countable set 27:18
   3. Uncountable set 28:35
   4. Aleph number 29:27
6. Contradictions and Paradoxes 30:32
   1. Mathematical logic 30:50
   2. Russell's paradox 32:33
   3. Principia Mathematica 35:00
   4. Hilbert's program 36:50
   5. Gödel's incompleteness theorems 40:13
7. Incomplete Future 41:30
   1. Four color theorem 45:10
   2. Computer-assisted proof 46:00

References

Up one Level