Foundations of mathematics in the theory of sets, Vol. 82

By:

Mayberry, John P

Series: Encyclopedia of mathematics and its applicationsPublication details: Cambridge University Press, 2000. Cambridge:Description: xx, 424 p.; pb; 24 cmISBN:

9780521172714

Subject(s):

DDC classification:

511.3 MAY

Summary: 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.

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Books	IIT Gandhinagar	General	511.3 MAY (Browse shelf(Opens below))	1	Available		028970

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.

There are no comments on this title.

to post a comment.