”コンピュータを使って証明をチェックする際には問題を引き起こす。コンピュータプログラムは厳密で正確な指示を必要とするためである。”

hiroomi のブックマーク 2024/06/10 16:04

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/4754692099947232576/comment/hiroomi" data-user-id="hiroomi" data-entry-url="https://b.hatena.ne.jp/entry/s/www.itmedia.co.jp/news/articles/2406/10/news058.html" data-original-href="https://www.itmedia.co.jp/news/articles/2406/10/news058.html" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.itmedia.co.jp%2Fnews%2Farticles%2F2406%2F10%2Fnews058.html" data-user-icon="/users/hiroomi/profile.png">数学の「＝」（等しい）とはどういうことか？　英ICL教授が発表　「コンピュータの登場で定義が曖昧に」</a><br><p style="clear: left">”コンピュータを使って証明をチェックする際には問題を引き起こす。コンピュータプログラムは厳密で正確な指示を必要とするためである。”</p><a class="datetime" href="https://b.hatena.ne.jp/hiroomi/20240610#bookmark-4754692099947232576"><span class="datetime-body">2024/06/10 16:04</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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