数学是这样的:从一套公理体系出发,经过严密的逻辑推理就能得到所有的结果,中间无需再临时引入新假设与补丁,以不必中间用另一套现实的事实来验证结果。
目前物理学是这样的:可以从一套假设出发,经过严密的逻辑推理得到一些结果,但往往中间需要不断地回到现实,用现实的观测事实来校正之前假设以及推理。现代物理学的特点往往假设其实不必非常“正确”,推理有时也不必非常严密,因为中间会不断地回到经验进行校正。而且,好的物理理论往往是要求假设要在严格与不严格之间取得平衡,以便使得后面的推理能进行下去,且能得到有意义的预测。
但未来的确存在一种可能性:从一套基础足够牢靠哲学公理假设出发,完全依靠数学推理,推出整个完整的物理学,中间无需再回到经验进行校准。经验仍可用于检验最终理论与现实的对应,但不再是推演过程中反复调整前提的必要环节。
这种做法在以前是完全行不通的,因为这种构建将无比宏大,它在逻辑推演上要走很长很长的路才能得到当代物理学一些很普通的结论。但从现在开始,这种做法可能真能实现,因为有了AI的帮助,它可以无休止的帮我们推演,帮我们纠正其的中错误,最终构建一个宏大的物理学体系。

评论列表