复杂性屏障：我们能证明多复杂？
2025-04-22
本文探讨了计算复杂性的极限。数学家发现存在一个“复杂性屏障”：我们无法证明任何特定比特串的复杂度超过该屏障。令人惊讶的是，这个屏障出奇地低，可能只有几千字节。文章还介绍了Kritchman-Raz对哥德尔第二不完备定理的证明，以及在非标准算术模型中计算不可计算函数的可能性，引发了对标准自然数概念的哲学思考。
阅读更多
杂项
非标准模型