Logical labyrinths
Author(s)
Bibliographic Information
Logical labyrinths
(An A K Peters book)
CRC Press, c2009
- : hardcover
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references (p. 321-322) and index
Description and Table of Contents
Description
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.
Table of Contents
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
by "Nielsen BookData"