哥德巴赫猜想解决了吗？揭示数学的基本极限( 三 ) _生活百科

1931年哥德尔著名的不完全性定理证明，任何一组基本公理，只要能作为数学的逻辑基础，都注定会有两种命运，【即要么公理将不一致，导致矛盾（比如证明0 = 1），或者他们会不完整，无法证明一些真实陈述数据（如2 + 2 = 4）】，支撑几乎所有的现代数学的公理系统。被称为ZF集合理论，有它自己的哥德尔边界。

文章插图
2016年，研究生亚当·耶迪迪亚和他的导师设计了一个7910条规则的图灵机，只有在ZF集合理论不一致的情况下，图灵机才会停止。这意味着BB(7910)是一个避开了ZF集合理论公理的计算。这些公理不能用来证明BB(7910)代表的是一个数而不是另一个数，就像不能证明2 + 2 = 4而不是5一样。
随后，瑞娅尔设计了一个更简单的748规则机器，如果ZF不一致，它就会停止——实质上是将不可知阈值从BB(7,910)移近到BB(748) 。俄亥俄州立大学的数学逻辑学家、名誉教授哈维?弗里德曼表示：“数量并非完全荒谬，这是一件引人注目的事情。”弗里德曼认为，这个数字还可以进一步降低。无论远近，这种不可知的阈值确实存在。