WorldCat Identities

Smullyan, Raymond M.

Overview
Works: 133 works in 824 publications in 17 languages and 16,014 library holdings
Genres: Miscellanea  Anecdotes  Juvenile works  Parodies, imitations, etc  Biography 
Roles: Author, Dedicatee
Classifications: GV1493, 793.73
Publication Timeline
.
Most widely held works about Raymond M Smullyan
 
Most widely held works by Raymond M Smullyan
The lady or the tiger? : and other logic puzzles, including a mathematical novel that features Gödel's great discovery by Raymond M Smullyan( Book )

56 editions published between 1982 and 2012 in 9 languages and held by 1,131 WorldCat member libraries worldwide

Most of this book is indeed in the form of a narrative, and a good alternative titlefor it would be "The Mystery of the Monte Carlo Lock," since the last half concerns a case which inspector Craig of Scotland Yard must discover a combination that will open the lock of a safe in Monte Carlo to prevent a disaster
Forever undecided : a puzzle guide to Gödel by Raymond M Smullyan( Book )

49 editions published between 1987 and 2012 in 7 languages and held by 1,013 WorldCat member libraries worldwide

Forever Undecided is the most challenging yet of Raymond Smullyan's puzzle collections. It is, at the same time, an introduction'ingenious, instructive, entertaining'to GOdel's famous theorems. With all the wit and charm that have delighted readers of his previous books, Smullyan transports us once again to that magical island where knights always tell the truth and knaves always lie. Here we meet a new and amazing array of characters, visitors to the island, seeking to determine the natives' identities. Among them: the census-taker McGregor; a philosophical-logician in search of his flighty bird-wife, Oona; and a regiment of Reasoners (timid ones, normal ones, conceited, modest, and peculiar ones) armed with the rules of propositional logic (if X is true, then so is Y). By following the Reasoners through brain-tingling exercises and adventures'including journeys into the "other possible worlds" of Kripke semantics'even the most illogical of us come to understand GOdel's two great theorems on incompleteness and undecidability, some of their philosophical and mathematical implications, and why we, like GOdel himself, must remain Forever Undecided!
Gödel's incompleteness theorems by Raymond M Smullyan( Book )

25 editions published between 1992 and 2000 in 3 languages and held by 888 WorldCat member libraries worldwide

An introduction to the work of the mathematical logician Kurt Godel, which guides the reader through his Theorem of Undecidability and his theories on the completeness of logic, the incompleteness of numbers and the consistency of the axiom of choice
What is the name of this book? : the riddle of Dracula and other logical puzzles by Raymond M Smullyan( Book )

38 editions published between 1978 and 2011 in English and Italian and held by 877 WorldCat member libraries worldwide

"In his most critically acclaimed work, a well-known mathematician, magician, and author spins a logical labyrinth of more than 200 increasingly complex and challenging problems - puzzles that delve into some of the deepest paradoxes of logic and set theory. Solutions."The most original, most profound, and most humorous collection of recreational logic and math problems ever written." - Martin Gardner"--
First-order logic by Raymond M Smullyan( Book )

50 editions published between 1968 and 2009 in 6 languages and held by 802 WorldCat member libraries worldwide

The tao is silent by Raymond M Smullyan( Book )

32 editions published between 1977 and 2014 in 6 languages and held by 788 WorldCat member libraries worldwide

The Tao Is Silent Is Raymond Smullyan's beguiling and whimsical guide to the meaning and value of eastern philosophy to westerners. "To me," Writes Smullyan, "Taoism means a state of inner serenity combined with an intense aesthetic awareness. Neither alone is adequate; a purely passive serenity is kind of dull, and an anxiety-ridden awareness is not very appealing." This is more than a book on Chinese philosophy. It is a series of ideas inspired by Taoism that treats a wide variety of subjects about life in general. Smullyan sees the Taoist as "one who is not so much in search of something he hasn't, but who is enjoying what he has." Readers will be charmed and inspired by this witty, sophisticated, yet deeply religious author, whether he is discussing gardening, dogs, the art of napping, or computers who dream that they're human
To mock a mocking bird and other logic puzzles : including an amazing adventure in combinatory logic by Raymond M Smullyan( Book )

36 editions published between 1985 and 2013 in 5 languages and held by 644 WorldCat member libraries worldwide

In this entertaining and challenging new collection of logic puzzles, Raymond Smullyan'author of What Is the Name of This Book' And The Lady or the Tiger''continues to delight and astonish us with his gift for making available, in the thoroughly pleasurable form of puzzles, some of the most important mathematical thinking of our time. In the first part of the book, he transports us once again to that wonderful realm where knights, knaves, twin sisters, quadruplet brothers, gods, demons, and mortals either always tell the truth or always lie, and where truth-seekers are set a variety of fascinating problems. The section culminates in an enchanting and profound metapuzzle (a puzzle about a puzzle), in which Inspector Craig of Scotland Yard gets involved in a search of the Fountain of Youth on the Island of Knights and Knaves. In the second and larger section, we accompany the Inspector on a summer-long adventure into the field of combinatory logic (a branch of logic that plays an important role in computer science and artificial intelligence). His adventure, which includes enchanted forests, talking birds, bird sociologists, and a classic quest, provides for us along the way the pleasure of solving puzzles of increasing complexity until we reach the Master Forest and'thanks to GOdel's famous theorem'the final revelation. To Mock a Mockingbird will delight all puzzle lovers'the curious neophytes as well as the serious students of logic, mathematics, or computer science
Theory of formal systems by Raymond M Smullyan( Book )

58 editions published between 1959 and 1996 in 4 languages and held by 621 WorldCat member libraries worldwide

Satan, Cantor, and infinity : and other mind-boggling puzzles by Raymond M Smullyan( Book )

33 editions published between 1992 and 2014 in 7 languages and held by 546 WorldCat member libraries worldwide

More than two hundred new and challenging logic puzzles'the simplest brainteaser to the most complex paradoxes in contemporary mathematical thinking'from our topmost puzzlemaster ("the most entertaining logician who ever lived," Martin Gardner has called him). Our guide to the puzzles is the Sorcerer, who resides on the Island of Knights and Knaves, where knights always tell the truth and knaves always lie, and he introduces us to the amazing magic'logic'that enables to discover which inhabitants are which. Then, in a picaresque adventure in logic, he takes us to the planet Og, to the Island of Partial Silence, and to a land where metallic robots wearing strings of capital letters are noisily duplicating and dismantling themselves and others. The reader's job is to figure out how it all works. Finally, we accompany the Sorcerer on an alluring tour of Infinity which includes George Cantor's amazing mathematical insights. The tour (and the book) ends with Satan devising a diabolical puzzle for one of Cantor's prize students'who outwits him! In sum: a devilish magician's cornucopia of puzzles'a delight for every age and level of ability
Recursion theory for metamathematics by Raymond M Smullyan( Book )

21 editions published between 1993 and 1995 in 4 languages and held by 527 WorldCat member libraries worldwide

This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic. The book deals mainly with those aspects of recursion theory that have applications to the metamathematics of incompleteness, undecidability, and related topics. It is both an introduction to the theory and a presentation of new results in the field.℗¡
The chess mysteries of Sherlock Holmes by Raymond M Smullyan( Book )

43 editions published between 1979 and 2011 in 7 languages and held by 506 WorldCat member libraries worldwide

5000 B.C. and other philosophical fantasies by Raymond M Smullyan( Book )

14 editions published between 1983 and 2011 in 3 languages and held by 442 WorldCat member libraries worldwide

Five Thousand B.C. and Other Philosophical Fantasies by Raymond Smullyan is a collection of paradoxes, dialogues, problems, and essays exploring philosophical ideas. This fascinating book will challenge your understanding of reality, truth, morality, existence, and death. Raymond Smullyan is a logician, mathematician, and philosopher and is the author of books including The Tao Is Silent, What Is the Name of This Book', To Mock a Mockinbird and others
The riddle of Scheherazade, and other amazing puzzles, ancient & modern by Raymond M Smullyan( Book )

13 editions published between 1997 and 2012 in English and Spanish and held by 423 WorldCat member libraries worldwide

In his new book, Raymond Smullyan, grand vizier of the logic puzzle, joins Scheherazade, a charming young woman of "fantastic logical ingenuity," to give us 1001 hours of brain-teasing fun. Scheherazade, we find, has gotten back into hot water with the king, and is once more in danger of losing her head at down. But, thinking quickly, she tempts the king to stay her execution by posing him the most delightfully devious mathematical and logic puzzle ever invented. They keep him guessing for many more nights until the fatal hour has passed, and she keeps her head. The Riddle of Scheherazade includes several wonderful old chestnuts and many fiendishly original puzzles, 225 in all. There are logic tricks and number games, metapuzzles (puzzles about puzzles), liar/truth-teller exercises, GOdelian brian twisters, baffling paradoxes, and an excursion, under Scheherazade's expert guidance, into an amusing new field invented by Smullyan, called "coercive" logic, in which the answer to a problem can actually change the fate of the puzzler! An absolute must for all puzzle fans'from the middle-school whiz to the sophisticated mathematician or computer scientist
Alice in puzzle-land : a Carrollian tale for children under eighty by Raymond M Smullyan( Book )

12 editions published between 1982 and 2011 in English and Portuguese and held by 420 WorldCat member libraries worldwide

A range of puzzles dealing with word play and logic, mathematics and philosophy, featuring Alice and the creatures of Wonderland
This book needs no title : a budget of living paradoxes by Raymond M Smullyan( Book )

16 editions published between 1980 and 1998 in 3 languages and held by 418 WorldCat member libraries worldwide

Diagonalization and self-reference by Raymond M Smullyan( Book )

14 editions published between 1994 and 2003 in English and held by 418 WorldCat member libraries worldwide

Set theory and the continuum problem by Raymond M Smullyan( Book )

16 editions published between 1996 and 2010 in English and held by 335 WorldCat member libraries worldwide

"This book is intended to provide the reader with a complete foundation in modern set theory: how the subject is axiomatized, what ordinal and cardinal numbers are, what the role of the axiom of choice is, what constructible sets are, what forcing is"--p. [iii]
Logical labyrinths by Raymond M Smullyan( Book )

14 editions published between 2008 and 2009 in English and held by 325 WorldCat member libraries worldwide

This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic, a subject that has many important applications to philosophy, mathematics, and computer science. T
Who knows? : a study of religious consciousness by Raymond M Smullyan( Book )

10 editions published between 2002 and 2003 in English and held by 274 WorldCat member libraries worldwide

Raymond Smullyan is a remarkable polymath - a philosopher, mathematical logician, magician, pianist, and essayist. Perhaps best known for his books on puzzles, here he tackles religion and offers a clear-eyed presentation of many new and startling ideas about this most wonderful product of human consciousness
The chess mysteries of the Arabian knights by Raymond M Smullyan( Book )

19 editions published between 1981 and 2008 in 5 languages and held by 252 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.36 (from 0.05 for Who knows? ... to 0.68 for Reflection ...)

Gödel's incompleteness theorems
Alternative Names
Five Ace Merrill

Merrill Smullyan, Raymond 1919-

Raymond Smullyan matematico, filosofo e scrittore statunitense

Raymond Smullyan matematyk, logik i filozof amerykański

Raymond Smullyan mathmaticien et logicien amricain

Raymond Smullyan US-amerikanischer Mathematiker und Logiker

Smal'n, R.

Smalʹjan, R. 1919-

Smallian, Raĭmond M. 1919-

Smallian, Reĭmond M.

Smallian, Reimond M. 1919-

Smallian, Rjmond M.

Smallian, Rejmond M. 1919-

Smullyan, R. M.

Smullyan, Ray

Smullyan, Raymond.

Smullyan, Raymond 1919-

Smullyan, Raymond M. 1919-

Smullyan, Raymond Merrill.

Smullyan, Raymond R.

Sumarian, Reimondo 1919-

Смаллиан, Рэймонд М 1919-

Смаллиан, Рэймонд Меррилл

Смалліан Реймонд

Смальян, Р..

ריימונד סמוליאן

ریموند اسمولایان

레이먼드 스멀리언

スマリヤン, レイモンド

スマリヤン, レイモンド・M

レイモンド・スマリヤン

Languages
Covers
Forever undecided : a puzzle guide to GödelGödel's incompleteness theoremsWhat is the name of this book? : the riddle of Dracula and other logical puzzlesFirst-order logicThe tao is silentTo mock a mocking bird and other logic puzzles : including an amazing adventure in combinatory logicTheory of formal systemsSatan, Cantor, and infinity : and other mind-boggling puzzles