有些數學問題是無法在有限步驟的邏輯裏證實或證偽的,就像Turing Machine Halting Problem一樣。
來源:
芭蕉樹下的倩倩
於
2024-07-25 11:01:40
[
舊帖
] [
給我悄悄話
] 本文已被閱讀:次