The hypothesis says: a universal computing machine can compute anything that another universal computing machine can compute, given unlimited time and an infinite tape.
英
美
- 假设是这样的:假定有无限的时间和无穷多计算用磁带,一台通用的计算机器可以计算另一台通用计算机器能计算的东西。