Mathematician:Raymond Merrill Smullyan

From ProofWiki
Jump to: navigation, search

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

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
  • 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)


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


Sources