Repository | Book | Chapter
(2011) Foundational theories of classical and constructive mathematics, Dordrecht, Springer.
A critical examination of notions associated with mathematical intuitionism, with attention to mathematical practice, internal vs. external negations, constructive meaning, weak counterexamples, and theories of constructions. The article includes a theory of constructions based on nonstandard realizability.
Publication details
DOI: 10.1007/978-94-007-0431-2_11
Full citation:
McCarty, C. (2011)., Proofs and constructions, in G. Sommaruga (ed.), Foundational theories of classical and constructive mathematics, Dordrecht, Springer, pp. 209-225.