Raymond M. Smullyan – författare
Visar alla böcker från författaren Raymond M. Smullyan. Handla med fri frakt och snabb leverans.
24 produkter
Forever Undecided
E-bok, 2012
245 kr
Lägg i varukorg
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 …
Beginner’s Guide to Mathematical Logic
Häftad, 2014
302 kr
Lägg i varukorg
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 …
Gödelian Puzzle Book
Puzzles, Paradoxes and Proofs
Häftad, 2013
159 kr
Lägg i varukorg
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, …
Chess Mysteries of Sherlock Holmes
Fifty Tantalizing Problems of Chess Detection
Häftad, 2012
5,0 utav 5 stjärnor. Totalt antal röster: (1)
148 kr
Lägg i varukorg
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 …
What is the Name of This Book?
The Riddle of Dracula and Other Logical Puzzles
Häftad, 2011
170 kr
Tillfälligt slut
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 …
Godel's Incompleteness Theorems
E-bok, 1992
3942 kr
Lägg i varukorg
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 …
Gödel's Incompleteness Theorems
Inbunden, 1992
5530 kr
Lägg i varukorg
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 …
Tao Is Silent
E-bok, 2023
91 kr
Lägg i varukorg
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 …
Recursion Theory for Metamathematics
Inbunden, 1993
3589 kr
Lägg i varukorg
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 …
Recursion Theory for Metamathematics
E-bok, 1993
2255 kr
Lägg i varukorg
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 …
Godel's Incompleteness Theorems
E-bok, 1992
3942 kr
Lägg i varukorg
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 …
Diagonalization and Self-Reference
Inbunden, 1994
4407 kr
Lägg i varukorg
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 …
Who Knows?
A Study of Religious Consciousness
Häftad, 2003
205 kr
Lägg i varukorg
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 …
To Mock a Mocking Bird
E-bok, 2012
208 kr
Lägg i varukorg
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 …
Satan, Cantor, And Infinity And Other Mind-bogglin
E-bok, 2012
80 kr
Lägg i varukorg
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 …
Alice in Puzzle-Land
A Carrollian Tale for Children Under Eighty
Av Raymond M. Smullyan, Martin Gardner m. fl.
Häftad, 2012
142 kr
Lägg i varukorg
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 …
Theory of Formal Systems
Häftad, 1961
823 kr
Lägg i varukorg
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.
Theory of Formal Systems
E-bok, 2016
1125 kr
Lägg i varukorg
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.
This Book Needs No Title
A Budget of Living Paradoxes
Häftad, 2023
5,0 utav 5 stjärnor. Totalt antal röster: (1)
250 kr
Lägg i varukorg
This Book Needs No Title
A Budget of Living Paradoxes
E-bok, 2023
316 kr
Lägg i varukorg
This Book Needs No Title brings the delight and fascination with self-reference and paradox that distinguish Raymond Smullyan''s popular books on logic to bear on philosophical and spiritual themes. Progressing organically from brief anecdotes, paradoxes, jokes, and epigrams to dialogues, essays, …
To Mock a Mockingbird: And Other Logic Puzzles Including an Amazing Adventure in Combinatory Logic
Häftad, 2025
315 kr
Lägg i varukorg
