探検

「ABC予想」の証明理論、欠陥見つけたら1.4億円

2023/07/07(金) 13:27:56.01ID:E0khkneE
数学の超難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の理論について、ドワンゴ創業者で実業家の川上量生（のぶお）さんが7日、「間違いの証明」に100万ドル（約1億4千万円）の賞金をかけると発表した。
https://www.asahi.com/sp/articles/ASR7731Y5R76TOLB018.html
2023/09/15(金) 22:57:55.53ID:DwZw6O6A
>>507
バレた？(ﾉ∀`)
chatgptにそれっぽい証明書いてくれとお願いしたら書いてくれたんや
2023/09/16(土) 02:08:12.90ID:HMj05XmD
ひょひょひょ！おまんくおまんく！
510１３２人目の素数さん
垢版 |
2023/09/21(木) 08:59:47.91ID:OS6ptKs0
>>506
つーことは暗号を解読すれば万事解決か・・・コロッサス使えよ、エニアックでも許す。
2023/09/21(木) 09:12:13.00ID:ti6x9ciW
素数の規則性はすでに発見されているが、それがバレるととんでもないことになるので伏せられているらしい
2023/09/21(木) 19:49:25.53ID:0Jt63RNT
発見されてないぞ
2023/09/21(木) 19:49:57.43ID:0Jt63RNT
>>511
仮に発見されてたとしたらコイツみたいな凡人がそれを知ってるわけないんだよなぁ
2023/09/22(金) 19:14:44.26ID:+xXC9o7T
　.　　　／⌒ヽ⌒ヽ
　　　 / 　　　 Ｙ　 ヽ
　.　 / 　　 　 八　　ヽ
　　（　　 __／/.　ヽ,, ,）
　　 /　/ / / l | | lヽヽ
　　/　/ //　⌒　 ⌒ヽ 　
　　|　| |/　 （ ゜ ） （ 。）　
　 （Ｓ|| | 　　⌒　･ｨ　 ヽ　　
　　|　|| |　　　ﾄ-＝-ｧ　ﾉ
　　|　|| |　　　|-ｒ ､/　/|
　　|　|| | ＼_ u｀ﾆ'_／| |
　　　　　　／　　　 ＼
　　　　　　|　l　　 　l　| 　　　 ..,. ., .,
　　　　　　|　|　　　 | _|｡.:_:：゜｡-.;.:゜｡:.:;。
　　　　　　ヽ ＼_　.｡'ﾟ/　　　`｡:､｀；゜:;.::.｡:.:。
　　 　　　/＼_ﾝ（i）ｿ＼　　　 ::..゜:: ﾟ｡:.:.::.。.｡:.
.　 　　　/　 /`ｰ'ｰ'＼ ＼　　゜: ::..゜:: ﾟ｡:.:.:，｡:.:.
　　　　〈 　く　　　　　/　/　::..゜:: ﾟ｡:.:.:，.:.:.:｡:.:，
.　 　　　＼　L　　　./　/　＿::..゜:: ﾟ｡:.:.:，.:.:，.:.:.:，
　 　　　　〉　）　 （　.::旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦.
　　 　　（_,ノ　　　 .`ー'旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦.
515１３２人目の素数さん
垢版 |
2023/09/23(土) 20:37:35.53ID:TlvkZFIU
>>512
ジェーソンスカラーで見つけられてる噂はあるが真偽不明だな
516１３２人目の素数さん
垢版 |
2023/09/24(日) 11:14:16.72ID:ibQAYNAE
n番目の素数を返す多項式時間関数はない、みたいなP!=NPが証明されそう
2023/09/24(日) 18:18:27.84ID:EvfPvkj+
1〜2nの中にn番目の素数はあるんだから多項式時間で出力できるのでは？
2023/09/24(日) 20:24:28.29ID:fhWqLxge
　　　 ／￣`Y ￣ヽ､
　　 /　/ / / l | | lヽヽ
　　/　/ //　ノ 　 ヽ､ヽ
　　|　| |/oﾟ（●） （●）ﾟo　　ウンコうめえおｗｗｗｗｗｗｗｗ
　 （Ｓ|| | 　　⌒　･ｨ　 ヽ
　　|　|| |　　　　ミ;;'';;;､;:..,.,,,　　ﾝｸﾞ ﾝｸﾞ
　　|　|| |　　　i;i;i; '',',;^′ヽ
　　|　|| | ＼_ﾞゞy､､;:..､）　　｝
　 　　　　/;:;":;.:;";i; '',',;;;_~;;;′.ヽ
　　　　　ﾞ{y､､;:...:,:.:.､;:..:,:.:.　._　　､｝
　　　　　　".¨ｰ=v ''‐ .:v､,,､_,r_,ノ′
2023/09/24(日) 20:39:50.26ID:XxikcxkO
>1～2nの中にn番目の素数はあるんだから

ないだろ
520１３２人目の素数さん
垢版 |
2023/09/24(日) 21:28:54.56ID:wakgoK/4
素数多すぎだろ
2023/09/24(日) 22:05:44.44ID:EvfPvkj+
π(n)〜n/log(n)
∴ π(2n)-n →♾

https://ja.m.wikipedia.org/wiki/%E7%B4%A0%E6%95%B0%E8%A8%88%E6%95%B0%E9%96%A2%E6%95%B0#/languages
2023/09/24(日) 22:14:53.38ID:EvfPvkj+
間違えた
π(n^2)-n→♾
より正確には
p(n)〜n log(n)

https://en.m.wikipedia.org/wiki/Prime-counting_function
2023/10/08(日) 07:46:54.03ID:tCbOn4ik
いやいやもうとっくに出てるだろ論文w
つかだからこそ望月新一や取り巻きが発狂してるわけで
524１３２人目の素数さん
垢版 |
2023/10/08(日) 11:45:50.84ID:+2vZrdgq
ドルが一番高いときに発表すれば、高値で売れるな。
2023/10/16(月) 14:20:27.34ID:3kTBFztR
　＿＿＿＿＿
　|＿＿＿＿　＼□ □
　　　　　　　/　/　　 ＿＿＿＿＿
　　　　　　/　/　　　|＿＿＿＿＿|
　　　　　/　/
　　　　/　/
　　　　￣　　　

　　　 ／ ￣｀Y ￣ ヽ
　　 /　 / 　　　　　　ヽ
　　i　 / // / i 　　i l　ヽ 　
　　|　 //　/ l | | | | ﾄ､ |
　　|　|| i／#　ノ　ヽ 　| | 　
　 （Ｓ|| |　 （ 。）　（ 。） |　　
　　|　|| |　　　　 .ﾉ　　 ）| 　　
　　|　|| |ヽ､__ｨｪｴｦ_／|
　　　　（￣￣￣￣┴-　　　　　　（´　　　　　）　　　　　:::　）
　　　　 | 　（　　　 *≡≡≡≡≡三（´⌒;:　　　　::⌒`）　:;　　）
　　　　/　 /　　　∧ 　　＼　　　　（⌒::　　　::　　　　　::⌒　）
　　　 /　/　　　/ 　＼　　　＼　　　（　　　　ゝ　　ヾ　丶　　ソ
　　 /　/　（￣）　　|　|＼ 　（￣）　　　ヽ　　ヾ　　ノノ　　ノ
　 /　（　ノ　 （　 　|　| 　＼ ﾉ　（
⊂- ┘（　　　 ） └--┘ （　 　　）
　　　　 ＵＵＵＵ　　　　　　ＵＵＵＵ
2023/10/17(火) 00:19:53.67ID:rsyFQcB4
>>525
望月てめえふざけんなクソが
527１３２人目の素数さん
垢版 |
2023/10/17(火) 10:44:00.42ID:UvWwTMrh
>>526
525が望月だと推定される理由は？
528１３２人目の素数さん
垢版 |
2023/10/17(火) 17:47:26.68ID:UkazknaO
望月先生のわけねえだろ
バカかよw
2023/10/17(火) 17:54:56.99ID:3RCTauPP
ご乱心ですね
2023/10/18(水) 13:49:30.71ID:c41R018L
>>527
逆に聞くけど望月以外にこんな書き込みするやついるか？
2023/10/19(木) 23:19:31.08ID:hFL6o955
　＿＿＿＿＿
　|＿＿＿＿　＼□ □
　　　　　　　/　/　　 ＿＿＿＿＿
　　　　　　/　/　　　|＿＿＿＿＿|
　　　　　/　/
　　　　/　/
　　　　￣　　　

　　　 ／ ￣｀Y ￣ ヽ
　　 /　 / 　　　　　　ヽ
　　i　 / // / i 　　i l　ヽ 　
　　|　 //　/ l | | | | ﾄ､ |
　　|　|| i／#　ノ　ヽ 　| | 　
　 （Ｓ|| |　 （ 。）　（ 。） |　　
　　|　|| |　　　　 .ﾉ　　 ）| 　　
　　|　|| |ヽ､__ｨｪｴｦ_／|
　　　　（￣￣￣￣┴-　　　　　　（´　　　　　）　　　　　:::　）
　　　　 | 　（　　　 *≡≡≡≡≡三（´⌒;:　　　　::⌒`）　:;　　）
　　　　/　 /　　　∧ 　　＼　　　　（⌒::　　　::　　　　　::⌒　）
　　　 /　/　　　/ 　＼　　　＼　　　（　　　　ゝ　　ヾ　丶　　ソ
　　 /　/　（￣）　　|　|＼ 　（￣）　　　ヽ　　ヾ　　ノノ　　ノ
　 /　（　ノ　 （　 　|　| 　＼ ﾉ　（
⊂- ┘（　　　 ） └--┘ （　 　　）
　　　　 ＵＵＵＵ　　　　　　ＵＵＵＵ
532１３２人目の素数さん
垢版 |
2023/10/23(月) 17:57:03.78ID:txsta+VL
>>530
いるだろ。そりゃ。
533あぼーん
垢版 |
NGNG
あぼーん
2023/11/12(日) 18:33:13.43ID:x2YCEY8W
>>533
とりあえずやってみる
2023/12/10(日) 08:46:39.51ID:d36SPynw
　　　　　／ ￣｀Y ￣ ヽ..、
　　　　/　 /　 　　　　　ヽ...
　　　 i　 / // / i　 　i l　ヽ.
　　　 |　 //　/ l | | | | ﾄ､ |
　　　 |　|| i／l|lへﾉ　,,ノ | |　　　 ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
　　 （Ｓ|| |　 （へ）　（へ）.|　　／
　　　 |　|| |.l|l|　　　.ﾉ　　）|　＜美味しい美味しいタピオカをお召し上がりくださ〜いｗ
　　 　|　|| |ヽ､__ｨｪｴｦ_／| |.　　＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
　　　　／　　　 ￣￣　＼
　　　　|　|　　　　　　　 |　|
　　　　|　|　　　　　　 　|　|
　　|⌒＼|　　　　　　　 |／⌒|
　　|　　　|　　　 |　　　 |　　　|
　　|　＼ （　　　　　　　） ／　|
　　|　　|＼＿__人＿___／| 　 |
　　|　　|　　　ヾ;;;;|　　　　| 　 |
　　　　　　　　　●
　　　　　　　　　●●●●●
　　　/　/ //　⌒　 ⌒ヽ ●
　　　|　| |/　 （●） （●）●
　　 （Ｓ|| | 　　⌒　･ｨ　 ヽ●
　　　|　|| |　　　ﾄ-＝-ｧ　ﾉ●
　　　|　|| |　　　|-● ●/　/|●おいしそうなタピオカ、いただきまーーす
　　　|　|| | ＼＿｀ﾆ'_／　|●
536１３２人目の素数さん
垢版 |
2023/12/10(日) 17:55:36.08ID:rcl0URAJ
ポアンカレ予想やフェルマー予想の時と明らかに違うわな。
問題指摘を拒否しまくってるという。
2023/12/12(火) 10:48:46.21ID:y5CcJSmf
https://i.imgur.com/5Cj9pQF.jpg
538１３２人目の素数さん
垢版 |
2023/12/13(水) 13:16:18.14ID:q2K3jUea
>>536
問題点指摘したのは1人。
回答してはんろんなしやで。
2023/12/14(木) 19:07:21.23ID:Fo24iLH4
https://www.math.columbia.edu/~woit/wordpress/

望月/IUT/ABC予想の武勇伝は続いており、望月は本日「IUTを取り巻く現状に関する簡単な報告」を発表した。
この新しい文書の要点は、望月の主張するABC予想の証明を批判する人々が、
ヨーロッパ数学会の行動規範に「非常に重大な違反」をしていると非難することにあるようだ。
これは次のような奇妙な表現に基づいている。

数学者は、新定理の可能性や特定の数学的問題の解決について、
その詳細を適時に提供することができない限り、公に主張すべきではない。

ショルツェとスティックスによる、重要な系3.12の有効な証明はないという主張に対して。
私には、この言語に違反する危険性があるのは望月の方であり（彼はこの定理の説得力のある証明をしていない）
ショルツェでもスティックスでもないと思われる。
証明責任は新しい定理を主張する人にあるのであって、
主張された証明が不満足である場所を指摘する専門家にあるのではない。
特にショルツェは、以下で詳細な論証を行っている。

https://ncatlab.org/nlab/files/why_abc_is_still_a_conjecture.pdf
https://zbmath.org/pdf/07317908.pdf
https://www.math.columbia.edu/~woit/szpirostillaconjecture.pdf

望月はこれに対して156ページに及ぶ文書で反論しているが、
基本的にショルツェは初歩的な論理学の単純な問題を理解していないと主張している。
2023/12/16(土) 09:29:56.82ID:LsGxXV3H
>>533
これはやるべき
2023/12/16(土) 09:42:57.45ID:o3QAoAvk
>>533
欠陥見つけたら1.4億円
542１３２人目の素数さん
垢版 |
2023/12/18(月) 17:48:38.33ID:O7LfNyK8
>>539
ソースがないよ
543１３２人目の素数さん
垢版 |
2023/12/18(月) 18:07:18.19ID:ibzW9rBE
京都大学 数理解析研究所要覧 令和元年(2019年)8 月1日発行


P18 
・次世代幾何学研究センター 。

数論幾何学，特に宇宙際タイヒミューラー理論を中心に広く次世代の幾何学 
の研究を
推進するため，平成31年(2019年)4月1日に設置された。


P21 
次世代幾何学センター センター長 (併任） 望月新一。

特任教授　京大理博 柏原正樹 。特任教授　京大理博 森重文 。
教授(併任） 玉川安騎男 。教授(併任） 望月拓郎。

2020年4月3日。
京大PRIMS特別編集委(玉川安騎男 柏原正樹 委員長代行)は4篇の望月新一著
IUT論文受理の記者会見。
544１３２人目の素数さん
垢版 |
2023/12/18(月) 19:08:17.73ID:gSi8jdSR
もうすっかり話題にすらならなくなったね
Mと取り巻きが集合論、論理学の根本で致命的な勘違いしてる、でコンセンサスは収束した
2023/12/18(月) 19:54:32.69ID:kouRY/14
はいはい
546１３２人目の素数さん
垢版 |
2023/12/18(月) 20:12:51.08ID:ibzW9rBE
IUTは「悪事千里を走る」。>543
547１３２人目の素数さん
垢版 |
2023/12/18(月) 20:46:08.05ID:DoM0JL2E
>>544
∧と∨の区別がつかないんだろうね
548１３２人目の素数さん
垢版 |
2023/12/18(月) 21:13:32.89ID:DoM0JL2E
賞金を出す条件が川上を納得させることができたらという恣意的なものなのでいくらでも理由をつけて賞金を払わないことが出来る
こんな条件にのるやつなんているわけなかろう
2023/12/18(月) 21:56:58.90ID:nJrCoaIr
マジで？
それワラタw
まさにIUT
2023/12/18(月) 22:34:59.37ID:tmDBlu7Z
仮に川上ひとりだけが否定したら恥をかくような、そういう明確な決着をつけてくれってことだろ。
551１３２人目の素数さん
垢版 |
2023/12/18(月) 23:04:01.27ID:ibzW9rBE
IUTは数学てはないし、望月新一IUT論文の受理は望月新一の部下の玉川.柏原ら
編集委員により始めから受理ありきの話。
2023/12/18(月) 23:08:54.36ID:nJrCoaIr
>>550
そうはならんだろ
だとしても文章力ゼロやな
553１３２人目の素数さん
垢版 |
2023/12/18(月) 23:20:59.19ID:JOm8ZCWu
>>547
どゆこと？
2023/12/18(月) 23:22:59.31ID:tmDBlu7Z
ならんて何が？
世の中の数学者の大半が納得できるような結論が出ても川上が賞金出すのを渋るとか？
2023/12/19(火) 09:32:55.99ID:4KGHDPOG
>>554
そこを明示的に記載してない
どうとでも取れる状態で放置してる方が悪い
しかも個人のメンツなんて知らねーよカス
2023/12/19(火) 11:24:37.59ID:WcWp08hj
>>542
https://www.math.columbia.edu/~woit/wordpress/?p=13643

あるやん
557１３２人目の素数さん
垢版 |
2023/12/19(火) 18:01:45.09ID:RbmNhvl4
まあ１億円くらいなら広告料としては安いわ、くらいの感覚だろ。
どう転んでもええわと思ってるだろうな。
2023/12/19(火) 20:55:26.95ID:o2ODFDX6
>>555
条件を明確にしてないからいざ明らかな欠陥が示されても川上が賞金払うのを渋ると？恥かくだけじゃん、何のメリットもない。
なんでそうひねくれたものの見方するんだろ。
2023/12/19(火) 22:49:58.26ID:oxLcztZh
>>558
雑な思考しかできねーのなw
2023/12/19(火) 22:50:42.70ID:oxLcztZh
明示的に書けばいいだけじゃん
知らねー個人のメンツなんか科学と関係ねーよ
そんなもん信用ゼロ
2023/12/19(火) 23:09:00.75ID:o2ODFDX6
>>559
条件を明示してないから誤魔化すだろうってのがそもそも雑な思考だろう。
なんで賞金払わないと思った？
2023/12/20(水) 00:49:56.12ID:JXNRbUhV
金を払わないとは言ってない
言ってるのは別のやつ
基準があいまいすぎていい加減だなーつってるだけ

それに対してxxサンがxxするわけなーいとか
科学とは無関係のどうでもいいしょぼい反論しかないわけで
科学関係かなー、特に561のお前って印象
2023/12/20(水) 01:07:27.46ID:JXNRbUhV
笑いすぎてタイポしたわ
最後の行
「科学と関係ねーかなー」
564１３２人目の素数さん
垢版 |
2023/12/20(水) 01:57:17.27ID:fc28WsFn
>>560
IUTの論文も非自明なのだから賞金の条件も非自明でいいんじゃない？
2023/12/20(水) 07:44:32.52ID:OYj8tlFN
>それに対してxxサンがxxするわけなーいとか
>科学とは無関係のどうでもいいしょぼい反論しかないわけで

まあそうだな。「あいつの言うことは信用できない」とかそういうのは科学じゃねーよな。
566１３２人目の素数さん
垢版 |
2023/12/20(水) 07:58:01.72ID:/uzt7TF8
つまらん話だが、数学の公式の議論で、”involve certain radical simplifications”はまずい
厳密な数学的論証になってないことは、明白ってことでしょ

再録
https://rio2016.5ch.net/test/read.cgi/math/1701712810/476
フィールズ賞数学者のストローマン
”involve certain radical simplifications”をすると、”Corollary 3.12 is not a proof”だという（下記）

「Corollary 3.12 を、ノックアウトしたのだ」
望月氏「フィールズ賞数学者よ、君がノックアウトしたのは藁人形ですｗ」

知る限り、20世紀以降の数学界で公式の議論でストローマンを使ったのを見るのは初めてだｗ
５ｃｈでは、頻出ですけどね

非公式な議論などで、「あなたの言いたいことは、要するにこうですね」と要約することは必要だよ
議論を進めるためにね

しかし、公式の論文レビューで、ストローマンを使ってダメ出しするとはねｗ
ストローマン論法は、一つ間違うと詭弁に堕するのです

マネするやついるかもねｗ
教育上良くないから、だれか注意してやってほしいですｗｗ

(参考)
https://www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf
Why abc is still a conjecture
PETER SCHOLZE AND JAKOB STIX Date: July 16, 2018
2.1. Glossary: IUTT-terminology and how we may think of these objects.
To facilitate the discussion, we will describe (only) the notions that are strictly relevant to explain what we regard as the error.
This will involve certain radical simplifications, and it might be argued that such simplifications strip away all the interesting mathematics that forms the core of Mochizuki’s proof.

https://zbmath.org/07317908
zbMATH Open
Inter-universal Teichmüller theory. I: Construction of Hodge theaters. (English) Zbl 1465.14002
Publ. Res. Inst. Math. Sci. 57, No. 1-2, 3-207 (2021).Reviewer: Peter Scholze (Bonn)
More formally, the central claim in this series of papers is Corollary 3.12 in part III.
In the fourth part, this somewhat abstract statement is shown to imply the ABC conjecture over general number fields.
Unfortunately, the argument given for Corollary 3.12 is not a proof, and the theory built in these papers is clearly insufficient to prove the ABC conjecture.

Together with J. Stix, the reviewer has spent a week in Kyoto to discuss these issues with the author, and has detailed the findings in a manuscript entitled “Why ABC is still a conjecture” [https://www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf (opens in new tab)] that discusses the issues in slightly more detail.
567１３２人目の素数さん
垢版 |
2023/12/20(水) 08:00:11.75ID:/uzt7TF8
だから、賞をもらえるもらえない関係なしに
”involve certain radical simplifications”なしに
厳密な数学的論証をして、それを論文といして公表すればいい
それが、いままでだれも出来ていない
568１３２人目の素数さん
垢版 |
2023/12/20(水) 08:47:52.40ID:fc28WsFn
証明にギャップが有り幅広い解釈ができる非自明な論文だから仕方ない
百者百葉の読み方ができるのでハイコンテキストな文化を持つ日本人にしか理解できない
569１３２人目の素数さん
垢版 |
2023/12/20(水) 11:23:30.90ID:qdMfTExZ
>>566
どういう設定にしてもうまくいかないって言ってるだけで、そのうまくいかない例を一つ挙げたのを
取り上げて藁人形だ〜ってやってるのが、そもそも藁人形なんだよバカ。
570１３２人目の素数さん
垢版 |
2023/12/20(水) 12:46:10.14ID:DZ9Aql8V
>>569
ALLなんてどこに書いてあんだよ。
嘘コケ>バカ

ある単純化をしたら証明になってないというのは
藁人形そのものだろうが。
571１３２人目の素数さん
垢版 |
2023/12/20(水) 13:17:10.51ID:jt0ZBtw1
>>569
全てとあるを区別できないやつが数学語るんじゃねえ
572１３２人目の素数さん
垢版 |
2023/12/20(水) 18:33:01.05ID:qdMfTExZ
じゃあお前が成立する例をあげて納得させてくればいいだけなんだが。
バカはそんな当たり前のことすら理解できんらしい。
2023/12/20(水) 22:34:20.32ID:fd7CZydl
単純化するなと言うなら単純化する必要がないようちゃんと説明してギャップを埋めろと散々
2023/12/21(木) 01:08:47.67ID:BCtAhwdP
＞厳密な数学的論証をして

この論争は原理的には"証明"を機械的に検証可能な形に変換することで解決できるのだが、
問題は懐疑論者たちの"無知"だけであり、その必要はないと信奉者は主張する。

しかし歴史が教えてくれることは、もしユークリッドに倣って数学を自分たちの考えに合うように作り直したいなら、
まずは誰もが理解できる言語で書かなければならないということだ。

https://press.princeton.edu/ideas/why-prove-it
575１３２人目の素数さん
垢版 |
2023/12/21(木) 05:13:32.70ID:07h5eZaj
IUTの論文が厳密な証明になっておらず論理的なギャップが多数あるのでIUTの肯定も否定も不可能
だからIUTを理解したと主張している人たちを集めて論理式に書き下してもらえばおそらく全員の理解が一致していないだろう
IUTを肯定するにせよ否定するにせよ論文から明示的に読み取れない部分は都度望月に確認しないと正解がわからないので
望月と密着議論しない限りは解説論文を書くことができないし、否定する論文を書くこともできない
576１３２人目の素数さん
垢版 |
2023/12/21(木) 08:39:50.26ID:dtZ84kpG
明確にするため密着議論しようにも望月に嫌われるとガン無視される
arXiv:2305.10398v5
>Unfortunately, Mochizuki stopped corresponding with me
>after the release of [Joshi, October 2020]. I have made
>numerous attempts to reach out to Mochizuki (between
>Nov. 2020-2023) but without much success. This is extremely
>unfortunate as both of us are describing the same theory
>(my version provides a more precise way to establish this
>theory than Mochizuki’s pure group theoretic approach).
577１３２人目の素数さん
垢版 |
2023/12/21(木) 20:19:57.38ID:2YdlIzIV
>574
いつ数学が誰でも理解できる言語で書かれるように
なったのかか教えてくれ。

そもそも、数学は新たな言語を生み出すもんやで

マジで何もわかってないな
ちょっと数学齧った高校生でもこんなことかかんわ
578１３２人目の素数さん
垢版 |
2023/12/21(木) 20:21:31.24ID:2YdlIzIV
>>575
厳密な論証になってない
とあってたひとは沈黙しちゃったが。
2023/12/21(木) 20:27:11.31ID:ZjER0r5d
>>566
Stix がトーンダウンしたのはこの辺りに後ろめたさがあるんでしょうなぁ
積極的に間違ってると主張できる論拠はないと
2023/12/21(木) 21:40:22.98ID:q4q3Qbz9
>>577
『機械的に検証可能な形に変換』
581１３２人目の素数さん
垢版 |
2023/12/21(木) 22:54:25.94ID:ABgxLQki
・『機械的に検証可能な形に変換』は、証明した本人でなくとも、だれでも出来るのが本当だろう
・しかし、問題はマンパワーと予算で、そういう予算をだれか取って、実行すればいいだろう
・実際、まだまだ『機械的に検証』された定理は数少ない
・もっとも、ChatGpt30くらいのレベルになれば、AI検証できるかも
（結構早くそういう時代が来るかもね）
582１３２人目の素数さん
垢版 |
2023/12/22(金) 00:43:14.69ID:Mu+Nyte+
>>576 よく見つけてくるな、関係者？笑
2023/12/22(金) 07:35:51.05ID:rL0gMADb
学部生でも分かること（フィールズ賞受賞者に向かって）

数学齧った高校生でも書かんわ（ショーヴネ賞受賞者に向かって）
584１３２人目の素数さん
垢版 |
2023/12/22(金) 09:32:07.35ID:79/AVPdI
>>581
証明にギャップがあるので望月以外には機械的に検証可能な形に変換ができない
585１３２人目の素数さん
垢版 |
2023/12/22(金) 10:15:15.47ID:79/AVPdI
世の中の他の数学論文も大半が機械証明できるほど厳密に書かれていないが
前後の流れや分野ごとの慣習や結論からの逆算などで予想してギャップを埋めている
なので同じ考え方をしている仲間内では理解できるが外部の人間には理解不可能な論文などが偶に出てくる
機械証明するには望月とその愉快な仲間たちの輪の中に入って理解を深めないといけない
2023/12/22(金) 12:22:40.32ID:B0qMkYHK
IUTとひやっしーがアツい！
2023/12/22(金) 12:27:23.07ID:QIo9cf7b
このスレの馬鹿どもの中でも
最も低能なのが


単発

である。
2023/12/22(金) 15:10:59.75ID:rL0gMADb
望月とその愉快な仲間たちがやればいいだけの話なんだけどね
589１３２人目の素数さん
垢版 |
2023/12/22(金) 21:39:03.96ID:RqAKklWR
ヒーリング系もしくはドローンアンビエントで最強のリラックスを手に入れてください。
自然の波音も入っているので、さまざまな周波数の恩恵を得ることができます。
神経過敏でイライラしやすい人、なんらかの依存症にも少なからず効果が期待できます。
食事前にナイアシン療法を行うと、効く人には大変有効と思います。
自然な形でセロトニンが増えれば、ほとんどの神経症や精神疾患は良くなっていきます。
薬も確実に減っていきます。それと同時に高タンパクな食事が大変大事です。
そして適度な運動で最強です。
試してみてください。//youtu.be/e1IPKVrDUoM
2023/12/23(土) 18:11:32.50ID:xT3U1K0q
ショルツェを説得させられなかった時点で終わり
2023/12/23(土) 22:21:49.68ID:eMyqPsIU
>>588
税金で？
592１３２人目の素数さん
垢版 |
2023/12/24(日) 00:59:18.43ID:ebrvRQB0
そりゃそうだろ
593１３２人目の素数さん
垢版 |
2023/12/24(日) 03:09:47.48ID:aghgDeqc
国に認められて科研費もらってるんだから税金でやるべきだよね
594１３２人目の素数さん
垢版 |
2023/12/24(日) 09:15:18.38ID:bjAlskn2
zen大学で人を雇ってやりゃいいだろ
iugcに理解者がいるんだからな
証明が本当にちゃんと書かれてるんなら
準備論文込みで数千人時以下になるだろ
2023/12/24(日) 11:31:05.59ID:Dd6aQW2T
今の日本の科学技術研究のシステムってある意味“性善説”で出来てるからな
こういう事態になったら本人が“引くハズ”なので他人が辞めさせるシステムがない
596１３２人目の素数さん
垢版 |
2023/12/24(日) 20:52:00.59ID:aghgDeqc
>>594
望月以外にギャップを埋めることはできないのでZen大学がどれだけ人を雇っても無駄
2023/12/24(日) 21:56:29.04ID:qSzTjOb7
>>596
お前は問題を理解できているの？
2023/12/25(月) 11:56:17.41ID:tzgSOmnB
望月の周りにいる理解者たちにもギャップは埋められるはずだよね。本当に理解しているならだけど
599１３２人目の素数さん
垢版 |
2023/12/25(月) 15:16:24.05ID:g9udIojv
自称理解者の理解が正しいかどうかは望月にしか判断できないからなあ
2023/12/25(月) 15:39:23.73ID:fGXlVzCc
そもそも望月新一自身も理解してないのでギャップを埋められないという・・・
2023/12/25(月) 20:55:21.53ID:BSw9+xtw
三浦瑠麗とかまだ絡んでないんだっけ？
2023/12/25(月) 21:07:00.86ID:BSw9+xtw
三浦瑠麗氏、売却した「軽井沢の別荘」を今も使用しているのはナゼ？
603１３２人目の素数さん
垢版 |
2023/12/27(水) 11:26:07.20ID:JJXwUg5E
「素数の出現法則」、ついに発見される！　
https://prtimes.jp/main/html/rd/p/000000002.000107904.html
2023/12/27(水) 11:39:17.34ID:SEbN7KT+
出現法則って
エラトステストネスの古いが原理として根本にあるんだけらそんな予測不可能な出現ってわけでもない希ガス
605１３２人目の素数さん
垢版 |
2023/12/27(水) 16:11:44.21ID:S3vth/Rl
>0595
日本の研究は性善説でできているのでなく、まともな社会システムを設計できていないだけ。
不安が嫌であるので、捏造に関する刑罰の適用を研究が萎縮するといって、妨害する。その結果、捏造し放題になる。研究者は捏造を管理できず、どうしようもない状態になる。すると、研究者は政府に責任を擦り付けて、競争的な資金の結果、捏造が蔓延したと、説明する。これの繰り返し
606１３２人目の素数さん
垢版 |
2023/12/27(水) 20:15:41.48ID:uZAZn3Uh
>>605
そもそも、お前数学者じゃないだろ。
607１３２人目の素数さん
垢版 |
2023/12/30(土) 21:04:03.69ID:umJfPDIb
沈静化したってことは、論文に欠陥は認められなかったことでオッケー？？
新着レスの表示
レスを投稿する

ニューススポーツなんでも実況