探検

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

2023/07/07(金) 13:27:56.01ID:E0khkneE
数学の超難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の理論について、ドワンゴ創業者で実業家の川上量生（のぶお）さんが7日、「間違いの証明」に100万ドル（約1億4千万円）の賞金をかけると発表した。
https://www.asahi.com/sp/articles/ASR7731Y5R76TOLB018.html
331１３２人目の素数さん
垢版 |
2023/07/21(金) 16:44:25.75ID:/0EKKotj
>>330
×3名ていくと。 ○3名。
332１３２人目の素数さん
垢版 |
2023/07/21(金) 17:41:11.90ID:qSR8zt/L
>>330
数学会も白黒ハッキリさせなくてはいけないとは思ってないのかね？
333１３２人目の素数さん
垢版 |
2023/07/21(金) 18:10:53.25ID:/0EKKotj
>数学会も白黒ハッキリさせなくてはならない

正しいかどうかは望月新一IUTT提唱者
のみにより決まる、といってる。
京大のスキャンダルだから関係者は逃げ回っているんだろ。
2023/07/21(金) 18:12:44.59ID:c/5iAUSP
>>325
勘違い思い込みが激しすぎる
2023/07/21(金) 18:13:29.69ID:c/5iAUSP
だって証明に欠陥があることを示されてしまったから
望月新一が逆ギレして自分が編集長の論文誌に載せて誤魔化したって
話しだろ
何言ってんだか
2023/07/21(金) 18:13:51.10ID:c/5iAUSP
レフェリーするような連中から証明の欠陥を指摘されてる状態なのに
何ほざいてんのアホども
悔しかったら自分が編集長やってる雑誌に投稿なんて胡散臭いことやらないで
例えばアメリカの数学会の雑誌に投稿とかすればいいだろ
2023/07/21(金) 18:14:11.54ID:c/5iAUSP
>>329
こういう低レベルな理解の輩ばかりだから、いつまでたっても解決確定しねーんだな
2023/07/21(金) 18:54:14.39ID:TlYTenHB
なんでAnnals of Mathematicsとかに出さなかったんだろうね
広告代理店的ムーブは怪しまれる原因になるからやめた方がいい
339１３２人目の素数さん
垢版 |
2023/07/21(金) 21:09:44.14ID:KpdbZx3h
白黒をはっきりさせたいだけなら
1000万円で数論の若手を
世界中から集めて
２週間ほどの勉強会をすれば十分なのでは？
340１３２人目の素数さん
垢版 |
2023/07/21(金) 21:29:20.98ID:qSR8zt/L
>>339
ていうか代数の世界の人はこの理論
理解しようと勉強はしてないのかね
証明に問題が無ければ金字塔として
多くの問題の解決に道を開くんでしょ
重要性からすれば世界中でよってたかって
真偽をハッキリさせようとするはずと思うのだけど
2023/07/21(金) 21:37:57.65ID:9WY7IMte
お話にも何にもなってないとこれだけ言われてもまだわからない
高木と同レベル
342１３２人目の素数さん
垢版 |
2023/07/21(金) 21:57:10.84ID:qSR8zt/L
>>336
>レフェリーするような連中
持ち回りていうか適当な人に依頼してるだけよ
2023/07/21(金) 22:08:57.12ID:ojxkT+oM
高木は何故かここで頑張ってればいつか自分の論文を理解できる真の天才の目に止まって自分の論文が世に出ると信じてる
ここのモッチー信者も同じ
ここで何をほざいても意味がない事が理解できない
2023/07/21(金) 22:24:19.31ID:Dd3RhvuK
まぁガロアの群論だって認められるまで40年くらいかかってるわけだし
2023/07/21(金) 22:30:13.79ID:v/IPclgE
イヤ、ここでなんか言ってたら何かぎ怒るという夢幻から逃れられない高木レベルのアホの話をしてる
346１３２人目の素数さん
垢版 |
2023/07/21(金) 23:40:46.04ID:KwvClNQP
アンチはほっとけばいい
コンピューターサイエンスの分野で本当に少しづつだけど広まってるから
2023/07/22(土) 00:10:08.76ID:V1RIcZkK
イヤ、俺の言ってる事わかる？
お前ら何を期待してるの？
世界のほとんどの数学者はアホ
一握りの10に前後の天才たちだけがわかる数学がある
彼らの偉大さを声高に叫んでいればいつかアホどもにもわかる日が来る
とか思ってんの？
高木のロジックと同じ事言ってるってわからん？
2023/07/22(土) 05:46:44.49ID:SLMrYLwB
レフェリーはMとG
349１３２人目の素数さん
垢版 |
2023/07/22(土) 08:23:30.66ID:zMkz9iPA
>>331
IUT理解の数学者は３名でなく、著名な専門家はもっと多そうだね。

「SS文書での単純化」の支持者は０名　？　

「宇宙際タイヒミューラー理論の拡がり」
組織委員長：望月新一（京都大学数理解析研究所）
組織委員：星裕一郎（京都大学数理解析研究所）
　　　　　Ivan Fesenko （英・ノッティンガム大学）
　　　　　田口雄一郎（東京工業大学）
　　　　　加藤文元（東京工業大学）
　　　　　栗原将人（慶応義塾大学）
　　　　　志甫淳（東京大学）

一方で、SS文書は、
Joshiが「数学的論理学では、偽の命題を使えばどんな結論でも導き出せる。だから、ショルツェ・スティックスの報告は望月の仕事に関して有益な結論を提供しない」と、有益ではないとの意見がある.

ＳＳ文書の単純化（偽の命題？）の主張は正しいと、実名で支持した著明な数学者が見当たらない。
2023/07/22(土) 08:35:02.50ID:VqP17oEp
まだ多数決で決めようと頑張ってるバカ
どうしてわからんの？
自分たちがやってる事が高木と一緒だと？
糖質の話で「おまえのやってる事は糖質の典型症状」と言われて糖質同士で話しをさせても「あいつの言ってる事は頭おかしい、でも俺のはあってる」に終始するらしいけどそれか？
自分の言ってる事のおかしさわからん？
351１３２人目の素数さん
垢版 |
2023/07/22(土) 08:51:37.50ID:2Mr0YYb7
>IUT理解の数学者は３名

IUTTは数学理論でなく全く新しい理論で
、そりゃIUT教会は望月教祖がトップにいて下に信者のグループ、中核的理解者3名→とりまき→理解者→バカ応援団→教団ホケツのしくみだから、
2023/07/22(土) 09:46:16.36ID:jQ9lfXRS
まずIUTをLLMに学習させてそれをネットで公開すれば理解者は増えるんじゃないかな
353１３２人目の素数さん
垢版 |
2023/07/22(土) 10:47:37.89ID:JaDk+Out
>>350
SS文書が誤りの命題で有益でないとの意見、査読の通過、雑誌の会見で実名で支持した者がいるのに、SS文書の前提の指示は自己寄稿のレビュー以外に実名の支持者がないならば、有益でないのだろう。
コンピューターはSS文書が偽の命題かを調べるの?
2023/07/22(土) 10:50:56.72ID:YjqER+cH
あんだけ丁寧に望月論文の何が問題になってるか解説してやったのにまだわからない
多分一生わかる見込みはない
355１３２人目の素数さん
垢版 |
2023/07/22(土) 12:23:54.65ID:49HCOyBQ
加藤さんは一生IUTにぶら下がるつもりなのかもしれないが完全に賞味期限切れ。もう誰も興味無いし実際大した話題になっていない。
2023/07/22(土) 15:03:23.99ID:FKmatS0v
>>354
ほんとに理解して書き込んでんのか？
SS文書は専門家に嘲笑されてるんだけれども
指示してるのは底浅い野次馬だけだよwww
357１３２人目の素数さん
垢版 |
2023/07/22(土) 15:16:48.70ID:2Mr0YYb7
専門家ってIUTの理解者とか信奉者とか
2023/07/22(土) 15:27:53.07ID:vnhqWFmd
>>356
文章書いた本人が理解してるかを問題にする必要がどこにある？
書いてある内容読めば正しいかどうかわかる
あれでほとんど理系の人間は何が問題になってるか理解できてる
わからんのは数学の勉強など一度もした事ないのに何故か自分は数学勉強してきた人間より数学の話がわかると思ってる能無しのゴミだけ
2023/07/22(土) 15:32:02.57ID:FKmatS0v
>>358
いやいや、複数の第三者がSS文書の「おかしさ」を指摘してるでしょうよ
それに対して内々だがSSは指摘した者に謝意もしめしてる
そんなおかしな文書を「理解」できて何になる？

後半は自己紹介乙
360１３２人目の素数さん
垢版 |
2023/07/22(土) 16:11:45.41ID:Mj6SXJeI
そりゃおかしい解釈しかできないからそれをSS文書は言ってるのに、
それはおかしいと難癖つける頭の悪い人に何言っても通じないでしょ。
2023/07/22(土) 16:20:01.59ID:vnhqWFmd
>>359
だから“誰がどう言った”とか関係ない
数学勉強した人間は相手の書いた文章そのもので判断する
そしてその判断のもとで数学勉強した経験のある奴は俺の文章の正しさを確認したんだよ
それが便所の落書きの文章かprimsに載った文章かなと関係ない、純粋にその書いてある文章の正しさで判断できる、それができるようにみんな何年も人生の大切な時間を数学に捧げてるんだよ
そんな人間たちの努力を嘲笑って
「天才、京大、正しいに決まってるやん」とか言ってんのがバカだって言ってるんだよクズ
2023/07/22(土) 16:33:15.49ID:SdgJhKI+
要点はこの2点
・ショルツェしかIUTに対して異議を唱えていない
・そのショルツェの異議に対しては複数の第三者が問題を指摘している

つまり客観的に公平に見れば
ショルツェが間違っている
2023/07/22(土) 16:37:42.53ID:jQ9lfXRS
望月自身が積極的に説明責任を果たしてないわけだから実は自身で何らかの欠陥に気づいているのでは？というふうに勘ぐってしまう
2023/07/22(土) 16:44:09.43ID:vnhqWFmd
>>362
要点はお前が数学など一度も勉強したこともないのに数学を懸命に勉強したこの板の多くの住人より正しい判断が下せると思ってるクソみたいな人格だよ
365１３２人目の素数さん
垢版 |
2023/07/22(土) 17:12:32.81ID:MpcuBgtE
>>362 何も得るものがないのに、数理研の人事で好き放題してる連中に切り込む人はいないだろ
下手すれば関係者にまで危害被る
まあショルツを矢面に立たせておいてその後だんまりなんのフォローもせず逃げた森さんはちょっとどうかと思うが
366１３２人目の素数さん
垢版 |
2023/07/22(土) 22:11:25.34ID:gJcWVmP1
ショルツェ自身がフォローするべき、と思われるが。
＞ショルツを矢面に立たせておいてその後だんまりなんのフォローもせず逃げた

ZB.math.誌で、「証明理論、欠陥見つけた」と、寄稿した文責があるから、

SS文書が偽命題である問題は、本人の説明責任で応対しないと、
＞その後だんまりなんのフォローもせず逃げた、なら、＞矢面に立ち続ける
367１３２人目の素数さん
垢版 |
2023/07/22(土) 22:16:08.88ID:luEHzkQY
もうprimsなんて信用ないのはっきりしたしな
368１３２人目の素数さん
垢版 |
2023/07/22(土) 22:47:22.48ID:a4mVC1a1
>>364
おまえ面白いな
369１３２人目の素数さん
垢版 |
2023/07/22(土) 22:55:07.41ID:1nfEqm4y
>>367
５年後の信用はどうか
370１３２人目の素数さん
垢版 |
2023/07/22(土) 22:56:23.10ID:Lu0x2ZOk
RIMS PRIMS

・2018年3月 scholze stix氏京大　
　RIMSをおとづれる。
・2019年4月1日

RIMSの次世代幾何学研究センター が
数論幾何学，特にIUT理論を中心に広く
次世代の幾何学 の研究を推進するため，量子幾何学研究センターを統合し設置
された。


・次世代幾何学センター 役職。
センター長.望月新一教授./
柏原正樹 特任教授
/森重文 特任教授/
玉川安騎男 教授(併任/

望月拓郎教授(併任）/

つまり2014年12月.
望月新一京大教授のIUTT検証活動
の報告によれば、
IUTTを準備論文から深く理解している
数学者は望月新一IUTT提唱者のみ。
よって
望月新一所長の指導下で所員の/玉川安騎男.PRIMS特別編集委員会委員長/柏原正樹 PRIMS特別編集委員会委員長/森重文RIMS特任教授/らへIUTTの修行が行われた。
371１３２人目の素数さん
垢版 |
2023/07/23(日) 03:00:49.53ID:KSvQXb/o
「ABC予想」の証明理論、欠陥見つけたら1.4億円

ＰＲＩＭＳが雑誌掲載した論文を、
今度は世界中の人に、証明に本質的な欠陥がないか、広く問うている。

ＲＩＭＳやＳＳの信用ではなく、誰かの限定されずに、数学的に正しい論文であるかの査読になる。
372１３２人目の素数さん
垢版 |
2023/07/23(日) 06:13:10.19ID:L14KGcgb
判断するのは取り巻き
握りつぶされるだけだ
正当化に利用されるだけ
373１３２人目の素数さん
垢版 |
2023/07/23(日) 06:14:27.25ID:L14KGcgb
正しいでも間違いでもなく、
「ギャップがある」っていう第三の状況を理解できないんだろうな
川上みたいな素人は
374１３２人目の素数さん
垢版 |
2023/07/23(日) 06:43:07.27ID:mZe/OH+8
>>371

>>ＰＲＩＭＳが雑誌掲載した論文を、
>>今度は世界中の人に、証明に本質的な欠陥がないか、広く問うている。

これこそが論理のすり替え
375１３２人目の素数さん
垢版 |
2023/07/23(日) 08:49:29.13ID:pFXqnSLc
>>373

「ギャップがある」 ∈ 証明理論の致命的な欠陥　
376１３２人目の素数さん
垢版 |
2023/07/23(日) 08:49:32.60ID:pFXqnSLc
>>373

「ギャップがある」 ∈ 証明理論の致命的な欠陥　
2023/07/23(日) 09:12:32.78ID:2HUvb+o4
「ギャップがある証明」を「証明できた」と主張することは
明確な誤り
378１３２人目の素数さん
垢版 |
2023/07/23(日) 09:23:14.87ID:8IaXXu9C
>>377

>>「ギャップがある証明」を

「こういうギャップがある」という指摘に対し
「その指摘は当たらない」と理由をつけて答えてある。

>>「証明できた」と主張することは
>>明確な誤り

従ってこの主張は明確な誤り。
2023/07/23(日) 09:47:27.17ID:9nxJp2k3
>>372
>正当化に利用されるだけ

こんな賞にそんな影響力ないだろうに何をそんなに神経質になっているんだか
380１３２人目の素数さん
垢版 |
2023/07/23(日) 20:20:06.48ID:X2SWUYrR
>>378
ガタガタ言うよりさっさと間違い探しして賞金せしめる方がｗｗｗ良いぞ！！ ｗｗｗ
381１３２人目の素数さん
垢版 |
2023/07/23(日) 20:38:07.41ID:mZe/OH+8
売名行為
2023/07/24(月) 18:00:55.34ID:hefv3XAy
このまま世界中のだれからも相手にされないまま300年くらいだったらおもろいな
2023/07/24(月) 19:34:23.07ID:ns9ZlmXb
300年後ぐらいにもっと簡単な証明が見つかって、先駆者の正しさがそこからまた300年かけて検証されてくんだろうなと予想
384１３２人目の素数さん
垢版 |
2023/07/25(火) 09:25:59.16ID:ZZaQrWRe
>>381
だれにも間違いを見つけられないからってこと？
385１３２人目の素数さん
垢版 |
2023/07/25(火) 10:26:26.23ID:T240CMHC
>>382
デザルグの射影幾何がそれに似ている
386１３２人目の素数さん
垢版 |
2023/07/25(火) 12:11:11.51ID:dA+V1tcX
>>383
このタイプの人間は命題の正しさと証明の正しさの違いさえ理解できてない。
2023/07/25(火) 14:53:18.86ID:CDDnzsPC
もっと簡単だと主張された証明が現れたとしても、結局それが正しいと判明するまでの年月を考慮しないといけない。更にそんな主張をしてくる証明はほぼほぼまゆつばなので、そのような証明は検証されることもない。従って前半の「300年」は甘すぎる。
2023/07/25(火) 17:20:07.99ID:aeTxPmTf
でも実際、IUTの要素はすでに実用化（量子コンピューター）されてるのよね。
正しいものとして機能し始めてる。
389１３２人目の素数さん
垢版 |
2023/07/25(火) 18:48:21.29ID:JUGu+PEB
されてないが
390１３２人目の素数さん
垢版 |
2023/07/25(火) 19:11:37.38ID:vYxMN1yM
金に困ってるんだが
2023/07/25(火) 19:15:09.41ID:mXzgfEVY
実業家が金をチラつかせて未解決問題に首つっこんでくるムーブ意味あるのかなと感じる
2023/07/25(火) 21:37:46.46ID:zVqetr/g
>>389
されてるが
2023/07/25(火) 22:29:47.68ID:qXIdpARe
正直こんなもん意味ない
誰も取れない
取れないだけなので鬱陶しいだけだといえばそれだけだけど、どうせならもっとちゃんとした予想に懸賞かければ意味はあった
394１３２人目の素数さん
垢版 |
2023/07/25(火) 23:27:06.39ID:Ajoo3H2T
>>392
デマ
2023/07/25(火) 23:47:42.18ID:BdsrnzCV
宇宙際てwwwうけるwww
2023/07/25(火) 23:58:23.61ID:vYX3eG23
>>393
だったらお前が懸賞かければいい
397１３２人目の素数さん
垢版 |
2023/07/26(水) 00:28:18.27ID:I+4n0pmj
誰もアイディアの核心を理解できないというのに応用が広まっているとはこれ如何。
2023/07/26(水) 00:46:28.07ID:z/ISBBf3
誰がどう考えても理屈が合わない話
正常な判断力を持つものなら絶対やらない方を信じる
理性的にありえないという声と自分がこうあって欲しいという願望の間で自分の願望の方をとってしまう
このメカニズムは糖質のアタマの中のメカニズムと一緒
それがもはや社会生活を行えないほどに悪化したのが糖質
本質において同じ
2023/07/26(水) 00:47:38.57ID:4PUm6HXL
金は先行投資の方面にあてるべき
エンタメ的な消費のされ方をされるとトンデモ証明者の発生源になりレフェリーに迷惑かかる
400１３２人目の素数さん
垢版 |
2023/07/26(水) 02:40:45.02ID:cjvhtnNN
>>388
よお数学のSTAP事件
2023/07/26(水) 03:41:15.83ID:BSsFKEtn
>>394
>>400
量子コンピューターへの応用についてはフェセンコが記者会見で説明してたろ？
https://www.youtube.com/live/Xy4i0rqy4eE?t=1020
402１３２人目の素数さん
垢版 |
2023/07/26(水) 06:36:08.80ID:IHiRkqZG
具体性はなかったが
403１３２人目の素数さん
垢版 |
2023/07/26(水) 09:16:12.03ID:Pr5te740
>>388
>>401
「役立つ可能性がある」としか言ってないが。。
デマを流してるというか本人はそもそも内容を理解する能力がないんだなこれ。
404１３２人目の素数さん
垢版 |
2023/07/26(水) 12:55:27.06ID:jPXaEh+t
　　　　　／ ￣｀Y ￣ ヽ 　 ／ ￣｀Y ￣ ヽ 　.／ ￣｀Y ￣ ヽ 　 ／ ￣｀Y ￣ ヽ 　.／ ￣｀Y ￣ ヽ
　　　　/　 / 　　　　　　ヽ/　./ 　　　　　　ヽ/　/ 　　　　　　ヽ/　./ 　　　　　　ヽ/　/ 　　　　　　ヽ
　　　 ,i　/ // / i 　　i l　ヽ/ // / i 　　i l　ヽ/ // / i 　　i l　ヽ/ // / i 　　i l　ヽ/ // / i 　　i l　ヽ
　　　 |　 //　/ l | | | | ﾄ､ | //　/ l | | | | ﾄ､ | //　/ l | | | | ﾄ､ | //　/ l | | | | ﾄ､ | //　/ l | | | | ﾄ､ |
　　　 |　|| i／ .⌒　　⌒ | ||| i／ .⌒　　⌒ | .|| i／ .⌒　　⌒ | ||| i／ .⌒　　⌒ | || i／　ヽ､　 ノ　| |
　　　（Ｓ|| |　 （●） （●） ||| |　 （●） （●） ||| |　 （＞） （●） ||| |　 （＞） （●） ||| |　 （＞） （●） |
　　　 |　|| |　　　　 .ﾉ　　）||| |　　　　 .ﾉ　　）||| |　　　　 .ﾉ　　）||| |　　　　 .ﾉ　　）||| |　　　　 .ﾉ　　）|
　　　 |　|| |ヽ､＿ ▽ _／| ||| |ヽ､＿ 〜'_／| ||| |ヽ､＿ ▽ _／| ||| |ヽ､＿ 〜'_／| ||| |ヽ､＿ ▽ _／| |
　　　 |　|| ／￣　丶　 丶 　 ／￣　丶　 丶　 ／￣　丶　丶 　 ／￣　丶　 丶　 ／￣　丶　 丶 |ﾉ
　　　　　/　　　　　　＼ﾉ　 /　　　　　＼ ﾉ 　/　　　　　＼ ﾉ　 /　　　　　＼ ﾉ　 /　　　　　＼ ﾉ　　　 ｎ
　　　　│　　　＼　　　ーーー　 ＼　　　ーーー　＼　　　ーーー　＼　　　ーーー　 ＼　　　ーーー┘ヽ
　　　　ﾉ　　　　 　＼＿＿＿＿＿　＼＿＿＿＿＿　＼＿＿＿＿＿　＼＿＿＿＿＿　＼＿＿＿＿＿ ｝
　　／　　　　　　／　／　　　　　　／　 ／　　　　　　／　／　　　　　　／　／　　　　　　／
　/　　　　　　　/　 /　　　　　　　/ 　./　　　　　　　/　 /　　　　　　　/　./　　　　　　　/
　{∴　　　　　Ｖ 　 {∴　　　　　Ｖ　　 {∴　　　　　Ｖ 　 {∴　　　　　Ｖ　　{∴　　　　　Ｖ
　ヽ　　　　　　ヽ二 ヽ　　　　　　ヽ二 ヽ　　　　　　ヽ二 ヽ　　　　　　ヽ二ヽ　　　　　　ヽ
　　 ヽ　　　　　丶　　 ヽ　　　　　丶 　　 ヽ　　　　　丶　　 ヽ　　　　　丶　　 ヽ　　　　　丶
　　　　 ＼　　　　｝　　　 ＼　　　　｝　　　　 ＼　　　　｝　　　 ＼　　　　｝　　　　＼　　　　｝
405１３２人目の素数さん
垢版 |
2023/07/26(水) 16:54:46.37ID:2pnVW0Ut
早く一億４千万円獲得したら？
こんなとこでグチグチ無駄に誹謗中傷してないで
2023/07/26(水) 17:17:07.74ID:xrEBICH8
無理や言うてんのにわからんクズやな
2023/07/26(水) 18:28:36.84ID:4PUm6HXL
これ、間違ってないことを証明しても100万ドル貰えないのがウケる
408１３２人目の素数さん
垢版 |
2023/07/26(水) 21:54:09.21ID:IHiRkqZG
10万なら
409１３２人目の素数さん
垢版 |
2023/07/26(水) 22:07:34.14ID:hoPXv5Op
>>407
多分もらえるんだと思うけど
410１３２人目の素数さん
垢版 |
2023/07/26(水) 22:11:33.69ID:IHiRkqZG
100万以上の価値がありそう
2023/07/26(水) 22:29:11.84ID:9D9pFc5u
欠陥見つけて金支払われなかったらもうこの理論自体破滅やろな
412１３２人目の素数さん
垢版 |
2023/07/27(木) 08:51:14.98ID:DzlLz7WT
>>390
間違い探しに参加せよ！！
413１３２人目の素数さん
垢版 |
2023/07/27(木) 08:53:31.85ID:DzlLz7WT
>>391
過去にもカネがかかれば飛躍的に進歩を遂げたことなんていくらでもあったろ？
414１３２人目の素数さん
垢版 |
2023/07/27(木) 19:52:22.48ID:I25CNhPe
　 　 　／ ￣｀Y ￣ ヽ..、
　 　　/　 /　 　　　　　ヽ...
　 　 i　 / // / i　 　i l　ヽ.
　 　 |　 //　/ l | | | | ﾄ､ |
　 　|　|| i／l|lへﾉ　,,ノ | |　　　 ＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
　 （Ｓ|| |　 （へ）　（へ）.|　　／
　 　|　|| |.l|l|　　　.ﾉ　　）|　＜ミッネラ〜ル　む・ぎ・茶♪
　 　|　|| |ヽ､__ｨｪｴｦ_／| |.　　＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
　　　　　　／　　　 ＼
　　　　　　|　l　　 　l　| 　　　 ..,. ., .,
　　　　　　|　|　　　 | _|｡.:_:：゜｡-.;.:゜｡:.:;。
　　　　　　ヽ ＼_　.｡'ﾟ/　　　`｡:､｀；゜:;.::.｡:.:。
　　 　　　/＼_ﾝ（i）ｿ＼　　　 ::..゜:: ﾟ｡:.:.::.。.｡:.
.　 　　　/　 /`ｰ'ｰ'＼ ＼　　゜: ::..゜:: ﾟ｡:.:.:，｡:.:.
　　　　〈 　く　　　　　/　/　::..゜:: ﾟ｡:.:.:，.:.:.:｡:.:，
.　 　　　＼　L　　　./　/　＿::..゜:: ﾟ｡:.:.:，.:.:，.:.:.:，
　 　　　　〉　）　 （　.::旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦.
　　 　　（_,ノ　　　 .`ー'旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦.
415１３２人目の素数さん
垢版 |
2023/07/29(土) 09:46:49.71ID:/BMUo28s
>>411
いや、その場合カネ払っても同じ。
・・・カネやるからだまっとけって？ ｗ
416１３２人目の素数さん
垢版 |
2023/07/30(日) 15:44:19.71ID:f1/2sF+a
　　　　 ,ｒ- ､,ｒ- ､
　　　／// | | | l iヾ
　　/./　⌒　　⌒ ＼ヽ
　 // .（⌒）　（⌒） ヽヽ
ｒ-i./ ////(･･)//// ヽl-､
| | |　　 .)ﾄ-＝-ｲ(　　| |_ﾉ
｀| |ヽ　　 ヽ==ノ　　.ﾉ| |.
| | | |＼　｀ｰ-‐'' ／.|／
　　　γ´　　　　　＼
　　　/　...::::ｒ ヽ::::.. 　ヽ
　　/　　.../::::::::::.｀ー.　i
　/ 　..:::人;;;;;;::::::::.　 ヽヽ
/　 ―<　　＼;;;;::::::..　 ヽヽ　　　
ヽ::....　　｀ｰ 、｀ヽ、:::　　ヽ i
　 ｀ー ,,_.... 　｀ー<:::::::　　　i＿＿＿_　　　　 ＿＿__ -＝=　＿_　　　　　　ニ三　.／　　｀ヽ　　　　　ニ三　.／　　｀ヽ
　　　　　￣ヽ、　 ｀＼　　災二―　　￣￣￣ 　 三ヾ 、　　　　 ｀ヽ　―ニ　 　 ノ 　　　　　!　　―ニ　 　 ノ 　　　　　!
　　　　　　　　７ヘヾヾ>　 |::::::....　　 　 　 　 　 　 三　≡__　　　 .ノ　　　―~~~⌒ヽ 　 　 ノ 　　　　―~~~⌒ヽ 　 　 ノ
　　　　　 　 　 |:::::::￣　　 |≡＝―--　＿＿＿＿ =三＝― '''"　　　　　　　　￣　　　￣ 　　　　　　　　　￣　　　￣
　　　　　　　　i:::::::　　 　 /
　　　　　　.／i:::::　　　 ::/
　　＿,,　'";;;;/;::.　　　:::/
　（;;;;;;;;;;;r―|::;　　　 :::/
　　＞''"￣｀ヽ　ﾉ　:::/
''´　　　　　　 　 ::::／
2023/07/30(日) 20:34:17.32ID:Muttyck+
この論争は原理的には"証明"を機械的に検証可能な形に変換することで解決できるのだが、
問題は懐疑論者たちの"無知"だけであり、その必要はないと信奉者は主張する。

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

https://press.princeton.edu/ideas/why-prove-it
418１３２人目の素数さん
垢版 |
2023/07/31(月) 08:59:09.55ID:7KV1+EbX
　　　　／￣`Y ￣ヽ､
　　　/　/ / / l | | lヽヽ
　　/　/ //　⌒　 ⌒ヽ
　　|　| |/　 （●）　（●）
　 （Ｓ|| | 　　⌒　･ｨ＿ ﾉ　
　　|　|| |　　　 ,ｒ'´;:;:;:;:;ヽ
　　|　|| |　　　 !;:;:;:;:;:;:;:;:;:＼
　　|　|| | ＼＿_ヽ;:;:;:;:;:;:;:;:;:ヽ
　　|　||/⌒ヽ 　　｀ｰ;:;:;:;:;:;:;::ｑ
　　|　 i　 ､ 　＼／｀つ:;:. α. |
　　|　i 　　 ＼　 ／　　､＿_ノ
2023/07/31(月) 12:26:35.08ID:LI+caE5C
荒らしてんの望月か？
420１３２人目の素数さん
垢版 |
2023/07/31(月) 12:37:31.77ID:xU6ZiF3E
ここに書き込んでるような輩は肯定派、否定派とも無能だからな。
有能な人々は小遣い稼ぎのため、欠陥探ししてるよね。
それなりの金額だもん。
2023/07/31(月) 12:59:52.33ID:iCcW73m+
ゴールドラッシュだな
422１３２人目の素数さん
垢版 |
2023/07/31(月) 13:56:09.70ID:jVIcqJvr
>有能な人々は小遣い稼ぎのため、欠陥探ししてるよね。

アホですか、
間違ってすらいないものは空疎と詭弁
で、欠陥さえないと開きなおれる
2023/08/01(火) 10:19:52.76ID:RgMNfB9L
>>420
こんな賞金制度がまともに機能するとかどんなお花畑だよwww
2023/08/01(火) 11:42:08.57ID:ZFD7Ijs/
糖質にそんな理詰めで話しても通じない
彼らの脳内の理性を司る部分はもう自分の方が間違ってることを認めている
まともな精神持ってる人間はどんなに駄々をこねても理屈の上で成り立立たない事を強弁しても意味ないからそこで持論を引っ込める
しかし糖質は“自分が負けない事を優先”するのでどんなに自分の理性の部分が否定しようと持論を曲げない
なので理屈で彼らを説き伏せるのは不可能
もはや言葉は通じないし第三者はどうする事もできない
本人たちもどうもできないのでもはやこの沼にハマってしまったら助け出すことはできない
425１３２人目の素数さん
垢版 |
2023/08/01(火) 12:09:10.94ID:/PT7EsPy
>>423
だよね。たしかに無能には機能しないわ
426１３２人目の素数さん
垢版 |
2023/08/01(火) 12:24:14.74ID:YuvU5yzW
これで有能が熱くなるか？
2023/08/01(火) 12:30:52.36ID:qmyID9zJ
424
核心は糖質な人を罵倒させる
428１３２人目の素数さん
垢版 |
2023/08/01(火) 13:38:53.62ID:xczLr8LN
IUT理論の普及といっても数学者ですらほとんど理解できないのをどうやって普及するんだ
429１３２人目の素数さん
垢版 |
2023/08/01(火) 17:28:00.16ID:9XFzkQOm
疑いがかかってるところを論理式と推論規則で丁寧に埋めれば1億円貰えるんだろ？
2023/08/01(火) 18:06:59.23ID:0PXxgaoV
無理
そもそも望月論文は通常の一階述語論理を用いているかすら不明
通常の数学の論文は一階述語論理に翻訳できる文章を普通の文章に書き直して記述されてる
その方法もほとんどdefacto standeredとして確立してるルールに則っていれば誰でも相互に翻訳できる
そもそも望月論文はそのルールを逸脱しているからそもそも「何言ってるかわからない」
ルールもなんもなしの世界で数学っぽい単語を並べ立ててるだけ
検証もへったくれもない
新着レスの表示
レスを投稿する

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