Set Theory, Logic and their Limitations

Moshe Machover

ISBN 10: 0521479983 / ISBN 13: 9780521479981

Published by Cambridge University Press, 1996

About this Item

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.

Seller Inventory # CIN0521479983G

Bibliographic Details

• Title: Set Theory, Logic and their Limitations
• Publisher: Cambridge University Press
• Publication Date: 1996
• Language: English
• ISBN 10: 0521479983
• ISBN 13: 9780521479981
• Binding: Paperback
• Condition: Good

About this title

Synopsis

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.

Book Description

This introduction to set theory and logic discusses first order logic, and provides a rigorous axiomatic presentation of Zermelo-Fraenkel set theory. It includes many methodological remarks and explanations, demonstrating how the basic concepts of mathematics can be reduced to set theory.