「ABC予想」の証明理論、欠陥見つけたら1.4億円 (890ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
24: 2023/07/08(土)01:16:41.50 ID:rNFFu1Jb(3/3) AAS
こんなものに手を出してもZEN大学にとってマイナスにしかならんと思うのだがな
123: 2023/07/11(火)01:19:54.50 ID:PjgQ/jiK(1) AAS
本気で証明しようと思えば自動証明用に全論理式を書き下せば証明可能なんだけど
それだけで数年かかりそうな規模な上に、IUT論文に限った話じゃなけど自動証明視線でみれば
随所に自明でないギャップが存在しているのでどこまで行っても「僕の考えたIUTの証明」にしかならない
なのでIUT賛成派以外に自動証明をやる意味はないから賞金をかけられても手を出したりしないだろう
211: 2023/07/13(木)11:35:38.50 ID:Sx5x467y(1/2) AAS
>>210
それが本当にギャップであることを
大方の数学者に認めさせることが出来たら
１００ドルをやろうという話は
すぐに忘れ去られるだろう
264(2): 2023/07/17(月)18:09:39.50 ID:YL8xfPJo(3/7) AAS
>>260
ああ、自分で書いて何となく腑に落ちた。
川上は一緒に会見したからIUT陣営とつながっている。
だから川上の提案はなにかIUT側に有利になるようなことに違いない。
だったら叩かなきゃ！
こういうことだな。
350(1): 2023/07/22(土)08:35:02.50 ID:VqP17oEp(1) AAS
まだ多数決で決めようと頑張ってるバカ
どうしてわからんの？
自分たちがやってる事が高木と一緒だと？
糖質の話で「おまえのやってる事は糖質の典型症状」と言われて糖質同士で話しをさせても「あいつの言ってる事は頭おかしい、でも俺のはあってる」に終始するらしいけどそれか？
自分の言ってる事のおかしさわからん？
351: 2023/07/22(土)08:51:37.50 ID:2Mr0YYb7(1/2) AAS
>IUT理解の数学者は３名
IUTTは数学理論でなく全く新しい理論で
、そりゃIUT教会は望月教祖がトップにいて下に信者のグループ、中核的理解者3名→とりまき→理解者→バカ応援団→教団ホケツのしくみだから、
481: 2023/08/15(火)12:48:23.50 ID:U30qiAHs(1) AAS
話の内容わからないから“多数”とか数学の議論で絶対出てこない単語が出てくる
多数決で決まると思ってるんやろ
590: 2023/12/23(土)18:11:32.50 ID:xT3U1K0q(1) AAS
ショルツェを説得させられなかった時点で終わり
766: 2024/02/03(土)14:28:02.50 ID:amhMElr+(3/6) AAS
そだね
Z氏には早く、ゴメンナサイして、回復してほしい
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.033s