The Intuitionist Reconstruction of Mathematics
Nussbaum, Mitchell Steven
MetadataShow full item record
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.