Proof of Church's Thesis

2017-04-30T09:24:14Z (GMT) by Ramón Casares
<div>We prove that if our calculating capability is limited to that of a universal Turing machine with a finite tape, then Church's thesis is true. This way we accomplish Post (1936) program.</div>