The Intuitionist Reconstruction of Mathematics
Loading...
Authors
Nussbaum, Mitchell Steven
Issue Date
1966
Type
Thesis
Language
en_US
Keywords
Alternative Title
Abstract
The intent of this paper is to indicate some of the ways
in which mathematics may be developed under intuitionist requirements. In Chapter 2, real numbers are developed informally,
following Heyting 1956. In later chapters logic and natural and
rational numbers are formally developed. Although I have
rearranged and elaborated on, for clarity's sake, what I have
read, the substance of this paper, more deeply and generally than
the attributions in the text can indicate, is largely to be found
in my sources. I claim for myself only Chapter III, some minor proofs in Chapter IV, and my proof of the Fan Theorem.
Description
iii, 67 p.
Citation
Publisher
Kalamazoo College
License
U.S. copyright laws protect this material. Commercial use or distribution of this material is not permitted without prior written permission of the copyright holder.