Böcker av Raymond Smullyan

Now a generation of readers can be charmed and inspired by this witty, sophisticated author. This book looks at the ideas inspired by Taoism that treat a wide variety of subjects about life in general. By the author of "This Book Needs No Title" and "Alice in Puzzleland".

Written by a creative master of mathematical logic, this introductory text combines stories of great philosophers, quotations, and riddles with the fundamentals of mathematical logic. Author Raymond Smullyan offers clear, incremental presentations of difficult logic concepts. He highlights each subject with inventive explanations and unique problems.Smullyan's accessible narrative provides memorable examples of concepts related to proofs, propositional logic and first-order logic, incompleteness theorems, and incompleteness proofs. Additional topics include undecidability, combinatoric logic, and recursion theory. Suitable for undergraduate and graduate courses, this book will also amuse and enlighten mathematically minded readers. Dover (2014) original publication. See every Dover book in print atwww.doverpublications.com

Features an approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. Using the logic of lying and truth-telling, this book introduces the informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic.