有些数学问题是无法在有限步骤的逻辑里证实或证伪的,就像Turing Machine Halting Problem一样。

来源: 2024-07-25 11:01:40 [旧帖] [给我悄悄话] 本文已被阅读: