Deprecated: strlen(): Passing null to parameter #1 ($string) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 105
Repository | 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
Deprecated: DateTime::createFromFormat(): Passing null to parameter #2 ($datetime) of type string is deprecated in /home/clients/b010bcc84441ff7c5adbaf4e922effaa/web/mom/module/pub/view-inc.php on line 496
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.