# Mathematician:Raymond Merrill Smullyan

Jump to navigation
Jump to search

## Mathematician

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

Results named for **Raymond Merrill Smullyan** can be found here.

## Publications

### 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 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*

- 1965:
*On Transfinite Recursions*(*Transactions of the New York Academy of Sciences***Ser. II****Vol. 28**: pp. 175 – 185) - 1967:
*More on Transfinite Recursion*(*Transactions of the New York Academy of Sciences***Ser. II****Vol. 29**: pp. 555 – 559)

- 1968:
*First-Order Logic*

- 1992:
*Gödel's Incompleteness Theorems* - 1993:
*Recursion Theory for Metamathematics* - 1994:
*Diagonalization and Self-Reference*

- 1996:
*Set Theory and the Continuum Problem*(with Melvin Fitting)

### 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*

## Also known as

Known informally as **Ray**.