2014-10-04から1日間の記事一覧

コードが正しいことは証明できない

不完全性定理や停止性問題に通じる話だと思う.(不完全性と決定不可能性の関係はいまいちよく分かっていない) その証明が正しいことを証明しろと言われてもできるわけない.説明はできるが,証明はできない.内容見て正しいか判断するしかない.見る人が正…