数学的根本漏洞

[YouHi]

震惊了。

[forecasting]

震惊了。

1931年就发表的东西，是朔雪的根本漏洞吗？这解释者想当然，还是看Godel怎么解释吧：数学的形式化不可能捕获所有的真。

[苍井吱]

狗逗儿sub(n, n, 17)

[牛河梁]

所谓的科学并不存在。都是信仰，宗教。

[tfusion]

其实就是说人不可能发现所有真理。甚至不能发现所有公理。通用人工智能永远不可能。