The Foundations of Mathematics in the Theory of Sets
Seiten
2001
Cambridge University Press (Verlag)
978-0-521-77034-7 (ISBN)
Cambridge University Press (Verlag)
978-0-521-77034-7 (ISBN)
This 2001 book presents a unified approach to the foundations of mathematics in the theory of sets, covering conventional and finitary mathematics. It analyses the relation between the concepts of 'natural number' and 'set', and investigates the logic of quantification over the universe of sets. Suitable for both philosophers and mathematicians.
This 2001 book presents a unified approach to the foundations of mathematics in the theory of sets, covering 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'. This leads to an investigation of the logic of quantification over the universe of sets and a discussion of its role in second order logic, as well as in the analysis of proof by induction and definition by recursion. The subject matter of the book falls on the borderline between philosophy and mathematics, and should appeal to both philosophers and mathematicians with an interest in the foundations of mathematics.
This 2001 book presents a unified approach to the foundations of mathematics in the theory of sets, covering 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'. This leads to an investigation of the logic of quantification over the universe of sets and a discussion of its role in second order logic, as well as in the analysis of proof by induction and definition by recursion. The subject matter of the book falls on the borderline between philosophy and mathematics, and should appeal to both philosophers and mathematicians with an interest in the foundations of mathematics.
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.
| Erscheint lt. Verlag | 22.3.2001 |
|---|---|
| Reihe/Serie | Encyclopedia of Mathematics and its Applications |
| Verlagsort | Cambridge |
| Sprache | englisch |
| Maße | 163 x 237 mm |
| Gewicht | 800 g |
| Themenwelt | Geisteswissenschaften ► Philosophie |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 0-521-77034-3 / 0521770343 |
| ISBN-13 | 978-0-521-77034-7 / 9780521770347 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Buch | Softcover (2024)
World Scientific Publishing Co Pte Ltd (Verlag)
CHF 43,60
what we have that machines don't
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
how simple questions lead us to mathematics’ deepest truths
Buch | Softcover (2024)
Profile Books Ltd (Verlag)
CHF 19,15
