Set Theory, Logic and their Limitations (Paperback)

Paperback. In this introduction to set theory and logic, the author discusses first order logic, and gives a rigorous axiomatic presentation of Zermelo-Fraenkel set theory. He includes many methodological remarks and explanations, and demonstrates how the basic concepts of mathematics can be reduced to set theory. He explains concepts and results of recursion theory in intuitive terms, and reaches the limitative results of Skolem, Tarski, Church and Godel (the celebrated incompleteness theorems). For students of mathematics and philosophy, this book provides an excellent introduction to logic and set theory. An introduction to set theory and logic. An axiomatic presentation of Zermelo-Fraenkel set theory is given. This is followed by a presentation of propositional and first-order logic, and the author proves and explains the limitative results of Skolem, Tarski, Church and Godel. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.…