1938年到美國普林斯頓高等研究院任職,1948年加入美國籍。1953年成為該所教授。哥德爾發展瞭馮·諾伊曼和伯奈斯等人的工作,其主要貢獻在邏輯學和數學基礎方麵。在20世紀初,他證明瞭形式數論(即算術邏輯)係統的「不完全性定理」:即使把初等數論形式化之後,在這個形式的演繹係統中也總可以找齣一個閤理的命題來,在該係統中既無法證明它為真,也無法證明它為假。這一著名結果發錶在1931年的論文中。他還緻力於連續統假設的研究,在1930年采用一種不同的方法得到瞭選擇公理的相容性證明。3年以後又證明瞭(廣義)連續統假設的相容性定理,並於1940年發錶。他的工作對公理集閤論有重要影響,而且直接導緻瞭集閤和序數上的遞歸論的産生。
評分力投放在哲學上,並參加哲學小組活動。1930年獲博士學位。其博士論文證明瞭「狹謂詞演算的有效公式皆可證」。之後在維也納大學工作。
評分他亦討厭旅行。
評分 評分這是兩種完全不同的天纔。愛因斯坦建立體係,典型的是相對論;哥德爾推翻體係,他的不完備性定理告訴我們,任何一個數學公理係統中總存在至少一個在該係統中無法判定的命題:我們既不能在有限的步驟內證明其真也不能在有限的步驟內證明其僞,這就打破瞭以希爾伯特為代錶的公理化一切的學派的夢想。這個學派不僅想公理化一切數學分支,甚至還想公理化物理——於是就公理化瞭宇宙的運行規律。
評分他亦討厭旅行。
評分經典教材,經典圖書,建議購買
評分讀書使人進步,知識讓人充實。永遠不要低估一顆上進心!
評分哥德爾活著的時候還證明瞭上帝的存在,但從未發錶。這個證明,我也沒有看到過,但我由此揣測與他對不完備性定理的理解是一緻的,有一些直覺真理超齣形式邏輯之外。
本站所有內容均為互聯網搜尋引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度,google,bing,sogou 等
© 2025 book.qciss.net All Rights Reserved. 圖書大百科 版權所有