計算機科學家「證明」上帝存在

2020-11-28 cnBeta

感謝翻譯帖的投遞

當哥德爾1978年去世時,他留給後人一個誘人的理論，這個理論基於模態邏輯的原則（即肯定有一個高級存在）。哥德爾本體論證明所涉及的數學細節是非常複雜的，但他本質上認為並明確表明，沒有比上帝更偉大的存在。雖然我們可以在概念上理解上帝存在，但是如果他實際存在的話我們則會認為他更偉大。因此，他必須存在。

計算機科學家「證明」：上帝存在

依據數學家庫爾特·哥德爾有關上帝存在的著述，兩名科學家已經構建出一個原理。但這其實跟「上帝」沒有什麼關係--真正取得進步的是，這個定理為計算機如何簡化科學發展樹立了榜樣。

作為新聞頭條，這當然很吸引人眼球。「科學家證明上帝存在，」德國《世界報》上周寫道。

果然不出所料,此處有一個重要的提示要先說明。事實上，研究者們討論證明的是著名的奧地利數學庫爾特·哥德爾所提出的一個原理---真正的新聞不是關於上帝，而是目前使用先進的生產技術可以在科學領域所能實現什麼事情。

當哥德爾1978年去世時,他留給後人一個誘人的理論，這個理論基於模態邏輯的原則（即肯定有一個高級存在）。哥德爾本體論證明所涉及的數學細節是非常複雜的，但他本質上認為並明確表明，沒有比上帝更偉大的存在。雖然我們可以在概念上理解上帝存在，但是如果他實際存在的話我們則會認為他更偉大。因此，他必須存在。

即使是在當時，該論點也不新鮮。幾個世紀以來,許多人試圖利用這種抽象推理來證明上帝的存在的可能性或必要性。但由哥德爾提出的數學模型為這個觀點提供了一條論據，即其原理和公設（不能被證明的假設）可以用數學方程來表示。這就意味著它可以被論證。

用一個蘋果筆記本電腦證明上帝的存在

這就是柏林自由大學的Christoph Benzmüller及其同事，維也納工業大學的Bruno Woltzenlogel Paleo所使用的設備。使用一個普通的蘋果筆記本電腦，他們已經通過更高的模態邏輯表明哥德爾論據是正確的--至少在數學層面上。他們最初在arXiv.org研究論文伺服器上提交的論文題目是：「哥德爾上帝存在論之形式化，機械化和自動化。」

把這種複雜的原理留給計算機進行形式化處理這種方法，開闢了各種各樣的可能性，Benzmülle告訴明鏡在線（德國明鏡出版社下屬論壇）。「這真的很神奇！從哥德爾的論據來看，所有這種問題都可以交給一個標準的筆記本自動證明，可以在幾秒鐘（甚至更少）之內完成，」他說。

對一些人來說，哥德爾這個名字可能意義不大，但是在一些科學家中，他跟愛因斯坦齊名（他與愛因斯坦也是親密的朋友）。1906年哥德爾出生在當時的奧匈帝國--現在捷克布爾諾市。第一版《本體論證明》的資料形成於1941年左右，直到20世紀七十年代早期，哥德爾因害怕自己不久離世，才首次將其公開。

原文連結:

http://www.spiegel.de/international/germany/scientists-use-computer-to-mathematically-prove-goedel-god-theorem-a-928668.html

譯/翻譯

相關焦點

  • 兩名科學家通過計算證明上帝存在
    來自柏林自由大學的科學家Christoph Benzmüller和來自維也納科技大學的Bruno Woltzenlogel通過信息計算驗證了哥德爾不完備性定理。該定理在上世紀末由數學家哥德爾提出，他的結論為在邏輯的準則下存在上帝——哥德爾證明了任何一個形式體系，只要包括了簡單的初等數論描述，而且是一致的，它必定包含某些體系內所允許的方法既不能證明也不能證偽的命題。在二十世紀七十年代末，哥德爾評論到，就定義來說，「不可能存在超越上帝的存在物了」，並通過數學邏輯論據提出了上帝的存在。
  • 上帝存在與自然科學是不是無法共存的
    愛因斯坦是現代歷史上最偉大的科學家之一，其著作《相對論》影響了後來一代又一代的科學家，哪怕是再過100年，甚至是1000年，都沒有人能夠否定愛因斯坦在科學方面做出的貢獻，但許多人或許不理解的是，為什麼如此熱衷於科學研究的大科學家到晚年卻十分信奉神學，並且認為科學最後的一切都是指向神明
  • 美物理學家為中國量子計算機寫了首詩,中國科學家的翻譯絕了
    12月4日，中國科學技術大學潘建偉、陸朝陽等科學家組成的研究團隊構建了76個光子的量子計算原型機（a light-based prototype quantum computer which manipulated 76 photons to do calculations) 。科學家們根據中國古代數學專著《九章算術》將計算機命名為「九章」。
  • 為什麼霍金一直質疑上帝的存在,卻從來沒有說上帝是不存在呢?
    「上帝並不存在」，這是已故英國著名科學家霍金最後遺作中的結論，該書已於美國當地時間周二出版 。霍金的這本遺作名為《對大問題的簡明回答》，在他去世後由其家人及同事完成。霍金在其遺作中揭示了他經常被問到的10個基本問題的答案。這些問題從關於上帝、是否真的有天堂、到外星生活和旅行的可能性等。
  • 為什麼霍金完全否定上帝的存在?他到底發現了什麼?
    引言：雖然在很多人看來，現實中上帝是不存在的，但是他作為一種信仰已經在一些西方宗教裡根深蒂固了，就像中國傳統的道教人物一樣。然而現代的科學家大多數都是無神論者，他們相信一切事物現象都可以用科學來解釋，霍金也是這麼認為的。
  • 貓主子到底是什麼存在?科學家證明是液體,還得諾貝爾獎了?
    文/惜談貓主子到底是什麼存在？科學家證明是液體，還得諾貝爾獎了？拿著手機的這位貓奴同志，心裡肯定懷疑過自家的貓主子到底是什麼神奇的存在吧，它可以以各種直接戳中你內心的萌點的形式安然入睡，但是不怕貓奴吸貓誤事，就怕貓奴有文化呀，法國的一位貓奴科學家就認真研究起了貓主子的形態問題，還運用了一眾理論來證明，貓是液態的，甚至還得到了諾貝爾獎！
  • 他是現代計算機科學的鼻祖,編程界的上帝
    他是歷史上最年輕的圖靈獎獲得者    經典巨著《電腦程式設計的藝術》的作者    寫作排版神器TEX軟體的創造者
  • 科學家們竟然用DNA攻擊了一臺計算機!
    研究人員手裡拿著一個小瓶，你能猜到這裡面其實裝著DNA狀態的惡意電腦程式嗎？這似乎是科學家們第一次用DNA成功地攻擊了計算機軟體程序。研究人員稱將惡意軟體編碼到DNA裡面，計算機分析DNA時就會被控制。
  • 為了證實鬼魂是否存在,美國科學家先後做了3次試驗,得出答案!
    自古以來最讓大家熱議的一個話題，莫過於世界上究竟有沒有靈魂的存在，對於一些無神論者而言，是不相信靈魂存在，他們認為靈魂是人類腦補出來的生物，並沒有直接證據可以指出它是真實存在，對於一些佛教中人來說，他們對靈魂的存在深信不疑。
  • 如果我們用科學手段證明了上帝的存在,那將會如何呢?
    如果問你上帝是否存在？很多會認為上帝不過是信仰宗教的人，想像出來的，是一種精神寄託，大概率是虛構的。但如果問你，我們這個宇宙誕生之前是什麼？宇宙的第一個運動行為究竟是誰推動的？正是因為人類根本無法解釋這些事情，所以就存在了一種可能性。一個高緯度的存在，創造了我們這個宇宙的萬物，而這個高緯度的存在可以稱之為上帝。
  • 人類真的有靈魂存在嗎?有人認為是迷信,科學家卻說有科學依據?
    人類真的有靈魂存在嗎？有人認為是迷信，科學家卻說有科學依據？人們常說在死亡之後，我們的靈魂會從肉體之中跑出來。對於靈魂的存在，東西方也有不一樣的觀點。在我國的原始社會，很多人都認為好人的靈魂會進入天堂，而那些惡靈會下18層地獄永世不得超生。
  • 羅素與耶穌會神父的對話,上帝存在嗎?世界的存在需要理由嗎?
    科普爾斯頓：在打算討論上帝的存在之前，也許還是先就「上帝」一詞的理解達成某種臨時協議的好。假定我們所說的「上帝」是指一個至高無上的人物——以別於世界和世界的創造者。你會同意——至少暫時同意——接受關於「上帝」一詞的含義的這一說法嗎？ 羅素：是的，我接受這個定義。 科普爾斯頓：那麼，我的態度是肯定的，即這樣的人物確實存在，而且也可以從哲學上證明上帝的存在。
  • 科學家證明:鬼魂都是大腦YY的
    瑞士科學家日前在實驗室裡「造鬼」成功，證明有關幽靈的故事，許多都是出自人類想像力的虛構。科學家一直懷疑，「鬼魂」是由人類大腦創造的幻覺。精神疾病患者經常報告稱有「奇怪的存在」，而遭遇極端的身體或精神痛苦的人往往聲稱自己看到過幽靈般的輪廓，或覺得看到了去世的親人。
  • 美國科學家合成新鹼基可體內複製 基因語言多了兩個字母
    生命語言太貧乏——上帝不在乎，我們在乎自然界的遺傳語言只有4個字母，即構成DNA的4種鹼基：A、T、C、G，其中A與T、C與G兩兩配對。此外還有一種鹼基U只出現在RNA裡，取代T在DNA中的角色。（RNA中有D、I等稀有鹼基，但極為罕見）雖然生物豐富多彩，但一切多樣性歸根結底都由兩對鹼基承載。
  • 在電子和原子核之間,還存在什麼物質?科學家給出了答案
    在電子和原子核之間，還存在什麼物質？科學家認為還有希格斯玻色子，希格斯玻色子又被稱為「上帝粒子」，在粒子物理學的標準模型中，基本粒子通過一種由希格斯玻色子構成的「希格斯場」獲得了質量，簡單的講正是因為希格斯玻色子的存在而使物質具有了質量，因此，希格斯玻色子是無處不在的，包括原子內部空間。還有光子，光子是我們大家非常熟悉的物質，光子是傳遞電磁相互作用的基本粒子，當原子處在電磁場中的時候！
  • 眾多科學家為什麼會信神的存在?難道科學的盡頭是神學
    最著名的當屬牛頓，他在談到星球轉動的「第一推動力」時，曾解釋說這是「上帝踢了一腳」、「上帝點燃導火索使宇宙運行」。，即調查300年來的最著名300位的科學家，是否相信神的存在。曾經對科學發展作出過重大貢獻頂尖科學家，幾乎都相信神的存在，更令人震驚的是，諾貝爾獎獲得者中93.27％是信神者。除了人類歷史上這些科學巨匠外，現在世界各國科學家信神者也絕非少數，是什麼原因使這些佼佼者走上了信神之路？
  • 我國科學家研發全球神經元規模最大的類腦計算機,「腦容量...
    3臺1.6米高的標準伺服器機櫃並排而立，紅色的信號燈連續閃爍，這臺名為Darwin Mouse的類腦計算機，由浙江大學聯合之江實驗室共同研製成功。▲Darwin Mouse類腦計算機這是我國第一臺基於自主智慧財產權類腦晶片的類腦計算機，也是目前國際上神經元規模最大的類腦計算機。
  • 大科學家牛頓晚年相信了宗教,那麼科學與宗教的基本區別是什麼
    科學家實際是不信一切事物和現象，對一切都是懷疑的，然後他們開始尋找事物和現象背後的原因。最終證實是各種原因導致了各種事物和現象。西藥就是科學家的產物。他們首先懷疑一切疾病，認為疾病是有原因的，然後他們找到了部分原因，最後研發出了了針對原因的藥物，結果是藥物改變了部分原因，疾病隨之也出現了改變。而且西藥需要經過反覆的臨床驗證。
  • 科學家發現諾亞方舟停靠地 上帝並非只是傳說?
    而多國科學家則表示質疑，稱其為陳詞濫調。相信它存在的人說「科考隊」的工作具有「開創意義」，表示懷疑的人則說這是又一個「騙局」，是讓人習以為常的「陳詞濫調」。是諾亞一家用來圈養動物的。聖經《創世紀》中記載:由於受了毒蛇的誘惑，亞當夏娃偷吃了禁果，被上帝逐出伊甸園。此後，人世間充滿著暴力、仇恨和嫉妒，只有諾亞是個正義的人。上帝看到人類的種種罪惡，決定用洪水毀滅這個敗壞的世界，重造新世界。　　上帝只給諾亞留下有限的生靈，要求他用歌斐木建造方舟，以躲避大洪水。
  • 科學家在2020年的4大發現,與外星人有關,地外生命真的存在嗎?
    許多知名的科學家認為，磷化氫的出現並非偶然，也許就出現了生命。在我們看來，金星的環境非常惡劣，是不可能孕育出生命的，但是磷化氫除了天然形成外，還有一種途徑，那就是生物合成。科學家卻認為金星的大氣層還是比較適宜的，而磷化氫正好出現在大氣層中，這也提高了生命存在的可能性。