嗯，而且，主要是哥德尔管不到平面几何。欧几(稍一改造)就是一个基于自身的一致系统……


【 在 MVPRose 的大作中提到: 】
: 没有这个定论，但是第五公设无法证明肯定不是因为哥德尔定理
:
--
修改:molar FROM 111.201.79.*
FROM 111.201.79.*

这里说的“管不到”是指不完备定理管不到。。。
希系统跟欧系统没有特别本质的区别，只是将其更加细致化、严格化。之前平面几何干的事儿，该干啥还干啥。。。


【 在 MVPRose 的大作中提到: 】
: 当然可以管到，吴方法的几何机械化证明一直在做这个事，再不济你也知道解析几何吧，平面几何本质就是代数方程组。。
: 只不过你说的这个“稍一改造”那已经不是传统意义上的欧氏几何了。。
--
FROM 111.201.79.*

这是个常见误解。平面几何不包括PA，不完备定理管不到。且其一致性和完备性也已被证明……


【 在 MVPRose 的大作中提到: 】
: 只要是形式逻辑系统，不完备定理就都可能管到，平几本质也是一种形式逻辑。。
:
--
FROM 111.201.79.*

人生也有涯 而知也无涯。以有涯逐无涯 die已
【 在 alexanderfd 的大作中提到: 】
: 我感觉物理的研究是永远没有尽头的，找到了一个理论的原因，就会问这个原因的原因是什么，如果找到了这个原因的原因，就会又问这个原因的原因的原因是什么，就像寻找无穷小量一样，永远逼近0，可以有无穷多个数小于上一个数，物理的研究也是，对应一个现象的原因，可以再寻找
: 下一层原因，永远没有尽头。就像物质是由原子构成的，原子是由电子质子和中子构成的，质子中子是由夸克构成的，又可以问，夸克是由什么构成的，如果按照弦论是由震动的弦构成的，但这些弦是什么构成的，为什么会震动，什么提供的能量等？还是可以继续细分下去，还是有无穷的
: 慵丁Ｏ衷谌衔柿渴怯上８袼钩〉募し⒉模窍８袼钩∮质怯墒裁垂钩傻模箍梢约绦抡摇
: ...................
--
FROM 221.198.64.*

人家都说没有尽头了，你还凑上去说尽头是哲学玄学
原来你是想说哲学玄学不存在啊，自取其乳
【 在 OKdo 的大作中提到: 】
: 物理的尽头的哲学，是玄学
: 我感觉物理的研究是永远没有尽头的，找到了一个理论的原因，就会问这个原因的原因是什么，如果找到了这个原因的原因，就会又问这个原因的原因的原因是什么，就像寻找无穷小量一样，永远逼近0，可以有无穷多个数小于上一个数，物理的研究也是，对应一个现象的原因，可以再寻找下一层原因，永远没有尽头。就像物质是由原子构成的，原子是由电子质子和中子构成的，质子中子是由夸克构成的，又可以问，夸克是由什么构成的，如果按照弦论是由震动的弦构成的，但这些弦是什么构成的，为什么会震动，什么提供的能量等？还是可以继续细分下去，还是有无穷的层级。现在认为质量是由希格斯场的激发产生的，但是希格斯场又是由什么构成的，还可以继续往下找。
--
FROM 119.119.141.*