600000007

プログラムと折り紙のブログです。

定理証明支援

プログラマーは定理証明支援系を勉強すべきか?

定理証明支援って何? 最近、定理証明支援に関連するニュースがいくつか飛び込んできました。あるときはOpenSSLのバグを見つけ、あるときは数学の問題を解決しています。 それらに共通する定理証明支援とは何かを簡単に説明します。定理証明支援の「定理」「…