看瞭半本瞭,還沒講到正經的呢,全是相關曆史的介紹
評分1938年到美國普林斯頓高等研究院任職,1948年加入美國籍。1953年成為該所教授。哥德爾發展瞭馮·諾伊曼和伯奈斯等人的工作,其主要貢獻在邏輯學和數學基礎方麵。在20世紀初,他證明瞭形式數論(即算術邏輯)係統的「不完全性定理」:即使把初等數論形式化之後,在這個形式的演繹係統中也總可以找齣一個閤理的命題來,在該係統中既無法證明它為真,也無法證明它為假。這一著名結果發錶在1931年的論文中。他還緻力於連續統假設的研究,在1930年采用一種不同的方法得到瞭選擇公理的相容性證明。3年以後又證明瞭(廣義)連續統假設的相容性定理,並於1940年發錶。他的工作對公理集閤論有重要影響,而且直接導緻瞭集閤和序數上的遞歸論的産生。
評分看著還不錯的書,挺有意思的
評分讀書使人進步,知識讓人充實。永遠不要低估一顆上進心!
評分哥德爾活著的時候還證明瞭上帝的存在,但從未發錶。這個證明,我也沒有看到過,但我由此揣測與他對不完備性定理的理解是一緻的,有一些直覺真理超齣形式邏輯之外。
評分篇幅不長,很適閤閱讀,喜歡。
評分將哥德爾對其定理的理解用在物理學上,我們不免得齣一個結論,宇宙中存在無法證明的真理。
評分在普林斯頓時,哥德爾和愛因斯坦成瞭很好的朋友。後人常將他們比較。哥德爾和愛因斯坦都在自己的範疇有極為重大的貢獻,很聰明,有好奇心,直率。但愛因斯坦性格開朗外嚮,這點和哥德爾大相逕庭。愛因斯坦的死對哥德爾的情緒有很大打擊
評分長度在5-200個字之間 填寫您對此商品的使用心得,例如該商品或某功能為您帶來的幫助,或使用過程中遇到的問題等。最多可輸入200字
本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度,google,bing,sogou 等
© 2025 book.tinynews.org All Rights Reserved. 静思书屋 版权所有