有些数学问题是无法在有限步骤的逻辑里证实或证伪的,就像Turing Machine Halting Problem一样。
来源:
芭蕉树下的倩倩
于
2024-07-25 11:01:40
[
旧帖
] [
给我悄悄话
] 本文已被阅读:次