有些數學問題是無法在有限步驟的邏輯裏證實或證偽的,就像Turing Machine Halting Problem一樣。
所有跟帖:
•
那也可以去探討millennium problems 是否屬於你說的這類。
-trivial-
♀
(0 bytes)
()
07/25/2024 postreply
11:11:36
•
not sure if he even understands what you meant
-我是誰的誰-
♂
(0 bytes)
()
07/25/2024 postreply
11:29:08
•
這其實隻是個簡單的邏輯悖論。也不是簡單說無解,Decision problem就是關於問題是不是decidable的研究
-STEMkid-
♂
(0 bytes)
()
07/25/2024 postreply
11:12:00