Mathematician:Raymond Merrill Smullyan

Mathematician
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.

Nationality
American

History

 * Born: 25 May 1919, Far Rockaway, Long Island, New York City, USA
 * Died: 6 February 2017

Theorems and Definitions

 * Smullyan's Drinking Principle

Academic works

 * 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 )
 * 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:
 * 1992: Gödel's Incompleteness Theorems
 * 1993: Recursion Theory for Metamathematics
 * 1994: Diagonalization and Self-Reference
 * 1995:
 * 1996: (with )

Popular works

 * 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