数学の完全性への挑戦

数学の完全性への挑戦は、すべての真理を一つの形式体系の内部で決着させられるかという問題である。完全性は「真である命題を証明できる」ことを指し、無矛盾性・決定可能性・現実への適合とは異なる。

仕組みと確認

対象の意味論と形式体系を固定し、健全性と完全性を別々に検討する。ゲーデルの完全性定理が述べる一階論理の意味論と、算術を含む体系に関する不完全性定理を混同しない。

ソフトウェア工学との接続

仕様の全性質を一度に証明しようとせず、安全性・整合性・到達可能性など検証可能な性質へ分解する。残る仮定と未知の領域は、テスト、監視、レビュー、段階的なリリースで補う。

限界と注意点

「完全な仕様」や「完全なテスト」という言葉は対象範囲を伴わなければ意味が曖昧である。何を網羅し、何を保証せず、どの証拠で判断を更新するかを明示する。