サクサク読めて、アプリ限定の機能も多数!
コンピュータに数学的定理にバグがないかチェックさせる、ということか ただ、そのチェックロジックにバグがないことは証明できないという皮肉
WhatAmILookingFor のブックマーク 2013/04/10 15:25
「数学の研究にコンピューターを用いるべきか?」:学会を二分する問いについて[programming][math][science]コンピュータに数学的定理にバグがないかチェックさせる、ということか ただ、そのチェックロジックにバグがないことは証明できないという皮肉2013/04/10 15:25
このブックマークにはスターがありません。 最初のスターをつけてみよう!
wired.jp2013/04/09
246 人がブックマーク・60 件のコメント
\ コメントが サクサク読める アプリです /
コンピュータに数学的定理にバグがないかチェックさせる、ということか ただ、そのチェックロジックにバグがないことは証明できないという皮肉
WhatAmILookingFor のブックマーク 2013/04/10 15:25
このブックマークにはスターがありません。
最初のスターをつけてみよう!
「数学の研究にコンピューターを用いるべきか?」:学会を二分する問いについて
wired.jp2013/04/09
246 人がブックマーク・60 件のコメント
\ コメントが サクサク読める アプリです /