ENGLISH

Set Theory, Logic and their Limitations

By Moshe Machover

Book information

Publisher
Cambridge University Press
Year
1996
ISBN
0521474930, 9780521474931
Language
english
Format
DJVU
Filesize
3 MB (2987661 bytes)
Pages
298\300
DPI
600
Time added
2024-08-02 13:16:51

Description

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 Gödel (the celebrated incompleteness theorems). For students of mathematics and philosophy, this book provides an excellent introduction to logic and set theory.

Similar books