(1998) Synthese 116 (1).
This paper presents a defense of Epistemic Arithmetic as used for a formalization of intuitionistic arithmetic and of certain informal mathematical principles. First, objections by Allen Hazen and Craig Smorynski against Epistemic Arithmetic are discussed and found wanting. Second, positive support is given for the research program by showing that Epistemic Arithmetic can give interesting formulations of Church's Thesis.
Publication details
Full citation:
Horsten, L. (1998). In defense of epistemic arithmetic. Synthese 116 (1), pp. 1-25.
This document is unfortunately not available for download at the moment.