WorldCat Identities

Smullyan, Raymond M.

Works: 185 works in 1,070 publications in 11 languages and 18,511 library holdings
Genres: Puzzles and games  Logic puzzles  Trivia and miscellanea  Biography  Anecdotes  Juvenile works  Parodies, imitations, etc 
Roles: Author, Honoree, Dedicatee
Publication Timeline
Most widely held works about Raymond M Smullyan
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by Raymond M Smullyan
Gödel's incompleteness theorems by Raymond M Smullyan( )

31 editions published between 1992 and 2000 in 4 languages and held by 2,231 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
Who knows? : a study of religious consciousness by Raymond M Smullyan( )

12 editions published in 2003 in English and held by 1,778 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
Recursion theory for metamathematics by Raymond M Smullyan( )

23 editions published between 1993 and 1995 in 4 languages and held by 1,496 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"--Publisher's description
Forever undecided : a puzzle guide to Gödel by Raymond M Smullyan( Book )

33 editions published between 1987 and 2000 in English and Undetermined and held by 938 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!
First-order logic by Raymond M Smullyan( Book )

52 editions published between 1968 and 2012 in 6 languages and held by 908 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 lady or the tiger? : and other logic puzzles, including a mathematical novel that features Gödel's great discovery by Raymond Smullyan( Book )

28 editions published between 1982 and 2000 in English and held by 862 WorldCat member libraries worldwide

Most of this book is indeed in the form of a narrative, and a good alternative title for 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
What is the name of this book? : the riddle of Dracula and other logical puzzles by Raymond M Smullyan( Book )

49 editions published between 1978 and 2015 in English and Italian and held by 861 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"--
Theory of formal systems by Raymond M Smullyan( Book )

57 editions published between 1961 and 2016 in 4 languages and held by 792 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
The tao is silent by Raymond M Smullyan( Book )

40 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
To mock a mocking bird and other logic puzzles : including an amazing adventure in combinatory logic by Raymond M Smullyan( Book )

31 editions published between 1985 and 2007 in 3 languages and held by 618 WorldCat member libraries worldwide

The riddle of Scheherazade, and other amazing puzzles, ancient & modern by Raymond Smullyan( Book )

25 editions published between 1997 and 2012 in 5 languages and held by 510 WorldCat member libraries worldwide

In his new book, Raymond Smullyan, grand vizier of the logic puzzlejoins Scheherazade, a charming young woman of "fantastic logical ingenuity", to give us 1001 hours of brain-teasing fun
Alice in puzzle-land : a Carrollian tale for children under eighty by Raymond M Smullyan( Book )

15 editions published between 1982 and 2011 in English and Portuguese and held by 500 WorldCat member libraries worldwide

A range of puzzles dealing with word play and logic, mathematics and philosophy, featuring Alice and the creatures of Wonderland
Diagonalization and self-reference by Raymond M Smullyan( Book )

16 editions published between 1994 and 2003 in English and held by 421 WorldCat member libraries worldwide

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

20 editions published between 1992 and 2009 in English and held by 419 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
5000 B.C. and other philosophical fantasies by Raymond M Smullyan( Book )

12 editions published between 1983 and 2013 in 3 languages and held by 411 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
Logical labyrinths by Raymond M Smullyan( Book )

19 editions published between 2008 and 2014 in English and Japanese and held by 404 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. --from publisher description
The chess mysteries of Sherlock Holmes by Raymond M Smullyan( Book )

23 editions published between 1979 and 2012 in English and held by 391 WorldCat member libraries worldwide

The master sleuth as he and Dr. Watson examine interrupted chess matches at clubs and country homes, studying 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. Holmes 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.
This book needs no title : a budget of living paradoxes by Raymond M Smullyan( Book )

14 editions published between 1980 and 1986 in English and held by 380 WorldCat member libraries worldwide

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

12 editions published between 1996 and 1997 in English and held by 307 WorldCat member libraries worldwide

The mathematics of various entertaining subjects : research in recreational math by Jennifer Beineke( Book )

3 editions published between 2015 and 2016 in English and held by 291 WorldCat member libraries worldwide

"Contributors show how sophisticated mathematics can help you construct mazes that look like famous people, how the analysis of crossword puzzles has much in common with understanding epidemics, and how the theory of electrical circuits is useful in understanding the classic Towers of Hanoi puzzle. The card game SET is related to the theory of error-correcting codes, and simple tic-tac-toe takes on a new life when played on an affine plane. Inspirations for the book's wealth of problems include board games, card tricks, fake coins, flexagons, pencil puzzles, poker, and so much more"--Provided by publisher
moreShow More Titles
fewerShow Fewer Titles
Audience Level
Audience Level
  Kids General Special  
Audience level: 0.29 (from 0.04 for Who knows? ... to 0.68 for A mixed ba ...)

WorldCat IdentitiesRelated Identities
Who knows? : a study of religious consciousness
Who knows? : a study of religious consciousnessRecursion theory for metamathematicsForever undecided : a puzzle guide to GödelFirst-order logicThe lady or the tiger? : and other logic puzzles, including a mathematical novel that features Gödel's great discoveryWhat is the name of this book? : the riddle of Dracula and other logical puzzlesTheory of formal systemsThe tao is silent
Alternative Names
Five Ace Merrill

Merrill Smullyan, Raymond 1919-

Merrill Smullyan, Raymond 1919-2017

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

Raymond Smullyan usona matematikisto

Reimonds Smallians

Smalʹân, R.

Smalʹjan, R. 1919-

Smalʹjan, R. 1919-2017

Smallian, Raĭmond M. 1919-

Smallian, Raĭmond M. 1919-2017

Smallian, Reĭmond M.

Smallian, Reimond M. 1919-

Smallian, Rèjmond M.

Smallian, Rejmond M. 1919-

Smallian, Rėjmond M. 1919-2017

Smullian, Raymond 1919-2017

Smullyan, R

Smullyan, R. M.

Smullyan, Ray

Smullyan, Raymond.

Smullyan, Raymond 1919-

Smullyan, Raymond 1919-2017

Smullyan, Raymond M. 1919-

Smullyan, Raymond M., 1919-2017

Smullyan, Raymond Merrill.

Smullyan, Raymond Merrill 1919-2017

Smullyan, Raymond R.

Sumarian, Reimondo 1919-

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

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

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

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

Смальян Р.

Ռեյմոնդ Սմալլիան

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

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

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

ריימונד סמוליאן מתמטיקאי אמריקאי

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

ریموند اسمولیان ریاضیدان آمریکایی

레이먼드 스멀리언

스멀리언, 레이먼드 1919-2017

스멀리언, 레이먼드 M. 1919-2017

스멀리언, 레이먼드 메릴 1919-2017

スマリヤン, レイモンド

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



雷蒙·梅里儿·思木里安 美国数学家,逻辑学家,哲学家,魔术师和钢琴家