Logical Labyrinths

Raymond Smullyan (Autor)

Buch | Hardcover

336 Seiten

2008
A K Peters (Verlag)
978-1-56881-443-8 (ISBN)

Artikel merken

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.

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 author’s puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the author introduces the readers to informal reasoning preparing them for the formal study of symbolic logic, from propositional logic to first-order logic, a subject that has many important applications to philosophy, mathematics, and computer science. The book includes a journey through the amazing labyrinths of infinity, which have stirred the imagination of mankind as much, if not more, than any other subject.

Raymond M. Smullyan is a highly-regarded research mathematician and a successful author with numerous popular books on logic puzzles, as well as more technical works on logic. In addition, he is a magician, close friend of Martin Gardner, and a very popular figure in the international puzzle community.

Preface, I Be Wise, Generalize!, II Be Wise, Symbolize!, III Infinity, IV Fundamental Results in First-Order Logic, V Axiom Systems, VI More on First-Order Logic, References

Erscheint lt. Verlag	22.12.2008
Verlagsort	Natick
Sprache	englisch
Maße	152 x 229 mm
Gewicht	612 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
ISBN-10	1-56881-443-7 / 1568814437
ISBN-13	978-1-56881-443-8 / 9781568814438
Zustand	Neuware