- 主题:我感觉物理的研究是永远没有尽头的
以现有物理学(或者说科学)的发展路数而言，其追求的终极目标是用一套理论/一组方程逻辑自洽的去定量解释所有的已知现象。
在这个意义上，逻辑上物理学/科学是可以有尽头的，只要发现了上面那个理论/方程就是了，直到发现新现象为止，而逻辑上的确也是有可能从此再无新现象被发现的。
【 在 alexanderfd 的大作中提到: 】
我感觉物理的研究是永远没有尽头的，找到了一个理论的原因，就会问这个原因的原因是什么，如果找到了这个原因的原因，就会又问这个原因的原因的原因是什么，就像寻找无穷小量一样，永远逼近0，可以有无穷多个数小于上一个数，物理的研究也是，对应一个现象的原因，可以再寻找下一层原因，永远没有尽头。就像物质是由原子构成的，原子是由电子质子和中子构成的，质子中子是由夸克构成的，又可以问，夸克是由什么构成的，如果按照弦论是由震动的弦构成的，但这些弦是什么构成的，为什么会震动，什么提供的能量等？还是可以继续细分下去，还是有无穷的层级。现在认为质量是由希格斯场的激发产生的，但是希格斯场又是由什么构成的，还可以继续往下找。
--
修改:molar FROM 111.201.79.*
FROM 111.201.79.*
这个倒没有。现有技术下可以做，但是还没有做的实验还是很多的。包括现有仪器就能做而没有做的；或者是人类有能力造某个仪器做新的实验，而目前还没有做的。。。
前面那贴纯粹只是在说一种逻辑上的可能性，现在离那种情况还很远。。。
【 在 MVPRose 的大作中提到: 】
: 是不是现有的技术条件下所有能做的物理实验已经都做完了？已经不可能再人为发现新现象了？除非制造赤道环线那么大的加速器？
--
修改:molar FROM 111.201.79.*
FROM 223.104.39.*
最典型的，比如王贻芳心心念念的CEPC。人类现有的工程能力，显然是可以造的。
再就是凝聚态领域的各种材料。比如超导方向，号称“炼丹”，各种各样的方向，远远没有尝试完。
【 在 MVPRose 的大作中提到: 】
: 比如？
: 有什么新现象可以发现？
: 能否产生新的物理理论？?
: ...................
--
FROM 111.201.79.*
理论的话，早年的普通超导有BCS理论，后面的高温超导就没有啥成熟理论了。大家总体上都是“撞大运”。所以有各种梗嘛，什么往红酒里面泡一泡，把屁压一压什么的。不过现在有一些相对成熟的大方向，比如现在一般认为高压之下，往往能得到较高的临界温度，诸如此类吧。
另外，还有一个小问题，在物理里面，还是慎用“第一性原理”这词儿吧。凝聚态物理本身的物理学意义的“第一性原理”是类似量子力学这种。量子力学的理论自然是成熟的。不过用这个来重头算超导问题，难度比较大。
“第一性原理”这词儿，本身就是从物理学（及这个方向背后哲学领域）借到商业领域的，意思已经发生了改变，这里再借回来用，就有那么点儿尴尬了。。。
【 在 MVPRose 的大作中提到: 】
: 就超导材料这个，难道没有成熟的第一性原理指导吗？就靠纯蒙？用的跟大自然一样的原始方式啊，碰个几亿年碰出点东西来
:
--
修改:molar FROM 111.201.79.*
FROM 111.201.79.*
【 在 MVPRose 的大作中提到: 】
: 我不是这个专业的，所以有的用词没那么规范，明白我的意思就行。
这里就是说，讨论上面这一类问题时，类似这种概念会高频出现，所以其确切含义需要厘清。不然很容易陷入各说各话的陷阱而无所获。。。
: 那算这个超导的难点在哪呢？数值计算软件算力不够？
从头算（ab initio）一个量子多体系统，如果是从分子甚至电子层面去计算，计算量肯定是极大的。不管是数值还是解析。
往上一两个层次，用密度泛函或者一些非线性薛定谔方程，计算量也不小，不过人力尚可为。。。
--
FROM 111.201.79.*
首先，哥德尔说的是含皮亚诺的系统不能证明自身的自洽性，但是它并不禁止从一个“更大”的系统出发，证明一个子系统的自洽性。比如皮亚诺不能证皮亚诺，但是zfc可以……
当然，其实俺还真是挺想看看，在真是物理世界中，一个很“物理”的哥德尔命题是个啥样儿。之前见过一个文章说类似的事儿，不过比较模糊。
最后，霍金这话的出处能找到么？想去看看他的原话是咋说的。
【 在 semipunk 的大作中提到: 】
: 我记得霍金的一次关于膜宇宙演讲里提过，哥德尔定理决定了宇宙永远不可能被物理完美解释，不过从好的方面看，物理学家永远有事情可做
--
FROM 111.201.79.*
啊对。俺说的也是不完备定理。
【 在 annals 的大作中提到: 】
: 我猜他想说的是不完备定理
:
--
FROM 111.201.79.*
“更大的系统”是已经被证明有用的。
“表达能力太强”是个啥意思？
【 在 annals 的大作中提到: 】
: 不完备的话更大的体系是没用的,本质原因是皮亚诺公理系统表达能力太强了
:
--
FROM 111.201.79.*
俺说的是“无法证明自身的自洽性”，这个就是第二定理。
【 在 annals 的大作中提到: 】
: 我感觉你把不完备定理和无法在系统内部证明自洽性这两个事情搞混了
: 以及看起来你也不太了解不完备定理的证明方法
:
--
FROM 111.201.79.*
这链接看不了了。可以发截图……
【 在 semipunk 的大作中提到: 】
: ~~~上次未发表的内容~~~
: ~~~上次未发表的内容~~~
: ~~~上次未发表的内容~~~
: ...................
--
修改:molar FROM 111.201.79.*
FROM 111.201.79.*