污网站视频在线观看,亚洲国产婷婷综合在线精品中文,国产精品欧美性在线观看,久久久久久大鸡吧大精品久久久久久

» 兩個科學家通過計算證明上帝存在
    馬德里(歐洲時報)- 來自柏林自由大學的科學家 Christoph Benzmller 和來自維也納科技大學的 Bruno Woltzenlogel 通過信息計算驗證了哥德爾不完備性定理(維基)，該定理在上世紀末由數(shù)學家哥德爾提出，他的結(jié)論為在邏輯的準則下存在上帝(哥德爾證明了任何一個形式體系，只要包括了簡單的初等數(shù)論描述，而且是一致的，它必定包含某些體系內(nèi)所允許的方法既不能證明也不能證偽的命題)。
    
    在七十年代末，哥德爾評論到，就定義來說，“不可能存在超越上帝的存在物了”，并通過數(shù)學邏輯論據(jù)提出了上帝的存在。他的意圖是用一個完全邏輯性的方式，從上帝是存在的角度來展現(xiàn)我們所說的本體論(又稱為存在論)的一些論據(jù)。
    
    如今，科學家們用一個普通的 Macbook 來計算證明了哥德爾的論據(jù)在數(shù)學上是正確的。所以說上帝存在，因為數(shù)學無疑是相容的；魔鬼也存在，因為我們不能證明這種相容性。于是研究者強調(diào)發(fā)布在 Arxiv.org 網(wǎng)上的這個研究 “與高科技可以幫助證明上帝是否存在的科學理論密切相關(guān)"。
    
    于是，兩位科學家指出，重要的是“通過電腦所獲得的成果意味著哥德爾巨大的推理的成功”。Benzmller 指出，在數(shù)學中或在可用現(xiàn)代科技解決的人工智能技術(shù)中本體論測試是個無法達到的很好的例子。
    
    科學家認為，這些復雜的定理可以通過非專業(yè)化電腦進行驗證的事實使得其他定理可以驗證成為可能，它提供了更多的可能性�？茖W家還指出“ 哥德爾不完備性定理可以在幾秒鐘內(nèi)在一個標準的筆記本電腦上自動證實，這完全是不可思議的�！�
    

網(wǎng)友評論2013-10-30 09:43

    字我全認識。。。但是，他們在說什么？
    

網(wǎng)友評論2013-10-30 09:49

    百度一下“哥德爾的論據(jù)”，看來又是超出我等凡人所能理解的范圍了
    

網(wǎng)友評論2013-10-30 09:49

    當年牛頓就干過的事兒
    

網(wǎng)友評論2013-10-30 09:51

    給MAC打廣告的啊
    

網(wǎng)友評論2013-10-30 09:54

    用計算機來證明不完備性定理？聽起來很不靠譜啊。
    

網(wǎng)友評論2013-10-30 09:57

    上帝：你們知道的太多了
    

網(wǎng)友評論2013-10-30 10:00

    我來看看有多少人誤解哥德爾不完備性定理
    

網(wǎng)友評論2013-10-30 10:00

    這一個個字讀起來好簡單 我就光讀一遍意思意思下就好了...
    

網(wǎng)友評論2013-10-30 10:01

    Macbook的軟廣告, 鑒定完畢
    

網(wǎng)友評論2013-10-30 10:02

    前幾天馬親王的帖子還在不？
    
    諾亞方舟那個。
    

網(wǎng)友評論2013-10-30 10:02

    如果真的存在就出來啊，有本事上帝來查我水biaafslgnoeasngamhnalnslgna
    

網(wǎng)友評論2013-10-30 10:04

    Reply Post by Doctor_Feynman (2013-10-30 10:00):
    我來看看有多少人誤解哥德爾不完備性定理
    都不認識，哪來的誤解。。
    

網(wǎng)友評論2013-10-30 10:07

    哥們,你們弄錯了,只是證明了一個至高的存在,但是你能證明叫上帝(God)么?不是叫盤古? 不是叫女媧? 不是叫安拉嗎? 不是叫飛天面條神嗎
    我確定叫安拉啊, 阿拉安胡巴克!
    

網(wǎng)友評論2013-10-30 10:08

    上帝:我的工作都結(jié)束這么多年了，你們忘了我行不行啊T-T
    

網(wǎng)友評論2013-10-30 10:11

    是不是如果算出一個小數(shù)就是上帝，算出大數(shù)就是如來觀音玉皇大帝太上老君之類的了
    

網(wǎng)友評論2013-10-30 10:14

    Reply Post by leachee (2013-10-30 10:07):
    
    哥們,你們弄錯了,只是證明了一個至高的存在,但是你能證明叫上帝(God)么?不是叫盤古? 不是叫女媧? 不是叫安拉嗎? 不是叫飛天面條神嗎
    我確定叫安拉啊, 阿拉安胡巴克!
    
    你連口號都喊錯了！不怕薩拉丁上門砍你JJ么
    

網(wǎng)友評論2013-10-30 10:18

    安拉阿胡阿克吧！
    

網(wǎng)友評論2013-10-30 10:25

    Reply to Reply Post by 鼻油油 (2013-10-30 10:14)
    
    你連口號都喊錯了！不怕薩拉丁上門砍你JJ么
    
    大馬士革打仗呢，薩拉丁不太方便現(xiàn)在爬出來……
    

網(wǎng)友評論2013-10-30 10:25

    Reply Post by leachee (2013-10-30 10:07):
    
    哥們,你們弄錯了,只是證明了一個至高的存在,但是你能證明叫上帝(God)么?不是叫盤古? 不是叫女媧? 不是叫安拉嗎? 不是叫飛天面條神嗎
    我確定叫安拉啊, 阿拉安胡巴克!
    
    嘣！
    下一頁(2)

    
    
    

LOL羅輯思維全國人大代表真三搞笑視頻柳巖