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

請您先登陸，再發跟帖！

發現Adblock插件

如要繼續瀏覽
請支持本站 請務必在本站關閉/移除任何Adblock

關閉Adblock後 請點擊

請參考如何關閉Adblock/Adblock plus

安裝Adblock plus用戶請點擊瀏覽器圖標
選擇“Disable on www.wenxuecity.com”

安裝Adblock用戶請點擊圖標
選擇“don't run on pages on this domain”