大学
·
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年)计划。
相关内容
Arxiv
0+阅读 · 2022年6月14日
Arxiv
0+阅读 · 2022年6月13日
Arxiv
0+阅读 · 2022年6月9日
相关主题
相关VIP内容
相关资讯
相关论文
Arxiv
0+阅读 · 2022年6月14日
Arxiv
0+阅读 · 2022年6月13日
Arxiv
0+阅读 · 2022年6月9日
微信扫码咨询专知VIP会员