Skip to:Content
|
Bottom
Cover image for The foundations of mathematics in the theory of sets
Title:
The foundations of mathematics in the theory of sets
Personal Author:
Series:
Encyclopedia of mathematics and its applications ; v.82
Publication Information:
Cambridge, U.K. : Cambridge University Press, 2000
ISBN:
9780521770347
Subject Term:

Available:*

Library
Item Barcode
Call Number
Material Type
Item Category 1
Status
Searching...
30000004823518 QA248 M39 2000 Open Access Book Book
Searching...

On Order

Summary

Summary

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.


Go to:Top of Page