Proofs and constructions
pp. 209-225
in: Giovanni Sommaruga (ed), Foundational theories of classical and constructive mathematics, Berlin, Springer, 2011Abstract
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.