科學家利用數學計算證明神真的存在!

Comment is Closed

在科學家證明了一位數學家的理論後,他們似乎證明了神的存在。這個理論提出了一個「上帝」的存在。

根據兩位科學家的說法,在他們證實了複雜的數學方程式後,他們已經一勞永逸地證明了一個神聖力量的存在。

在大約 1941 年時,數學家 Kurt Gödel 創造了一個又長又複雜的理論,建立在模態邏輯( MODAL LOGIC )上,這個理論叫哥德爾本體論證明( Gödel’s ontological proof )。

此理論預設了正面和負面的屬性,並且證明了一個必需的存在,這個存在運用於所有正面屬性,不用於負面屬性。 Kurt Gödel 的理論建立在非常複雜的數學方程式上,但是歷史上許多事物都建立在更古老的「 模型 」上。哥德爾本體論證明是坎特伯雷大主教聖安瑟倫( St. Anselm of Canterbury,1033-1109 )的關於上帝存在的本體論證明( ontological argument )的現代版本。聖安瑟倫是本篤會( Benedictine)僧侶,他從 1093 年開始一直到他去世擔任坎特伯雷大主教。

他的理論總結如下:「 定義上,神是我們所能想像得到的最偉大存有。如果這樣的存有不存在,意即更偉大的存有是無法被想像的,如果這樣的存有存在,那麼更偉大的存有是可以被想像的。但是這會不合理: 沒有存有可以比無法被想像的更偉大存有更偉大。所以比不偉大偉大的存有是可以被想像的,意即神存在。 」

推薦文章:  科學家終於找到像是恐龍般的活「巨型蛀船蟲」!

這個理論的本質是,沒有比神更偉大的力量能被想像,如果他 / 她被相信是一個概念,那麼他 / 她就存在於現實。

許多論證,例如上述所寫的,是建立在指定「 神 」的概念是極大性上。 Kurt Gödel 的論證,在另一方面,試圖用短小的論述,如此一來它就聚焦在正面屬性的「 本質 」上,正面屬性象徵的就是「 神 」。

1990 年 Anderson 對 Kurt Gödel 的本體論論證的說明:

定義 1: x 是「 像神特性 」,若且唯若 x 的本質僅為正屬性。

定義 2: A 是 x 的本質,若且唯若所有屬性 B , x 一定有 B,若且唯若 A 需要 B。

推薦文章:  「基督意識」是我們能夠與耶穌有同樣能力的原因!

定義 3: x 必須存在,若且唯若所有 x 的本質是必須例證。

公理 1: 如果一個屬性為正,那它的否定不為正。

公理 2: 任何被需要的屬性,意即被完全默許:一個正屬性是正屬性。

公理 3: 像神的屬性是正屬性。

公理 4: 如果一個屬性為正,那它一定是正屬性。

公理 5: 必需的存在是正屬性。

公理 6: 對任何屬性 P,如果 P 是正屬性,那 P 一定是正屬性。

定理 1: 如果一個屬性為正,那它是一致的,意即可能例證。

推薦文章:  數學一大突破: 發現新質數,而且長度有930萬個位數!

系理 1:像神的屬性是一致的。

定理 2: 如果某物是像神的,那像神的屬性是那個某物的本質。

定理 3: 像神的屬性必須是例證。

兩位計算機科學家或許已經證明了如此複雜的方程式,頌歌一定會響起,神是真的。

那兩位計算機科學家表示,他們並不打算嘗試直接證明,或是反駁神的存在,而只是想展現他們電腦的威力。說到明鏡在線( Spiegel Online ),來自柏林自由大學的 Christoph Benzmüller ,與維也納技術大學的 Bruno Woltzenlogel Paleo 一起演算了這個算式。他說:「 這實在太驚人了, Kurt Gödel 的論證可以在幾秒內自動證明出來,如果用標準筆電所需的時間可以更短。我不知道這會引起這麼大的公眾興趣,但是哥德爾本體論證明絕對是一個比較好的例子,比那些用數學或人工智慧都難接以接近的好多了。 它非常的簡短、爽快,因為我們只需在一個短小的定理裡和六個公理打交道。或許會有其他事物使用相似的邏輯。」

最終,哥德爾本體論證明的形式體系化似乎沒有贏得無神論者的心,似乎也不能安慰真正的信者們。

來源: ancientcode