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.
生成讲解博客的中文版本
生成AI智能校验的中文版本