這整個討論串太棒了，我只是隨意轉發其中的隨機部分。 這實際上是一個很好的例子，說明為什麼正式模型是好的。如果你在爭辯「世界對模型來說太複雜」，那麼你實際上也在使用一個模型，但這個模型是無法被證偽的。