こんな風にコンピュータの力技で証明問題を解く例が最近一般化しつつありますが、こういうやり方が本当に数学的証明といえるのかどうかについてはちょっと懐疑的な人たちもいます。

prototechno のブックマーク 2017/01/07 03:48

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/289121744/comment/prototechno" data-user-id="prototechno" data-entry-url="https://b.hatena.ne.jp/entry/s/www.gizmodo.jp/2016/06/200tb.html" data-original-href="https://www.gizmodo.jp/2016/06/200tb.html" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.gizmodo.jp%2F2016%2F06%2F200tb.html" data-user-icon="/users/prototechno/profile.png">史上最大の答え。数学の証明問題、解が200TBに達する</a><br><p style="clear: left">こんな風にコンピュータの力技で証明問題を解く例が最近一般化しつつありますが、こういうやり方が本当に数学的証明といえるのかどうかについてはちょっと懐疑的な人たちもいます。</p><a class="datetime" href="https://b.hatena.ne.jp/prototechno/20170107#bookmark-289121744"><span class="datetime-body">2017/01/07 03:48</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

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

史上最大の答え。数学の証明問題、解が200TBに達する

www.gizmodo.jp2016/06/01

史上最大の答え。数学の証明問題、解が200TBに達する2016.06.01 22:0012,649 福田ミホピタゴラス数って覚えてますか？数学の証明問題、長々とかかるものが解けたときってすごい達成感がありましたよね。ある数...

187 人がブックマーク・42 件のコメント

他のコメントを読む

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

はてなブックマーク

史上最大の答え。数学の証明問題、解が200TBに達する

はてなブックマーク

公式Twitter

はてなのサービス