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.
CITATION STYLE
McCarty, C. (2011). Proofs and Constructions (pp. 209–225). https://doi.org/10.1007/978-94-007-0431-2_11
Mendeley helps you to discover research relevant for your work.