ENGLISH

The foundations of mathematics in the theory of sets

By John P. Mayberry

Book information

Publisher
Cambridge University Press
Year
2001
ISBN
0521770343, 9780521770347, 0521172713, 9780521172714
LCC
QA248.M375 2001
Google Books ID
mP1ofko7p6IC
Language
english
Format
DJVU
Filesize
3 MB (2768901 bytes)
Series
Encyclopedia of mathematics and its applications
Edition
1
Pages
445\445
Library
Kolxo3
DPI
300
Orientation
yes
Scanned
yes
Time added
2012-08-21 20:00:00

Description

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.• 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

Similar books