20/04/12 09:09:51 Lsg09Vo4.net
>>902
ギャップがあるとあなたは断言してるが、
査読者はないと判断してる。
あなたが、あると判断する理由を説明せよ。
1001:Brother No.1
20/04/12 09:16:07 OlsRjmnt.net
ま、ぶっちゃけ、大人数アイドルは見るに値せんのよね
URLﾘﾝｸ(www.youtube.com)
1002:１３２人目の素数さん
20/04/12 09:16:45 Lsg09Vo4.net
>>900
賞の対象は反論に対してではないので、
反論の正しさは保証されてないで。
1003:Brother No.1
20/04/12 09:18:24 OlsRjmnt.net
ニッポンのアイドルの金字塔
URLﾘﾝｸ(www.youtube.com)
1004:１３２人目の素数さん
20/04/12 09:20:06 OPdVz5TU.net
次スレ（IUT49）を立てておきました。
IUT49を使うなり残っている過去スレを使うなり、ご自由にどうぞ。
Inter-universal geometry と ABC 予想 49
URLﾘﾝｸ(itest.5ch.net)
1005:Brother No.1
20/04/12 09:23:46 OlsRjmnt.net
>>966 了解
ではここはsage進行の上、アイドル礼賛書き込みで埋めさせてもらうｗ
---
次スレッド Inter-universal geometry と ABC 予想 49
http
1006:://itest.5ch.net/rio2016/test/read.cgi/math/1586650355
1007:Brother No.1
20/04/12 09:26:11 OlsRjmnt.net
今、ゆうつべでこれ見てる
【LIVE AT HOME】LIVE AT TOKYO DOME - BLACK NIGHT
---
次スレッド Inter-universal geometry と ABC 予想 49
URLﾘﾝｸ(itest.5ch.net)
1008:１３２人目の素数さん
20/04/12 09:26:42 Lsg09Vo4.net
数学の学者って一定以上になると、論争でも無謬になるのか?
そんな、神の如き存在がなぜ、ABC予想が解けないのだ。
1009:１３２人目の素数さん
20/04/12 09:59:46 F1mh9bp2.net
>>962
横だけど、ギャップがなければ機械で検証できる。
望月派はギャップがないといっている以上、3.12だけでも機械で検証できるようにしないといけない。
逃げは許されない。
これからはこれが数学界のルールになるだろう。
「証明できた」といいはることで、8年以上も貴重な資源を無駄にすることは許されない。
1010:粋蕎 ◆C2UdlLHDRI
20/04/12 10:01:01 J5mKuUVX.net
>>956
不足。もっと勉強しとくが良い｡
>>959
うむ。故に宗教｡
>>963
御前、前コテのCIAに粛正されるぞ。自分自身に粛正されろ｡
そんなレスばら撒いといて数学板整理自治宣言とか、自殺したいんかお前｡
1011:１３２人目の素数さん
20/04/12 10:06:54.76 Lsg09Vo4.net
>>970
なんかコンピューターを絶対視してるみたいですが、
そもそも、それプログラムが回答ですから。
数学の証明にデープラーニングが使えるようにはまだなってないでしょ。
だから、ギャプがないなら、そもそも、そんなもの存在しないし。
トートロジーになるから。
あるかないかが問題なのよ。
1012:１３２人目の素数さん
20/04/12 10:07:33.13 Cs9F20IK.net
>>969
神w
無いと思います。(断言)
「その時代からしばらくの間はツッこめる人がいないだけ」
がほとんどなのでは?
稀にツッコミが入らないままのことを考えた人がいても、
修正なり拡張なり補強出来る余地がある事がほとんどじゃないでしょうか…?
1013:１３２人目の素数さん
20/04/12 10:10:19.24 F1mh9bp2.net
>>972
すでに証明された証明文が正しいか検討するために、はるかに複雑な課題で使われている。
望月派は自明というなら、3.12を機械にかけなくてはいけない。
それをやらないのは逃げ。
あなたの回答も逃げ。もはや学問的犯罪。恥を知れ。
1014:Brother No.1
20/04/12 10:11:34.90 OlsRjmnt.net
>>970
＞ギャップがなければ機械で検証できる。
理論上はそういうことになるね
＞ギャップがないといっている以上、
＞3.12だけでも機械で検証できるように
＞しないといけない。
自説が正しいと言い張るんなら
そうすべきだね
でも無理だな
そもそももっちーのファンタジーだからｗｗｗ
---
次スレッド Inter-universal geometry と ABC 予想 49
URLﾘﾝｸ(itest.5ch.net)
1015:１３２人目の素数さん
20/04/12 10:11:35.53 F1mh9bp2.net
>>972
ようするに、3.12は証明されていない。
だからあなたのような逃げの回答が出るｗ
1016:１３２人目の素数さん
20/04/12 10:12:39.44 2xqTk/d8.net
なんでもいいがもっちーのブログに変な書き込みするのはやめてください
ブログやめられたら困る
1017:Brother No.1
20/04/12 10:14:33.99 OlsRjmnt.net
>>974
ついでにいうと、新しい概念を導入した場合
そこから矛盾が導かれる可能性が常にある
したがって、形式的証明だけでは
数学的に意味がある保証はない
矛盾を導く理論は数学的に無意味だから
---
次スレッド Inter-universal geometry と ABC 予想 49
URLﾘﾝｸ(itest.5ch.net)
1018:粋蕎
20/04/12 10:14:57.12 J5mKuUVX.net
>>973
機械で証明できている頃には他分野の数学者にも理解できる証明できているじゃろ
1019:１３２人目の素数さん
20/04/12 10:15:37.85 Cs9F20IK.net
>>971
ＣＩＡさまのカテゴライズでは
idol貼りまくりはⅢに分類されると思います…
アイドル貼りまくりはＣＩＡ様ターゲット条件では
「(*´∀｀) ﾟ｡ｾｰﾌ!ﾟ｡」
みたいです…
ｴﾓｯﾋﾟ気をつけなぃと…!
(怖過ｷﾞﾙｯﾋﾟ!)
1020:１３２人目の素数さん
20/04/12 10:17:40.78 F1mh9bp2.net
>>979
確かに現実的にはその可能性が高い。
しかしあまりにも長大で、多くの人がそもそもまともに読んているか疑わしい証明などは、
機械で検証にかけるのは有意義だろう。
これからは、証明できてるかできてないかもめるケースで、
証明できたと称するチームは、機械検証が義務づけられるだろう。
1021:１３２人目の素数さん
20/04/12 10:18:32.03 2xqTk/d8.net
このすれだけ勢いがダンチではずかしい
みんなおちついて～
1022:Brother No.1
20/04/12 10:18:44.27 OlsRjmnt.net
>>980
実に論理的で明快な書き込みだ・・・
粋蕎とかいう奴の粋がった似非正義漢のウザい書き込みとは全く正反対
---
次スレッド Inter-universal geometry と ABC 予想 49
URLﾘﾝｸ(itest.5ch.net)
1023:１３２人目の素数さん
20/04/12 10:20:26.34 Cs9F20IK.net
>>977
非道過ぎると思います。
もっちさまに嫌がらせするなんて許せない。大ｯ嫌ぃ。
('д’)､ﾍﾟｯ!でござぃます。
。゜。
※お食事中の方、大変失礼致しました…
1024:Brother No.1
20/04/12 10:21:02.21 OlsRjmnt.net
>>981
もめるもめないとは無関係に
数学の証明の形式化は有用だから
推進すべきだろう
---
次スレッド Inter-universal geometry と ABC 予想 49
URLﾘﾝｸ(itest.5ch.net)
1025:Brother No.1
20/04/12 10:22:34.65 OlsRjmnt.net
>>977
望月本人にいくらネッ凸したって反応するわけないよ
確信犯だから
---
次スレッド Inter-universal geometry と ABC 予想 49
URLﾘﾝｸ(itest.5ch.net)
1026:Brother No.1
20/04/12 10:23:21.59 OlsRjmnt.net
>>977
望月本人にいくらネッ凸したって反応するわけないよ
確信犯だから
---
次スレッド Inter-universal geometry と ABC 予想 49
URLﾘﾝｸ(itest.5ch.net)
1027:１３２人目の素数さん
20/04/12 10:23:37.98 Cs9F20IK.net
>>985
スレ立て出来るようになったんですね…゜｡(*ﾉД`)゜。良ｶｯﾀ…(泣
1028:Brother No.1
20/04/12 10:24:37.84 OlsRjmnt.net
>>982
わかっとる・・・しかし
●が・・・勝手に動いてしまうんじゃｗ
---
次スレッド Inter-universal geometry と ABC 予想 49
URLﾘﾝｸ(itest.5ch.net)
1029:Brother No.1
20/04/12 10:25:55.20 OlsRjmnt.net
>>988
いや、私が立てたわけではないが
というか別のものが立ってしまって困っとるんじゃがｗ
---
次スレッド Inter-universal geometry と ABC 予想 49
URLﾘﾝｸ(itest.5ch.net)
1030:１３２人目の素数さん
20/04/12 10:26:44.80 Lsg09Vo4.net
>>973
数学の論争って予想も含まれるのよ。
わかってる?
1031:１３２人目の素数さん
20/04/12 10:28:44.54 OlYCsmoI.net
競馬みたいなものか
1032:１３２人目の素数さん
20/04/12 10:29:00.88 Cs9F20IK.net
>>983
め～さま…!
ｴﾓｯﾋﾟの✨☆指導教授☆✨になって下さぃ…!
いろんな意味で。。。(意味深)
1033:１３２人目の素数さん
20/04/12 10:29:26.82 Lsg09Vo4.net
>>974
いやだから、機械ってなんのこと?
論証のプログラム自体が回答だよ。
それに対して、IUT支持側は自明だって言ってるんだから、
すでに論証されてるって立場。トートロジーってこと。
1034:粋蕎
20/04/12 10:29:54.53 J5mKuUVX.net
>>981
そもそも機械証明できる性質か否かの問題も有る。四色定理とは違う｡
1035:Brother No.1
20/04/12 10:30:48.28 OlsRjmnt.net
>>992
なるほど ショルツ本命 望月大穴 で
万馬券を期待した競馬マニアが
狂乱してるわけだｗ
---
次スレッド Inter-universal geometry と ABC 予想 49
URLﾘﾝｸ(itest.5ch.net)
1036:Brother No.1
20/04/12 10:32:13.41 OlsRjmnt.net
>>995
＞機械証明できる性質か否かの問題も有る
ない
論理を知らない中卒DQNは黙って死ね！！！
1037:１３２人目の素数さん
20/04/12 10:32:31.88 Cs9F20IK.net
>>991
「全知全能の“神の如き知性”なるもの」は“ヒトの識別力”とは異質の概念じゃないのかな?って意味でした…
1038:１３２人目の素数さん
20/04/12 10:33:34.35 OlYCsmoI.net
IAをしっかり教育すればいいんだよ
1039:粋蕎
20/04/12 10:34:06.82 J5mKuUVX.net
>>997
肯定も否定も出来ない問題には人間が解釈を与えなければならない
1040:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 3日 2時間 59分 8秒
1041:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています