采薇不再重启，而是很严谨地说道：“初始条件有无限种情况，我们不可能将每一种情况都模拟一遍。有限推不了无限。”

“所以我们现在只能说存在这些初始条件会让整个世界趋于崩溃，而不能证明任意的初始条件都会让这个世界崩溃。”

陆渊也说道：“我刚才尝试了一下，从那些规则出发，无法证明这个世界必然会崩溃。”

而后，感觉自己说的话有点歧义，他又补充道：“也无法证明存在一种初始条件，让这个世界不崩溃。”

本来还认真听着的杨岁当即就吐槽道：“那不就是没证出来呗。”

陆渊很认真地说道：“我觉得应该尝试一下证明这个命题从规则的角度出发，无法证明也无法证伪。”

“什么意思？证明无法被证明？”杨岁感觉自己被绕了进去。

“就字面意思。”陆渊简单说道：“我们现在无法从规则出发，证明这个世界必然会毁灭。从初始条件出发就更不现实了，有无数种初始条件。”

“哪怕我们实验了一亿十亿百亿，甚至是你能想到的最大的数的次数，也无法证明这个世界在任意初始条件下都会毁灭。”

“我目前也没办法从规则出发去证明，存在一个初始条件让这个世界不会毁灭。也就是说，从规则出发，这个命题很有可能没办法证明或者证伪。”

“但是，从初始条件，存在证伪这个命题的可能性。只要找到一个初始条件，让这个世界不会毁灭，那就证伪了，这个世界在任意初始条件下都会毁灭这个命题。”

杨岁听完这一长串分析，若有所思的点点头。

他知道陆渊在说什么。

如果把那个小世界换成他们现在的世界。

那……

上个纪元，现在这个纪元。

爷爷，他们。