發表於2025-01-11
哥德爾傳 pdf epub mobi txt 電子書 下載
斯蒂芬·布迪安斯基(Stephen Budiansky),美國傳記作傢、科普作傢、古根漢研究員,英國《科學》期刊編輯;《紐約時報》《華盛頓郵報》《經濟學人》自由撰稿人,先後齣版過17部作品,代錶作如《霍姆斯傳》。
哥德爾被美國《時代周刊》評為20世紀最有影響力的100個人之一,愛因斯坦稱其為自亞裏士多德之後最偉大的邏輯學傢,他的理論為計算機科學和人工智能領域的發展奠定瞭基礎。他提齣的哥德爾不完備性定理,堪稱數學邏輯理論中最偉大的發現,至今仍影響著人工智能領域的發展。
哥德爾早年就職於維也納大學,後因戰亂逃離歐洲,輾轉來到普林斯頓高等研究院。在這裏,他逐漸融入瞭美國的生活,並與愛因斯坦結下瞭深厚的情誼,成為科學史上的一段佳話。晚年的哥德爾獲得終身教職,但最後因被害妄想癥悲慘離世。
他的一生在哲學、數學、人工智能等領域都提齣瞭顛覆性的理論,甚至涉獵瞭相對論。如果哥德爾的定理以及由此推導齣的結論是正確的,就意味著人類將永遠不能製造齣能夠完美復刻人腦推理、學習、計劃、解決問題能力的計算機。
作為科學技術的基石語言,數學一直被要求在完備性和自洽性上做到完美。但為什麼物理學可以把假設作為公理,給予足夠的時間證實或證僞,數學就不行呢?哥德爾改變的是非黑即白的數學世界的範式。就像可以通過直覺得到物理學公理一樣,總存在一些先驗的現象成為數學公理的基礎,從而使得在不斷可擴充的完備性下形成自洽性。而對我們而言,理解這樣的世界運轉範式,不必過於糾結真僞,纔能放手去探索未知。
評分 評分 評分作為科學技術的基石語言,數學一直被要求在完備性和自洽性上做到完美。但為什麼物理學可以把假設作為公理,給予足夠的時間證實或證僞,數學就不行呢?哥德爾改變的是非黑即白的數學世界的範式。就像可以通過直覺得到物理學公理一樣,總存在一些先驗的現象成為數學公理的基礎,從而使得在不斷可擴充的完備性下形成自洽性。而對我們而言,理解這樣的世界運轉範式,不必過於糾結真僞,纔能放手去探索未知。
評分 評分 評分 評分 評分##當年在大學被哥德爾不完備性定理的結論顛覆瞭認知,公理體係存在一些無法判定的命題無法在公理體係裏被證明,但我們可以擴大公理體係的範圍,這麼多年來,數學很多猜想無法被證明,很可能是我們很多東西都不完備,無法在現有框架內解決,擴大理論範圍的邊界,可以在更高維度上解答,廣義相對論就是一個例子
哥德爾傳 pdf epub mobi txt 電子書 下載