Mathematician:Raymond Merrill Smullyan

From ProofWiki
Jump to navigation Jump to 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