有些數學問題是無法在有限步驟的邏輯裏證實或證偽的，就像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