アカウント名:
パスワード:
もし正しさが(望月の息がかかっていない論文誌に掲載されたとかCoqで形式証明が書けたとかで)証明されても賞金受け取れないんですか? 実はカワンゴは正しいことの証明を持っているので安心して賞金を懸けられたという線は…ないか。単に日本スゴイから正しいと信じていて、欧米のおかしな奴らがイチャモンつけているにすぎないと考えているだけかな?
いや、証明、反証どっちでも賞金出る話だぞ。
じゃあタレコミで「誤りの証明に100万ドルの賞金」と言っているのは嘘なの? 朝日新聞の元記事見ても「欠陥見つけたら」とか「間違いの証明」としか書かれてないんだけど。
実はカワンゴは正しいことの証明を持っているので安心して賞金を懸けられたという線は…ないか。
真に驚くべき証明を見つけましたがそれを書くには余白が狭すぎるので悪しからず
# って感じで賞金もらえないかなー
白紙の束をこれでもかというほどの量を贈られたりとか
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
計算機科学者とは、壊れていないものを修理する人々のことである
誤りの証明に100万ドルの賞金 (スコア:0)
もし正しさが(望月の息がかかっていない論文誌に掲載されたとかCoqで形式証明が書けたとかで)証明されても賞金受け取れないんですか? 実はカワンゴは正しいことの証明を持っているので安心して賞金を懸けられたという線は…ないか。単に日本スゴイから正しいと信じていて、欧米のおかしな奴らがイチャモンつけているにすぎないと考えているだけかな?
Re:誤りの証明に100万ドルの賞金 (スコア:1)
いや、証明、反証どっちでも賞金出る話だぞ。
Re: (スコア:0)
じゃあタレコミで「誤りの証明に100万ドルの賞金」と言っているのは嘘なの? 朝日新聞の元記事見ても「欠陥見つけたら」とか「間違いの証明」としか書かれてないんだけど。
Re: (スコア:0)
実はカワンゴは正しいことの証明を持っているので安心して賞金を懸けられたという線は…ないか。
真に驚くべき証明を見つけましたがそれを書くには余白が狭すぎるので悪しからず
# って感じで賞金もらえないかなー
Re:誤りの証明に100万ドルの賞金 (スコア:1)
白紙の束をこれでもかというほどの量を贈られたりとか