Raymond M. Smullyan – författare

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 Gödel’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 Gödel’s two great theorems on incompleteness and undecidability, some of their philosophical and mathematical implications, and why we, like Gödel himself, must remain Forever Undecided!

In his most critically acclaimed work, a celebrated mathematician presents 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.

Combining stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic, this new textbook for first courses in mathematical logic was written by the subject's creative master. Raymond Smullyan offers clear, incremental presentations of difficult logic concepts with creative explanations and unique problems related to proofs, propositional logic and first-order logic, undecidability, recursion theory, and other topics.

These recreational logic puzzles provide entertaining variations on Gödel's incompleteness theorems, offering ingenious challenges related to infinity, truth and provability, undecidability, and other concepts. Written by a distinguished mathematician and creator of numerous popular puzzle books, this volume requires no background in formal logic and will delight readers of all ages.

Join Holmes and Watson as they examine interrupted games to deduce prior moves. A series of increasingly complex chess mysteries culminates in a double murder perpetrated by Professor Moriarty. The master sleuth instructs his companion (and us) in the intricacies of retrograde analysis; readers need only a knowledge of how the pieces move.

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.

Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel''s incompleteness theorems. The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the book will appeal to mathematicians, philosophers, and computer scientists.

Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable". His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame.In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel's incompleteness theorems. The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the book will appeal to mathematicians, philosophers, and computer scientists.

This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel'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.

This work is a sequel to the author''s Gödel''s Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel''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.

Kurt Godel, the greatest logician of our time, startled the world of mathematics in 1931 with his Theorem of Undecidability, which showed that some statements in mathematics are inherently "undecidable." His work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum theory brought him further worldwide fame. In this introductory volume, Raymond Smullyan, himself a well-known logician, guides the reader through the fascinating world of Godel''s incompleteness theorems. The level of presentation is suitable for anyone with a basic acquaintance with mathematical logic. As a clear, concise introduction to a difficult but essential subject, the book will appeal to mathematicians, philosophers, and computer scientists.

The main purpose of this book is to present a unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. The book provides a survey of introductory material and a summary of recent research. The first chapters are of an introductory nature and consist mainly of exercises with solutions given to most of them.

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 ideas related to religious and mystical thought. In Part One, Smullyan uses the writings on religion by fellow polymath Martin Gardner as the starting point for some inspired ideas about religion and belief. Part Two focuses on the doctrine of Hell and its justification, with Smullyan presenting powerful arguments on both sides of the controversy. "If God asked you to vote on the retention or abolition of Hell," he asks, "how would you vote?" Smullyan has posed this question to many believers and received some surprising answers. In the last part of his treasurable triptych, Smullyan takes up the "beautiful and inspiring" ideas of Richard Bucke and Edward Carpenter on Cosmic Consciousness. Readers will delight in Smullyan's observations on religion and in his clear-eyed presentation of many new and startling ideas about this most wonderful product of human consciousness.

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 Gödel’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.

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.

Characters from Alice's Adventures in Wonderland and Through the Looking-Glass populate these 88 intriguing puzzles. Mathematician Raymond Smullyan re-creates the spirit of Lewis Carroll's writings in puzzles involving word play, logic and metalogic, and philosophical paradoxes. Challenges range from easy to difficult and include solutions, plus 60 charming illustrations. "An ingenious book." — Boston Globe.

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.