6 comments on “哥德爾與耶和華:『不必證明』跟『不能證明』的差別

  1. 哥德爾已經指出人間邏輯系統之不完備性與有限性,但這又導致後現代主義藉題發揮,質疑基礎主義之合法性,否認<br />
    回歸到啟示之絕對權威;然而建基於神絕對主權啟示的神聖三一邏輯,深知人間邏輯之受造性與依附性,因此可為哥<br />
    德爾理論所質疑的人間邏輯之基礎,提供了另一天窗。<br />
    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^<br />
    人的邏輯系統是不完備的,所以神給的三一邏輯才是對的…<br />
    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^<br />
    這段是說由范泰爾思想可看出:建立於啟示的神聖三一邏輯,三與一同時並存;因此受造界(物質界與生命界)的統<br />
    一性與多元性、單一性與複雜性也是同時並存。<br />
    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^<br />
    三一並存->物質的單一跟多元、複雜並存<br />
    所以…根據這個邏輯,一神跟多神也是並存的啊…<br />
    還真是開了一道天窗啊…<br />
    ^^^^^^^^^^^^^^^^^^^^^^^^^^^<br />
    反之,進化論卻認為宇宙天體與生命現象,如基本粒子、星球、氨基酸、細胞等的演化,都是源自單一性而漸漸發展<br />
    為複雜性,當代的有神智慧設計論(Intelligent Design),提出由訊息理論所導出的不可化約之複雜性<br />
    (irreducible complexity),正表明複雜性並非由單一性演化而來,恰恰點出進化論其問題之所在。<br />
    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^<br />
    看到這裡真的完全迷糊了,誰來幫忙解釋一下…這個複雜性的不可化約,那三一並存的一跑去哪裡了?怎麼只<br />
    剩三了?<br />
    <br />

  2. 本來不想回的說…..<br />
    <br />
    1.哥德爾定理針對的是「足夠強的算數形式化系統」<br />
    對於非上述的公理系統當然有可能同時是「完備」和「一致」的<br />
    例如歐式幾何的形式化版、非歐式幾何、實數系公理都是完備且一致的<br />
    (所以不知道扯上帝進來幹啥?)<br />
    <br />
    2.即使是一個適用不完備定理的形式化系統,要宣稱某個東西是不可證,你必須證明他不可<br />
    證。(所以請先證明神是不可證)<br />
    題外話,雖然哥德爾不信基督教,不過他認為邏輯上的神是可證的。<br />
    <br />
    3.即使命題在某公理系統內不可證,仍然可能在「跳出」系統或是給定更強的前提時成真。<br />
    已經有很多人在各種前提下證明或否證神的存在。<br />
    <br />
    4.因為有哥德爾不完備定理,所以可以大跳躍直接相信什麼「三一神聖邏輯」?那佛教徒也<br />
    可以直接要大家用「禪宗邏輯」來思考事情囉<br />
    <br />
    用一堆哲學術語就可以唬爛了<br />

  3. 信仰不需要科學背書,不過很多信徒不能理解這點。<br />
    <br />
    希伯來書:信是所望之事的根據,是未見之事的實底。(如果我沒記錯的<br />
    話應該長這樣)<br />
    <br />
    在進修釋經講道的時候,裡面提到一個要點就是:要讓信徒相信你說的是<br />
    「真的」。不否認很多人喜歡拿偽科學來天花亂墜,不過這也是基督教讓<br />
    人賭爛的原因啦……。<br />
    <br />
    至於你問「難道看到上帝的人都是完全人」這點,以信仰的觀點而言我們<br />
    會認為:這裡面有聖靈運作在其中,不過人還是受限於語言限制無法將<br />
    「完全」的道表達,大抵上就是如此。

  4. 版主的批判精神令人敬佩,但對哥德爾不完備定理的說明還不夠完整清楚。第一定理是說,"足夠強"(包含一階算數)的系統中,一定存在不可判定命題(不能證實或否證)。第二定理是,該系統的一致性(是否無矛盾)不可在系統內證明,亦即必須訴諸系統外的知識。希望這幾句話對讀者有幫助。

  5. 版主的批判精神令人敬佩,但對哥德爾不完備定理的說明還不夠完整清楚。第一定理是說,"足夠強"(包含一階算數)的系統中,一定存在不可判定命題(不能證實或否證)。第二定理是,該系統的一致性(是否無矛盾)不可在系統內證明,亦即必須訴諸系統外的知識。希望這幾句話對讀者有幫助。

發表迴響

你的電子郵件位址並不會被公開。 必要欄位標記為 *