本人数学基础不强,但是对数学计算机和逻辑等领域都比较感兴趣。向学数学的同学请教过哥德尔不完备定理,…

但库尔特·哥德尔并没有这么做。他是 20 世纪伟大的逻辑学家,在历史上与亚里士多德齐名。他的著述在意大利被编纂为《哥德尔集》,由博拉蒂·博林吉耶里(Bollati Bo

说起库尔特·哥德尔,他并不如爱因斯坦那般被大众认知,但他也同样来头不小。作为树立了现代逻辑的里程碑,又数次证明了数学中的基础性难题。不知道他

爱因斯坦和哥德尔,是当年在普林斯顿高等研究院里经常一块儿散步的一对忘年交。那是在爱因斯坦去世前的十几年,从1940年,哥德尔正式受聘到普林斯顿高 ,科学网