WorldCat Identities

Smullyan, Raymond M.

Works: 121 works in 924 publications in 14 languages and 17,441 library holdings
Genres: Miscellanea  Biography  Anecdotes  Juvenile works  Parodies, imitations, etc 
Roles: Author, Dedicatee
Classifications: GV1493, 793.73
Publication Timeline
Most widely held works about Raymond M Smullyan
moreShow More Titles
fewerShow Fewer Titles
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 )

63 editions published between 1982 and 2010 in 4 languages and held by 1,096 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 )

57 editions published between 1987 and 2012 in 9 languages and held by 1,010 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 )

28 editions published between 1992 and 2000 in 4 languages and held by 918 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 )

46 editions published between 1978 and 2015 in English and Italian and held by 888 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 )

49 editions published between 1968 and 2012 in 4 languages and held by 827 WorldCat member libraries worldwide

Except for this preface, this study is completely self-contained. It is intended to serve both as an introduction to Quantification Theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. We use the term "analytic" to apply to any proof procedure which obeys the subformula principle (we think of such a procedure as "analysing" the formula into its successive components). Gentzen cut-free systems are perhaps the best known example of ana lytic proof procedures. Natural deduction systems, though not usually analytic, can be made so (as we demonstrated in [3]). In this study, we emphasize the tableau point of view, since we are struck by its simplicity and mathematical elegance. Chapter I is completely introductory. We begin with preliminary material on trees (necessary for the tableau method), and then treat the basic syntactic and semantic fundamentals of propositional logic. We use the term "Boolean valuation" to mean any assignment of truth values to all formulas which satisfies the usual truth-table conditions for the logical connectives. Given an assignment of truth-values to all propositional variables, the truth-values of all other formulas under this assignment is usually defined by an inductive procedure. We indicate in Chapter I how this inductive definition can be made explicit-to this end we find useful the notion of a formation tree (which we discuss earlier)
The tao is silent by Raymond M Smullyan( Book )

37 editions published between 1977 and 2016 in 6 languages and held by 784 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
Theory of formal systems by Raymond M Smullyan( Book )

64 editions published between 1959 and 2016 in 4 languages and held by 632 WorldCat member libraries worldwide

This book serves both as a completely self-contained introduction and as an exposition of new results in the field of recursive function theory and its application to formal systems
To mock a mocking bird and other logic puzzles : including an amazing adventure in combinatory logic by Raymond M Smullyan( Book )

30 editions published between 1985 and 2007 in 3 languages and held by 623 WorldCat member libraries worldwide

Recursion theory for metamathematics by Raymond M Smullyan( Book )

24 editions published between 1993 and 1995 in 4 languages and held by 538 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 )

50 editions published between 1979 and 2012 in 8 languages and held by 528 WorldCat member libraries worldwide

Join the master sleuth as he and Dr. Watson examine interrupted chess matches at clubs and country homes, examining the pieces' current positions to identify previous moves. Rather than predicting the outcome of these games, the Baker Street duo focus on past events, using the same variety of logical reasoning that unlocks the secrets to their ever-popular mysteries. Homes instructs Watson (and us) in the intricacies of retrograde analysis in order to deduce on which square the white queen was captured, whether a pawn has been promoted, and which piece has been replaced by a coin. The mysteries grow increasingly complex, culminating in a double murder perpetrated by the devious Professor Moriarty. Philosopher and logician Raymond Smullyan brilliantly recaptures the mood of Sir Arthur Conan Doyle's tales. Readers need only a knowledge of how the pieces move; the first puzzles explain all of the concepts that arise later on. These witty and challenging problems will captivate chess aficionados, puzzle enthusiasts, Sherlock Homes fans, and everyone who relishes mysteries, crime stories, and tales of detection
Satan, Cantor, and infinity : and other mind-boggling puzzles by Raymond M Smullyan( Book )

38 editions published between 1992 and 2014 in 5 languages and held by 514 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
The riddle of Scheherazade, and other amazing puzzles, ancient & modern by Raymond M Smullyan( Book )

22 editions published between 1997 and 2012 in 4 languages and held by 469 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
5000 B.C. and other philosophical fantasies by Raymond M Smullyan( Book )

20 editions published between 1983 and 2013 in 4 languages and held by 445 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
Diagonalization and self-reference by Raymond M Smullyan( Book )

15 editions published between 1994 and 2003 in English and held by 427 WorldCat member libraries worldwide

Alice in puzzle-land : a Carrollian tale for children under eighty by Raymond M Smullyan( Book )

13 editions published between 1982 and 2011 in English and Portuguese and held by 419 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 )

11 editions published between 1980 and 1986 in English and held by 386 WorldCat member libraries worldwide

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

17 editions published between 1996 and 2010 in English and held by 344 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"--Page [iii]
Logical labyrinths by Raymond M Smullyan( Book )

18 editions published between 2008 and 2014 in English and Japanese and held by 337 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 autho's puzzle books to his technical writing in the fascinating field of mathematical logic. --from publisher description
Who knows? : a study of religious consciousness by Raymond M Smullyan( Book )

12 editions published in 2003 in English and held by 278 WorldCat member libraries worldwide

Is there really a God, and if so, what is God actually like? Is there an afterlife, and if so, is there such a thing as eternal punishment for unrepentant sinners, as many orthodox Christians and Muslims believe? And is it really true that our unconscious minds are connected to a higher spiritual reality, and if so, could this higher spiritual reality be the very same thing that religionists call "God"? In his latest book, Raymond M. Smullyan invites the reader to explore some beautiful and some horrible
The chess mysteries of the Arabian knights by Raymond M Smullyan( Book )

22 editions published between 1981 and 2008 in 4 languages and held by 261 WorldCat member libraries worldwide

moreShow More Titles
fewerShow Fewer Titles
Audience Level
Audience Level
  Kids General Special  
Audience level: 0.37 (from 0.04 for Who knows? ... to 0.70 for Mixed bag ...)

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

Merrill Smullyan, Raymond 1919-

Raymond Smullyan Amerikaans wiskundige

Raymond Smullyan amerikansk matematiker och logiker

Raymond Smullyan matemàtic americà

Raymond Smullyan matemático estadounidense

Raymond Smullyan matematico, filosofo e scrittore statunitense

Raymond Smullyan matematyk, logik i filozof amerykański

Raymond Smullyan mathématicien et logicien américain

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, Rèjmond M.

Smallian, Rėjmond M. 1919-

Smullian, Raymond

Smullyan, R

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



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 silentTheory of formal systemsTo mock a mocking bird and other logic puzzles : including an amazing adventure in combinatory logicRecursion theory for metamathematics