The Foundations of Mathematics in the Theory of Sets
CAD$183.95 (C)
Part of Encyclopedia of Mathematics and its Applications
- Author: John P. Mayberry
- Date Published: April 2001
- availability: Available
- format: Hardback
- isbn: 9780521770347
CAD$
183.95
(C)
Hardback
Other available formats:
Paperback, eBook
Looking for an examination copy?
This title is not currently available for examination. However, if you are interested in the title for your course we can consider offering an examination copy. To register your interest please contact [email protected] providing details of the course you are teaching.
-
This unified approach to the foundations of mathematics in the theory of sets covers both conventional and finitary (constructive) mathematics. It is based on a philosophical, historical and mathematical analysis of the relation between the concepts of "natural number" and "set". The book contains an investigation of the logic of quantification over the universe of sets and a discussion of its role in second order logic, and the analysis of proof by induction and definition by recursion. The book should appeal to both philosophers and mathematicians with an interest in the foundations of mathematics.
Read more- Written by a leading researcher in the field
- Of interest to philosophers as well as mathematicians
- At the time of publication, there were no other books that deal with the foundations of mathematics in such detail
Reviews & endorsements
"...an invigorating call to foundational arms..." Notre Dame Journal of Formal Logic
See more reviews"...this book is thought provoking...a distinctive approach to the twin issues of mathematical ontology and mathematical foundations..." Australasian Journal of Philosophy
"...I also think that it is one of the more philosophically significant books to have been written on this topic in some time. It provides much food for thought... this should certainly be acknowledged as an important piece of conceptual analysis, one which suggests interesting avenues for further exploration." Mary Tiles, Philosophia Mathematica
"...a very lively book, filled with striking theses..." The Bulletin of Symbolic Logic
Customer reviews
Not yet reviewed
Be the first to review
Review was not posted due to profanity
×Product details
- Date Published: April 2001
- format: Hardback
- isbn: 9780521770347
- length: 446 pages
- dimensions: 237 x 163 x 27 mm
- weight: 0.8kg
- availability: Available
Table of Contents
Preface
Part I. Preliminaries:
1. The idea of foundations of mathematics
2. Simple arithmetic
Part II. Basic Set Theory:
3. Semantics, ontology and logic
4. The principal axioms and definitions of set theory
Part III. Cantorian Set Theory:
5. Cantorian finitism
6. The axiomatic method
7. Axiomatic set theory
Part IV. Euclidean Set Theory:
8. Euclidian finitism
9. The Euclidean theory of cardinality
10. The theory of simply infinite systems
11. Euclidean set theory from the Cantorian standpoint
12. Envoi
Appendices
Bibliography
Index.
Sorry, this resource is locked
Please register or sign in to request access. If you are having problems accessing these resources please email [email protected]
Register Sign in» Proceed
You are now leaving the Cambridge University Press website. Your eBook purchase and download will be completed by our partner www.ebooks.com. Please see the permission section of the www.ebooks.com catalogue page for details of the print & copy limits on our eBooks.
Continue ×Are you sure you want to delete your account?
This cannot be undone.
Thank you for your feedback which will help us improve our service.
If you requested a response, we will make sure to get back to you shortly.
×