20/04/04 11:00:15.14 voqvxXg9.net
志村に反応しそうと思ったら、やっぱり反応してた
1003:１３２人目の素数さん
20/04/04 11:02:38 DZ3hypNA.net
>>978
>なぜなら対象が１つも存在しない場合
￢(∃xP(x))等値∀x￢P(x)
存在が一つもないときの否定はすべてのカラスは黒くない
ですよね
いまそんな話はしていません
1004:１３２人目の素数さん
20/04/04 11:04:05 DZ3hypNA.net
>>983
あるカラスは存在せずかつ黒くない
という話ではありません
ある黒いカラスは存在しない
つまり黒いかどうかはどうでもよく
すべてのカラスは黒い
から
カラスは存在すること言えるか
という問題です
僕はできないと思います
1005:１３２人目の素数さん
20/04/04 11:14:31 6b44CEs/.net
>>949
統計学的に示されているのはモンゴメリー・オドリズコ予想の方では？
リーマン予想は統計学的に示し様が無いと思うけど。
>>944
リーマン予想が正しいか否かは今のところ誰にも分からない。
調べた10兆個のゼロ点に反例が無いという結果は無限個のゼロ点からみたらゼロに等しく何の根拠にもなっていない。それが数学というもの。
1006:１３２人目の素数さん
20/04/04 11:15:07 mbv9hr8e.net
この表現は。。
＞望月教授の論文は、なぜ検証に７年半もかかったのか
＞編集委員会は昨日の会見で「墓場まで持っていく」と審査過程を明かしませんでした
1007:１３２人目の素数さん
20/04/04 11:28:09 CTVUpSZE.net
>>983
そもそも黒いカラスも黒くないカラスも存在しない場合
「全てのカラスは黒くない」も「全てのカラスは黒い」も成立する
そういう話
1008:１３２人目の素数さん
20/04/04 11:37:40 oceOoELU.net
次スレ
Inter-universal geometry と ABC 予想 46
ｽﾚﾘﾝｸ(math板)
1009:１３２人目の素数さん
20/04/04 11:39:13 /UAR4nog.net
>>986
墓場までもっていくって…
まるでもちーとｲｹﾅｲ関係でもあったかのような表現ですね
1010:１３２人目の素数さん
20/04/04 11:41:24 /UAR4nog.net
すごいな
ど過疎スレだったのに、昨日の14時以降400近いれすがつくなんて
もちーもこのスレ見て溜飲下げてることだろう
1011:１３２人目の素数さん
20/04/04 11:42:44 DZ3hypNA.net
>>987
x：カラス
F：黒い
￢(∃xP(x))等値∀x￢P(x)
理解できるか？
今言ってるのは
∀xP(x) ⇒ ∃xP(x)
∀x￢P(x)ではない
ちなみに
∀xP(x)の否定は￢(∀xP(x))等値∃x￢P(x)
今の議論と全く関係がない
1012:１３２人目の素数さん
20/04/04 12:08:36 9DVl+mzi.net
モッチーおめでとう
1013:１３２人目の素数さん
20/04/04 12:10:37 tyB0DUit.net
これ柏原と玉川の会見みたら、具体的な影響は数十年後に出るとか言ってるのか。
これほんとに載らない可能性あるな。
1014:１３２人目の素数さん
20/04/04 12:12:56 CTVUpSZE.net
>>991
＞￢(∃xP(x))⇔∀x￢P(x)
そして￢∃x￢P(x)⇔∀xP(x)
つまり
(￢∃xP(x) ∧ ￢∃x￢P(x))⇔(∀x￢P(x) ∧ ∀xP(x))
∀xP(x)⇒∃xP(x) だとしたら 矛盾する
つまりウソ
1015:１３２人目の素数さん
20/04/04 12:13:44 DZ3hypNA.net
>>991
ああFじゃなくてPね
x：カラス
P：黒い
1016:１３２人目の素数さん
20/04/04 12:36:12 mbv9hr8e.net
望月さんの論文は2月5日に受理されたが、掲載日は未定。"これは非常に長い原稿で、特集号になるので、どれくらいかかるかはわかりません」と柏原氏は言います。
数学の世界では、ジャーナルの承認印をもらっても、査読プロセスが終了するわけではないことが多い。
重要な結果が真に認められた定理になるのは、コミュニティがそれが正しいというコンセンサスに達した後であり、これは論文が正式に発表されてから何年も続く可能性があります。
1017:１３２人目の素数さん
20/04/04 12:40:00 mbv9hr8e.net
Fumiharu Kato 加藤文元@FumiharuKato 48分
学術論文の査読過程を明かさないのは、普通のことだし、当然のことではないかと思いますけどね。
1018:１３２人目の素数さん
20/04/04 12:41:38.18 CTVUpSZE.net
>>997
今回の場合、隠ぺい工作といわれても仕方ないな
1019:１３２人目の素数さん
20/04/04 12:43:21.58 P/o2QwuS.net
メディア狙い多いね
正しさとは関係ないのに
1020:１３２人目の素数さん
20/04/04 12:51:36.64 2XEOvoyh.net
あ、またオッズ上がってるw
1021:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 35日 18時間 8分 10秒
1022:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています