Raymond Smullyan
From Wikipedia, the free encyclopedia
This article includes a list of references or external links, but its sources remain unclear because it lacks inline citations. Please improve this article by introducing more precise citations where appropriate. (February 2008) 
Raymond Merrill Smullyan  

Born  May 1919 (age 89–90) Far Rockaway, New York 
Occupation  mathematician, logician, philosopher, and magician 
Nationality  American 
Influences

Raymond Merrill Smullyan (born May 25, 1919) is an American mathematician, concert pianist, logician, philosopher, and magician.
Born in Far Rockaway, New York, his first career (like Persi Diaconis a generation later) was stage magic. He then earned a BSc from the University of Chicago in 1955 and his Ph.D. from the Princeton University in 1959. He is one of many outstanding logicians to have studied under Alonzo Church.
Contents 
[edit] Life
While a Ph.D. student, Smullyan published a paper in the 1957 Journal of Symbolic Logic showing that Gödelian incompleteness held for formal systems considerably more elementary than that of Gödel's 1931 landmark paper. The contemporary understanding of Gödel's theorem dates from this paper. Smullyan later made a compelling case that much of the fascination with Gödel's theorem should be directed at Tarski's theorem, which is much easier to prove and equally disturbing philosophically. The culmination of Smullyan's lifelong reflection on the classic limitative theorems of mathematical logic is his quite readable:
 Smullyan, R M (2001) "Gödel's Incompleteness Theorems" in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic. Blackwell (ISBN 0631206930).
Smullyan is the author of many books on recreational mathematics, recreational logic, etc. Most notably, one is titled What Is the Name of This Book?.
Many of his logic problems are extensions of classic puzzles. Knights and Knaves involves knights (who always tell the truth) and knaves (who always lie). This is based on a story of two doors and two guards, one who lies and one who doesn't. One door leads to heaven and one to hell, and the puzzle is to find out which door leads to heaven by asking one of the guards a question. One way to do this is to ask "Which door would the other guard say leads to hell?". This idea was famously used in the 1986 film Labyrinth.
In more complex puzzles, he introduces characters who may lie or tell the truth (referred to as "normals"), and furthermore instead of answering "yes" or "no", use words which mean "yes" or "no", but the reader does not know which word means which. The puzzle known as "the hardest logic puzzle ever" is based on these characters and themes. In his Transylvania puzzles, half of the inhabitants are insane, and believe only false things, whereas the other half are sane and believe only true things. In addition, humans always tell the truth, and vampires always lie. For example, an insane vampire will believe a false thing (2 + 2 is not 4) but will then lie about it, and say that it is. A sane vampire knows 2 + 2 is 4, but will lie and say it isn't. And mutatis mutandis for humans. Thus everything said by a sane human or an insane vampire is true, while everything said by an insane human or a sane vampire is false.
His book Forever Undecided popularizes Gödel's incompleteness theorems by phrasing them in terms of reasoners and their beliefs, rather than formal systems and what can be proved in them. For example, if a native of a knight/knave island says to a sufficiently selfaware reasoner, "You will never believe that I am a knight", the reasoner cannot believe either that the native is a knight or that he is a knave without becoming inconsistent (i.e., holding two contradictory beliefs). The equivalent theorem is that for any formal system S, there exists a mathematical statement that can be interpreted as "This statement is not provable in formal system S". If the system S is consistent, neither the statement nor its opposite will be provable in it.
Inspector Craig is a frequent character in Smullyan's "puzzlenovellas." He is generally called into a scene of a crime that has a solution that is mathematical in nature. Then, through a series of increasingly harder challenges, he (and the reader) begin to understand the principles in question. Finally the novella culminates in Inspector Craig (and the reader) solving the crime, utilizing the mathematical and logical principles learned. Inspector Craig generally does not learn the formal theory in question, and Smullyan usually reserves a few chapters after the Inspector Craig adventure to illuminate the analogy for the reader.
His book To Mock a Mockingbird (1985) is a recreational introduction to the subject of combinatory logic.
Apart from writing about and teaching logic, Smullyan has recently released a recording of his favorite classical piano pieces by composers such as Bach, Scarlatti, and Schubert. Some recordings are available on the Piano Society website, along with the video "Rambles, Reflections, Music and Readings". He has also written an autobiography titled Some Interesting Memories: A Paradoxical Life (ISBN 1888710101).
In 2001, documentary filmmaker Tao Ruspoli made a film about Smullyan called This Film Needs No Title.
[edit] Selected publications
[edit] Popular
 (1977) The Tao is Silent
 (1978) What Is the Name of This Book?
 (1979) The Chess Mysteries of Sherlock Holmes  introducing retrograde analysis in the game of chess.
 (1980) This Book Needs No Title
 (1981) The Chess Mysteries of the Arabian Knights  second book on retrograde analysis chess problems.
 (1982) The Lady or the Tiger?
 (1982) Alice in PuzzleLand
 (1983) 5000 B.C.
 (1985) To Mock a Mockingbird, ISBN 0192801422
 (1987) Forever Undecided
 (1992) Satan, Cantor and Infinity
 (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, Polimetrica (Monza/Italy)
 (2009) Logical Labyrinths, A K Peters
[edit] Academic
 (1961) Theory of Formal Systems
 (1968) FirstOrder Logic
 (1992) Gödel's Incompleteness Theorems
 (1993) Recursion Theory for Metamathematics
 (1994) Diagonalization and SelfReference
 (1996) Set Theory and the Continuum Problem
[edit] Quotations From People Who Respect Smullyan
 I now introduce Professor Smullyan, who will prove to you that either he doesn't exist or you don't exist, but you won't know which. Melvin Fitting
[edit] See also
[edit] Bibliography
 Is God a Taoist? by Raymond Smullyan, 1977.
 Planet Without Laughter by Raymond Smullyan, 1980.
 An Epistemological Nightmare by Raymond Smullyan, 1982.
[edit] External links
 Raymond Smullyan's website at Indiana University.
 Raymond Smullyan at the MacTutor History of Mathematics archive.
 Raymond Smullyan at the Mathematics Genealogy Project.
 Raymond Smullyan at Piano Society
Persondata  

NAME  Smullyan, Raymond Merrill 
ALTERNATIVE NAMES  
SHORT DESCRIPTION  American mathematician, logician, philosopher, and magician 
DATE OF BIRTH  1919 
PLACE OF BIRTH  Far Rockaway, NY 
DATE OF DEATH  
PLACE OF DEATH 