以计算机证明数学定理为例，从公理系统的公理出发，用枚举法证明。如果推理一步，

来源: 加州老李 于 2010-10-29 09:50:50 [] [旧帖] [给我悄悄话] 阅读数 : (336 bytes)

可以枚举出N个定理。如果从公理加上这N个定理中的任何一个定理再往前推理一步，至少可以枚举出M个定理。那么两步推理就会得到N＊M个定理。

 

这样只要几步推理，计算机就达到极限了。如果某个定理至少要X步推理，X很可能超出了计算机的极限。所以计算机证明数学定理非常困难。速度越快，内存越多，计算机证明数学定理的能力就越强。

所有跟帖： 

• 多说一句：公理系统的定理证明只是半可计算的。 -加州老李- ♀ 给 加州老李 发送悄悄话 (346 bytes) () 10/29/2010 postreply 14:19:44

• Thanks! -xinliji- ♀ 给 xinliji 发送悄悄话 (0 bytes) () 10/30/2010 postreply 11:05:11

请您先登陆，再发跟帖！