Potential Infinity and the Church Thesis
Marcin Mostowski · Fundamenta Informaticae · 2008
In this paper we consider a 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.