Intuitionism in Mathematics
D. C. McCarty · Oxford University Press eBooks · 2009
Abstract The extent to which practicing mathematicians of a conventional tendency are already intuitionists is reassuring. Today's mathematicians treat mathematical claims much as Brouwer once did: as independently meaningful efforts to record mathematical facts which are, when true, demonstrable from proofs rooted in basic assumptions or principles. Until they are proven, those assumptions rest upon intuitions: illuminating, at times fallible, insights into the dynamical behaviors of numbers, sets, functions, and operations on them.