有些數學問題是無法在有限步驟的邏輯裏證實或證偽的,就像Turing Machine Halting Problem一樣。

來源: 2024-07-25 11:01:40 [舊帖] [給我悄悄話] 本文已被閱讀: