Book | Chapter
Proofs and constructions
pp. 209-225
Abstract
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
Published in:
Sommaruga Giovanni (2011) Foundational theories of classical and constructive mathematics. Dordrecht, Springer.
Pages: 209-225
DOI: 10.1007/978-94-007-0431-2_11
Full citation:
McCarty Charles (2011) „Proofs and constructions“, In: G. Sommaruga (ed.), Foundational theories of classical and constructive mathematics, Dordrecht, Springer, 209–225.