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.

The Tao Is Silent:

Smullyan, Raymond M.

Religion & Spirituality

Harper & Row,1977

This Book Needs No Title: Paradoxes, Labyrinths and Conundrums

Touchstone/Simon & Schuster

Eighty paradoxes, logical lobyrinths, and intriguing enigmas progress from light fables and fancies to challenging Zen exercises and a novella and probe the timeless questions of philosophy and life

This Book Needs No Title: A Budget of Living Paradoxes

Science & Math

Prentice Hall Direct

This book provides an introduction to Kurt Godel's theorems through a collection of puzzles interspersed with an account of symbolic logic. Godel's argument has been transferred from the formal domain of mathematical systems in an attempt to make its essential ideas more accessible to the general reader. The primary emphasis is on belief systems and how they are related to systems of mathematics. This leads to the subject of possible world semantics which plays a role in computer science and artificial intelligence.

Forever Undecided: A Puzzle Guide to Godel

Oxford Univ. Pr.

The Chess Mysteries of Sherlock Holmes

The Chess Mysteries of Sherlock Holmes

Humor & Entertainment

Puzzles & Games

In this collection of problems, Raymond Smullyan transports the game of chess to the world of the Arabian knights. The White King is Haroun Al Rashid, the White Bishop is his Grand Vizier, Archie. They are out to counter the Black King Kazir's attempts at invisibility, and to unmask the disguised Queen Medea. In addition, using the deductive logic that is the hallmark of these exercises in retrograde analysis, Haroun and Archie discover pawns who've robbed the royal treasury, lazy knights who refuse to move more than once or twice, and buried castles, as well as encountering any number of phantoms, genii, magicians, philosophers, and hermits.

The Chess Mysteries of the Arabian Knights

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.

Godel's Incompleteness Theorems (Oxford Logic Guides)

Computers & Technology

Programming

Oxford University Press

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.

Recursion Theory for Metamathematics (Oxford Logic Guides)

Computer Science

Set Theory and the Continuum Problem is a novel introduction to set theory, including axiomatic development, consistency, and independence results. It is self-contained and covers all the set theory that a mathematician should know. Part I introduces set theory, including basic axioms, development of the natural number system, Zorn's Lemma and other maximal principles. Part II proves the consistency of the continuum hypothesis and the axiom of choice, with material on collapsing mappings, model-theoretic results, and constructible sets. Part III presents a version of Cohen's proofs of the independence of the continuum hypothesis and the axiom of choice. It also presents, for the first time in a textbook, the double induction and superinduction principles, and Cowen's theorem. The book will interest students and researchers in logic and set theory.

Set Theory and the Continuum Problem (Oxford Logic Guides)

Fitting, Melvin

Mathematics

This book presents a systematic, unified treatment of fixed points as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers an excellent introduction to the subject and highlights recent research.

Diagonalization and Self-Reference (Oxford Logic Guides)

Politics & Social Sciences

Philosophy

Clarendon Press

See the best price to sell, buy, or rent books by Smullyan, Raymond M.. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Smullyan, Raymond M.

See the best price to sell, buy, or rent books by Smullyan, Raymond M.. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

The Tao Is Silent:

This Book Needs No Title: Paradoxes, Labyrinths and Conundrums

This Book Needs No Title: A Budget of Living Paradoxes

Forever Undecided: A Puzzle Guide to Godel

The Chess Mysteries of Sherlock Holmes

The Chess Mysteries of the Arabian Knights

Godel's Incompleteness Theorems (Oxford Logic Guides)

Recursion Theory for Metamathematics (Oxford Logic Guides)

Set Theory and the Continuum Problem (Oxford Logic Guides)

Diagonalization and Self-Reference (Oxford Logic Guides)