定理証明では公理が正しい事を証明できないから？

qtamaki のブックマーク 2021/03/25 12:59

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4700270970604995458/comment/qtamaki" data-user-id="qtamaki" data-entry-url="https://b.hatena.ne.jp/entry/s/qiita.com/autotaker1984/items/52cd65486a3186af080b" data-original-href="https://qiita.com/autotaker1984/items/52cd65486a3186af080b" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fqiita.com%2Fautotaker1984%2Fitems%2F52cd65486a3186af080b" data-user-icon="/users/qtamaki/profile.png">形式手法はなぜ流行っていないのか - Qiita</a><br><p style="clear: left">定理証明では公理が正しい事を証明できないから？</p><a class="datetime" href="https://b.hatena.ne.jp/qtamaki/20210325#bookmark-4700270970604995458"><span class="datetime-body">2021/03/25 12:59</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

形式手法はなぜ流行っていないのか - Qiita

qiita.com/autotaker19842021/03/25

はじめにみなさん形式手法をご存知でしょうか？名前くらいは聞いたことあるけどいまいち何かわからないという方が多いのではないでしょうか。その通りです。形式手法はアカデミアではそれなりに研究されている...

264 人がブックマーク・34 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

形式手法はなぜ流行っていないのか - Qiita

はてなブックマーク

公式Twitter

はてなのサービス