他并不认为形而上学无意义,哥德尔是一个柏拉图主义者,也就是说,他认为句子的意义不能仅仅取决于人的感觉经验,还应该存在一个超越人感觉经验的类似柏拉图的理念世界——至少在数学上是如此。实证主义者认为数学陈述如“1+1=2”是无意义的,它们为 ...
众所周知,虽然Solomon Feferman等人编辑的哥德尔《文集》已经出版了4卷,但哥德尔大量的思想,尤其是哲学思想,至今还隐藏在书信和私人淡话中。 王浩这本书的一个目的是整理他在70年代与哥德尔的谈话,连贯一致地报道和解释哥德尔的哲学观点,另一个目的 ...
2020年4月24日 · 哥德尔不完备定理是针对基于欧氏几何原理的数学的公理系统描述,哥德尔不完备定理的前提是欧氏几何被预先设定普遍成立的前提下的结论。 如果欧氏几何的普遍正确性被否定,哥德尔不完备定理的适用范围可能受到局限。
比如王浩说,哥德尔连初始概念都定不下来。 我20岁出头就反复阅读过王浩写的《对哥德尔的反思》(这是直译,中译本是《哥德尔》)。 王浩不认同哥德尔搞哲学的方法,他自己的方法是“抓大事实”的Substantial Factualism。
知乎,中文互联网高质量的问答社区和创作者聚集的原创内容平台,于 2011 年 1 月正式上线,以「让人们更好的分享知识、经验和见解,找到自己的解答」为品牌使命。知乎凭借认真、专业、友善的社区氛围、独特的产品机制以及结构化和易获得的优质内容,聚集了中文互联网科技、商业、 …
而哥德尔的工作就是证明了存在一个命题,它是独立于皮亚诺公理系统PA的,也就是说,既不能证明也不能否证。更具体地说,他构造了一个命题p,这个命题p等价于“p在PA中不可证”。
哥德尔的母亲一家由莱茵河地区到布尔诺从事纺织工业,她曾在布尔诺一所法语学校读书,受过较好的教育,她终生对文化事 业保持兴趣,她生育了哥德尔兄弟二人,哥德尔的哥哥比他大四岁,后来成了一位放射学家.。
完全性是末位要求这一点没说错。第一不完全定理表明人造的形式系统无法完全刻画整个数学,哥德尔据此认为这一定理佐证了数学柏拉图主义,即数学并非人的发明或心灵的创造,而是存在一个实在的数学世界,如同物理学家的工作是发现现实世界的规律,数学家的工作是发现这个实在的数 …
8.1 哥德尔的概念实在论 哥德尔的实在论一般被称作概念实在论。这不是说他不承认集合等数学对象作为 对象 存在,而是说他强调,数学概念,如「集合」这个概念,是客观的、独立于心灵的,而且我们是通过认识概念来认识数学公理,如集合论的公理。
2017年8月2日 · 计算机是可以证明哥德尔不完备定理的,Lawrence C. Paulson就用Isabelle这个软件证明了哥德尔不完备定理[10]。 虽然目前计算机只能处理形式化的数学,但是你可以先形式化一些基础的结论,然后把其他数学理论在这个形式系统里再形式化一遍,最后证明这些形式 ...