WorldCat Identities

Smullyan, Raymond M.

Overview
Works: 103 works in 893 publications in 18 languages and 16,974 library holdings
Genres: Miscellanea  Anecdotes  Juvenile works  Biography  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 )

98 editions published between 1982 and 2012 in 15 languages and held by 1,298 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 )

56 editions published between 1987 and 2012 in 9 languages and held by 1,016 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 882 WorldCat member libraries worldwide

1. The General Idea Behind Gdel's Proof2. Tarski's Theorem for Arithmetic3. The Incompleteness of Peano Arithmetic with Exponentation4. Arithmetic Without the Exponential5. Gdel's Proof Based on Consistency6. Rosser Systems7. Shepherdson's Representation Theorems8. Definability and Diagonalization9. The Unprovability of Consistency10. Some General Remarks on Provability and Truth11. Self-Referential Systems
What is the name of this book? : the riddle of Dracula and other logical puzzles by Raymond M Smullyan( Book )

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

53 editions published between 1968 and 2012 in 6 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 )

35 editions published between 1977 and 2014 in 6 languages and held by 785 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 )

42 editions published between 1985 and 2013 in 6 languages and held by 646 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 )

66 editions published between 1959 and 1996 in 4 languages and held by 635 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 537 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 )

49 editions published between 1979 and 2012 in 8 languages and held by 534 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 )

37 editions published between 1992 and 2014 in 5 languages and held by 516 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 )

20 editions published between 1997 and 2012 in 4 languages and held by 471 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 )

19 editions published between 1983 and 2013 in 4 languages and held by 447 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 428 WorldCat member libraries worldwide

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

14 editions published between 1982 and 2011 in English and Portuguese and held by 424 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 411 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 343 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 335 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 276 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 )

21 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
0
Audience Level
1
  Kids General Special  
Audience level: 0.37 (from 0.04 for Who knows? ... to 0.87 for Tensai sum ...)

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

Merrill Smullyan, Raymond 1919-

Raymond Smullyan Amerikaans wiskundige

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, Rejmond 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

レイモンド・スマリヤン

雷蒙·史慕揚

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 systemsRecursion theory for metamathematics