Book | Chapter
(2015) The road to universal logic I, Basel, Birkhäuser.
This paper discusses the problem of availability of constructive metamathematics for constructive theories. Since intuitionism is usually considered as the most important kind of constructivism, we have the following question: Is it possible to give intuitionistically acceptable proofs of metamathematical theorems? This issue is illustrated by the completeness theorem for intuitionistic predicate logic and the consistency of arithmetic. The conclusion is that hitherto collected evidence justifies the claim that the universal intuitionistic metamathematics is very problematic.
Publication details
DOI: 10.1007/978-3-319-10193-4_25
Full citation:
Woleński, J. (2015)., Constructivism and metamathematics, in A. Koslow & A. Buchsbaum (eds.), The road to universal logic I, Basel, Birkhäuser, pp. 513-520.
This document is unfortunately not available for download at the moment.