who can educate me what the significance of this? why speed is s

来源: xinliji 于 2010-10-29 07:44:10 [] [旧帖] [给我悄悄话] 阅读数 : (0 bytes)
回答: I never thought I will see this day to come 由 novtim2 于 2010-10-28 23:31:47

所有跟帖： 

• 以计算机证明数学定理为例，从公理系统的公理出发，用枚举法证明。如果推理一步， -加州老李- ♀ 给 加州老李 发送悄悄话 (336 bytes) () 10/29/2010 postreply 09:50:50

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

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

• 慢的电脑算天气预报只能算一两天还不准，快的能算一两周 -flywhc- ♂ 给 flywhc 发送悄悄话 flywhc 的博客首页 (554 bytes) () 10/29/2010 postreply 11:45:58

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

• e.g. IC simulation takes a lot of CPU -novtim2- ♂ 给 novtim2 发送悄悄话 (193 bytes) () 10/29/2010 postreply 19:55:04

请您先登陆，再发跟帖！