Logical Labyrinths

1. Auflage 2008
ISBN: 978-1-56881-443-8
Verlag: Taylor & Francis Inc

Buch, Englisch, 336 Seiten, Format (B × H): 159 mm x 235 mm, Gewicht: 572 g

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.

Autoren/Hrsg.

Smullyan, Raymond

Fachgebiete

• Mathematik | Informatik Mathematik Mathematik Allgemein Mathematische Logik

Inhaltsverzeichnis

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

Über Autor(innen)

Raymond Smullyan