2019酒店在线观看剧情介绍:拉普拉斯定义的其他问题来自对不同重点的不同考虑。(1)高级计算器使用的语言是以有限数量的简单符号为基础吗?如果是这样,语言的句子也是可以穷数的。因而,计算器不可能断言任何时间点上的宇宙状态。我以为这不是个十分重要的反对意见。根据合理的连续性假设,完全可以假定计算器能够断言任何理性点上的状态。(2)设若前提像基本数论那样有力,就像在科学理论中那样,则并非所有公理理论模型的结果都是可推演的(这是歌德尔理论的必然结论)。我们尚不清楚这样的障碍对于高级计算器有多严重,但是,当我们为了说明决定论...