We prove that if our calculating capability is that of a universal Turing machine with a finite tape, then Church's thesis is true. This way we accomplish Post (1936) program.

翻译：我们证明,如果我们的计算能力 是通用图灵机器的计算能力, 带带子有限, 那么教堂的论文是真实的。 这样我们就可以完成Post(1936年)计划。