这个整个讨论串太好了，我只是重新发布其中的随机部分。 这是一个很好的例子，说明为什么正式模型实际上是好的。如果你在争论“世界对模型来说太复杂”，那么你实际上也在使用一个模型，但这个模型是无法被证伪的。