nowokay https://blog.hatena.ne.jp/nowokay/ きしだのHatena https://nowokay.hatenablog.com/ ソフトウェア 読むのが面倒な人は、最後の行だけ読んでください。 ゲーデルの不完全性定理によって、完全な開発プロセスを定義することはできないと何回か書いてます。 ゲーデルの不完全性定理というのは、要するに「数学が矛盾していないことを証明できない」という定理です。 不完全性定理は数学的な説明を読むと難しいのですが、プログラム的な説明を見るとそこまで難しくありません。 プログラムの完全性を検証するプログラムは、もとのプログラムより少し長くなるので、すべてのプログラムの完全性を検証するプログラムを書くことはできない、という感じです。 不完全性定理は無限論の教室 (講談社現代新書)がわかりやすいです。 ただ、ゲーデル… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fnowokay.hatenablog.com%2Fentry%2F20050629%2F1120028784" title="開発プロセスと不完全性定理と人間の力 - きしだのHatena" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2005-06-29 16:06:24 rich https://nowokay.hatenablog.com/entry/20050629/1120028784 1.0 100%