複雑さの壁：どれほど複雑なものを証明できるか？
2025-04-22
この記事は、計算複雑さの限界を探求しています。数学者たちは「複雑さの壁」を発見しました。つまり、特定のビット列の複雑さがこの壁を超えることを証明することはできないということです。驚くべきことに、この壁は非常に低く、数キロバイト程度かもしれません。この記事では、ゲーデルの第二不完全性定理に関するクリッチマン＝ラズの証明、および非標準算術モデルにおける非計算可能関数の計算可能性についても取り上げ、標準的な自然数の概念に関する哲学的な考察につながっています。
続きを読む
その他
非標準モデル