Mathematician:Raymond Merrill Smullyan
Raymond Merrill Smullyan (known as "Ray") was an American mathematician and logician, noted for the accessibility of his books on logic.
He also was a concert pianist and magician.
- Born: 25 May 1919, Far Rockaway, Long Island, New York City, USA
- Died: 6 February 2017
Theorems and Definitions
Results named for Raymond Merrill Smullyan can be found here.
- 1957: Languages in which self reference is possible (in the Journal of Symbolic Logic)
- 1958: Undecidability and recursive inseparability
- 1960: Exact separation of recursively enumerable sets within theories (with Hilary Putnam)
- 1960: Theories with effectively inseparable nuclei
- 1961: Extended canonical systems
- 1961: Elementary formal systems
- 1961: Monadic elementary formal systems
- 1961: Theory of Formal Systems
- 1968: First-Order Logic
- 1992: Gödel's Incompleteness Theorems
- 1993: Recursion Theory for Metamathematics
- 1994: Diagonalization and Self-Reference
- 1995: First-Order Logic, 2nd ed.
- 1996: Set Theory and the Continuum Problem (with Melvin Fitting)
- 1977: The Tao is Silent
- 1978: What Is the Name of This Book?
- 1979: The Chess Mysteries of Sherlock Holmes
- 1980: This Book Needs No Title
- 1981: The Chess Mysteries of the Arabian Knights
- 1982: The Lady or the Tiger?
- 1982: Alice in Puzzle-Land
- 1983: 5000 B.C.
- 1985: To Mock a Mockingbird
- 1987: Forever Undecided
- 1992: Satan, Cantor, and Infinity and other mind-boggling puzzles
- 1997: The Riddle of Scheherazade
- 2002: Some Interesting Memories: A Paradoxical Life
- 2003: Who Knows?: A Study of Religious Consciousness
- 2007: The Magic Garden of George B. And Other Logic Puzzles
- 2009: Logical Labyrinths
- 2009: Rambles Through My Library