Potential Infinity and the Church Thesis

Issue title: Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk

Article type: Research Article

Authors: Mostowski, Marcin

Affiliations: Department of Logic, Institute of Philosophy, Warsaw University, Krakowskie Przedmieście 3, 00–047 Warszawa, Poland. E-mail: [email protected]

Abstract: In this paper we consider a "mathematical" proof of the Church Thesis. The proof is based on very weak assumptions about intuitive computability and the FM-representability theorem from [11]. It develops and improves the argument mentioned in [12]. Our argument essentially depends on the mathematical model of the world we are in.

Journal: Fundamenta Informaticae, vol. 81, no. 1-3, pp. 241-248, 2007