+612 9045 4394
 
CHECKOUT
Encyclopedia of Mathematics and its Applications : The Foundations of Mathematics in the Theory of Sets Series Number 82 - John P. Mayberry

Encyclopedia of Mathematics and its Applications

The Foundations of Mathematics in the Theory of Sets Series Number 82

Paperback Published: 27th October 2011
ISBN: 9780521172714
Number Of Pages: 446

Share This Book:

Paperback

RRP $109.95
$90.95
17%
OFF
or 4 easy payments of $22.74 with Learn more
This title is not in stock at the Booktopia Warehouse and needs to be ordered from our supplier.
Click here to read more about delivery expectations.

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.

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
"...an invigorating call to foundational arms..." Notre Dame Journal of Formal Logic
"...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

Preface
Preliminaries:
The idea of foundations of mathematics
Simple arithmetic
Basic Set Theory:
Semantics, ontology and logic
The principal axioms and definitions of set theory
Cantorian Set Theory:
Cantorian finitism
The axiomatic method
Axiomatic set theory
Euclidean Set Theory:
Euclidian finitism
The Euclidean theory of cardinality
The theory of simply infinite systems
Euclidean set theory from the Cantorian standpoint
Envoi
Appendices
Bibliography
Index
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780521172714
ISBN-10: 0521172713
Series: Encyclopedia of Mathematics and Its Applications
Audience: Professional
Format: Paperback
Language: English
Number Of Pages: 446
Published: 27th October 2011
Publisher: Cambridge University Press
Country of Publication: GB
Dimensions (cm): 23.4 x 15.6  x 2.3
Weight (kg): 0.62

This product is categorised by