真正的程序可以在有足够时间和空间的情况下解决问题。对于已知大小的每个问题实例，消耗的空间量都有固定的上限。
是否存在无法解决的问题（即无法计算的函数），只要“只是”足够大的内存？
更具体地说，是否有只能通过图灵机（具有无限磁带）计算的功能，而不是传统程序？
答案 0 :(得分：0)
图灵机不可能在任何特定执行期间实际消耗无限量的磁带，因为它必须在有限数量的步骤之后停止。如果它没有停止，那么它就没有“解决”任何东西。由于机器只能运行有限数量的步骤，因此它只能从任一方向的起点移动一个有限的距离，因此只消耗有限数量的磁带。
更具体地说，是否有只能通过图灵机（具有无限磁带）计算的功能，而不是传统程序？
不确定。但只是因为要求不合理（有限）的时间或空间。