The Foundations of Mathematics in the Theory of Sets

ISBN-13: 9780521770347 / Angielski / Twarda / 2001 / 446 str.

J. Mayberry; John P. Mayberry; G. -C Rota

Opis

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.

Recenzje

Review of the hardback: ' … this book is thought-provoking … distinctive approach to the twin issues of mathematical ontology and mathematical foundations'. Australasian Journal of Philosophy

Spis treści

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.