有些数学问题是无法在有限步骤的逻辑里证实或证伪的，就像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