庫爾特·哥德爾（1906—1978），美籍奧地利數學家、邏輯學家和哲學家，其最傑出的貢獻是哥德爾不完備性定理和連續統假設的相對協調性證明。
在定居美國新澤西州的普林斯頓小鎮後，哥德爾和愛因斯坦成了好朋友。他經常和愛因斯坦一起上下班和散步。後人常將他們進行比較。他們都很聰明，有強烈的好奇心，在所從事的領域幾乎獨佔鰲頭。但愛因斯坦性格開朗外向，哥德爾則相對而言謹慎內斂。
哥德爾與妻子
那麼，哥德爾不完備性定理是什麼呢？哥德爾定理揭示了這樣一個問題：整個數學不可能井然有序地安置在任何公理系統上，每一個數學系統，不管它多麼複雜，總包含著不能消除的悖論，就像羅素用來推翻弗格雷系統的那種悖論一樣。
德國數學家康託對無窮集合的演算表明邏輯的證明和方法可以超越直觀，哥德爾卻向人們表明：可證明和正確是不相同的，直觀上的正確會超越邏輯和數學上的證明。
這一點的含意是很深刻的。哥德爾不完備性定理一舉粉碎了數學家兩千年的信念。它告訴我們，真與可證是兩個概念，可證的一定是真的，但真的不一定可證。某種意義上，悖論的陰影將永遠伴隨著我們。這一理論使數學基礎研究發生了劃時代的變化，更是現代邏輯史上很重要的一座里程碑。哥德爾不完備性定理也可能幫助我們理解其他文明成果的特質。
不完備性定理的影響遠遠超出了數學的範圍，它不僅使數學、邏輯學發生革命性的變化，引出了許多富有挑戰性的問題。它的影響是如此之廣泛，哥德爾被認為是20世紀最偉大的邏輯學家。
分享到:
閱讀更多 科學家也是人 的文章
