2000•Unpublished venueRequires access
Preliminaries
Michael Dummett
Open publisher page 0 citations
Abstract
Abstract What everyone who has heard of intuitionism knows is that intuitionists want their proofs to be constructive. The notion of a constructive proof is, however, by no means restricted solely to intuitionistic or other forms of ‘constructivist’ mathematics: the distinction between constructive and non-constructive proofs arises within classical mathematics, and is perfectly intelligible from a completely platonistic standpoint.