「ABC予想」の証明理論、欠陥見つけたら1.4億円
数学の超難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の理論について、ドワンゴ創業者で実業家の川上量生(のぶお)さんが7日、「間違いの証明」に100万ドル(約1億4千万円)の賞金をかけると発表した。
https://www.asahi.com/sp/articles/ASR7731Y5R76TOLB018.html RIMS PRIMS
・2018年3月 scholze stix氏京大
RIMSをおとづれる。
・2019年4月1日
RIMSの次世代幾何学研究センター が
数論幾何学,特にIUT理論を中心に広く
次世代の幾何学 の研究を推進するため,量子幾何学研究センターを統合し設置
された。
・次世代幾何学センター 役職。
センター長.望月新一教授./
柏原正樹 特任教授
/森重文 特任教授/
玉川安騎男 教授(併任/
望月拓郎教授(併任)/
つまり2014年12月.
望月新一京大教授のIUTT検証活動
の報告によれば、
IUTTを準備論文から深く理解している
数学者は望月新一IUTT提唱者のみ。
よって
望月新一所長の指導下で所員の/玉川安騎男.PRIMS特別編集委員会委員長/柏原正樹 PRIMS特別編集委員会委員長/森重文RIMS特任教授/らへIUTTの修行が行われた。 「ABC予想」の証明理論、欠陥見つけたら1.4億円
PRIMSが雑誌掲載した論文を、
今度は世界中の人に、証明に本質的な欠陥がないか、広く問うている。
RIMSやSSの信用ではなく、誰かの限定されずに、数学的に正しい論文であるかの査読になる。 判断するのは取り巻き
握りつぶされるだけだ
正当化に利用されるだけ 正しいでも間違いでもなく、
「ギャップがある」っていう第三の状況を理解できないんだろうな
川上みたいな素人は >>371
>>PRIMSが雑誌掲載した論文を、
>>今度は世界中の人に、証明に本質的な欠陥がないか、広く問うている。
これこそが論理のすり替え >>373
「ギャップがある」 ∈ 証明理論の致命的な欠陥 >>373
「ギャップがある」 ∈ 証明理論の致命的な欠陥 「ギャップがある証明」を「証明できた」と主張することは
明確な誤り >>377
>>「ギャップがある証明」を
「こういうギャップがある」という指摘に対し
「その指摘は当たらない」と理由をつけて答えてある。
>>「証明できた」と主張することは
>>明確な誤り
従ってこの主張は明確な誤り。 >>372
>正当化に利用されるだけ
こんな賞にそんな影響力ないだろうに何をそんなに神経質になっているんだか >>378
ガタガタ言うよりさっさと間違い探しして賞金せしめる方がwww良いぞ!! www このまま世界中のだれからも相手にされないまま300年くらいだったらおもろいな 300年後ぐらいにもっと簡単な証明が見つかって、先駆者の正しさがそこからまた300年かけて検証されてくんだろうなと予想 >>381
だれにも間違いを見つけられないからってこと? >>383
このタイプの人間は命題の正しさと証明の正しさの違いさえ理解できてない。 もっと簡単だと主張された証明が現れたとしても、結局それが正しいと判明するまでの年月を考慮しないといけない。更にそんな主張をしてくる証明はほぼほぼまゆつばなので、そのような証明は検証されることもない。従って前半の「300年」は甘すぎる。 でも実際、IUTの要素はすでに実用化(量子コンピューター)されてるのよね。
正しいものとして機能し始めてる。 実業家が金をチラつかせて未解決問題に首つっこんでくるムーブ意味あるのかなと感じる 正直こんなもん意味ない
誰も取れない
取れないだけなので鬱陶しいだけだといえばそれだけだけど、どうせならもっとちゃんとした予想に懸賞かければ意味はあった 誰もアイディアの核心を理解できないというのに応用が広まっているとはこれ如何。 誰がどう考えても理屈が合わない話
正常な判断力を持つものなら絶対やらない方を信じる
理性的にありえないという声と自分がこうあって欲しいという願望の間で自分の願望の方をとってしまう
このメカニズムは糖質のアタマの中のメカニズムと一緒
それがもはや社会生活を行えないほどに悪化したのが糖質
本質において同じ 金は先行投資の方面にあてるべき
エンタメ的な消費のされ方をされるとトンデモ証明者の発生源になりレフェリーに迷惑かかる >>388
>>401
「役立つ可能性がある」としか言ってないが。。
デマを流してるというか本人はそもそも内容を理解する能力がないんだなこれ。 /  ̄`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/ ヽ、 ノ | |
(S|| | (●) (●) ||| | (●) (●) ||| | (>) (●) ||| | (>) (●) ||| | (>) (●) |
| || | .ノ )||| | .ノ )||| | .ノ )||| | .ノ )||| | .ノ )|
| || |ヽ、_ ▽ _/| ||| |ヽ、_ 〜'_/| ||| |ヽ、_ ▽ _/| ||| |ヽ、_ 〜'_/| ||| |ヽ、_ ▽ _/| |
| || / ̄ 丶 丶 / ̄ 丶 丶 / ̄ 丶 丶 / ̄ 丶 丶 / ̄ 丶 丶 |ノ
/ \ノ / \ ノ / \ ノ / \ ノ / \ ノ n
│ \ ーーー \ ーーー \ ーーー \ ーーー \ ーーー┘ヽ
ノ \_____ \_____ \_____ \_____ \_____ }
/ / / / / / / / / /
/ / / / ./ / / / ./ /
{∴ V {∴ V {∴ V {∴ V {∴ V
ヽ ヽ二 ヽ ヽ二 ヽ ヽ二 ヽ ヽ二ヽ ヽ
ヽ 丶 ヽ 丶 ヽ 丶 ヽ 丶 ヽ 丶
\ } \ } \ } \ } \ } 早く一億4千万円獲得したら?
こんなとこでグチグチ無駄に誹謗中傷してないで これ、間違ってないことを証明しても100万ドル貰えないのがウケる 欠陥見つけて金支払われなかったらもうこの理論自体破滅やろな >>391
過去にもカネがかかれば飛躍的に進歩を遂げたことなんていくらでもあったろ? /  ̄`Y  ̄ ヽ..、
/ / ヽ...
i / // / i i l ヽ.
| // / l | | | | ト、 |
| || i/l|lへノ ,,ノ | | _____________________
(S|| | (へ) (へ).| /
| || |.l|l| .ノ )| <ミッネラ〜ル む・ぎ・茶♪
| || |ヽ、__ィェエヲ_/| |. \_____________________
/ \
| l l | ..,. ., .,
| | | _|。.:_::゜。-.;.:゜。:.:;。
ヽ \_ .。'゚/ `。:、`;゜:;.::.。:.:。
/\_ン(i)ソ\ ::..゜:: ゚。:.:.::.。.。:.
. / /`ー'ー'\ \ ゜: ::..゜:: ゚。:.:.:,。:.:.
〈 く / / ::..゜:: ゚。:.:.:,.:.:.:。:.:,
. \ L ./ / _::..゜:: ゚。:.:.:,.:.:,.:.:.:,
〉 ) ( .::旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦.
(_,ノ .`ー'旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦. >>411
いや、その場合カネ払っても同じ。
・・・カネやるからだまっとけって? w ,r- 、,r- 、
/// | | | l iヾ
/./ ⌒ ⌒ \ヽ
// .(⌒) (⌒) ヽヽ
r-i./ ////(・・)//// ヽl-、
| | | .)ト-=-イ( | |_ノ
`| |ヽ ヽ==ノ .ノ| |.
| | | |\ `ー-‐'' /.|/
γ´ \
/ ...::::r ヽ::::.. ヽ
/ .../::::::::::.`ー. i
/ ..:::人;;;;;;::::::::. ヽヽ
/ ―< \;;;;::::::.. ヽヽ
ヽ::.... `ー 、`ヽ、::: ヽ i
`ー ,,_.... `ー<::::::: i____ ____ -== __ ニ三 ./ `ヽ ニ三 ./ `ヽ
 ̄ヽ、 `\ 災二―  ̄ ̄ ̄ 三ヾ 、 `ヽ ―ニ ノ ! ―ニ ノ !
7ヘヾヾ> |::::::.... 三 ≡__ .ノ ―~~~⌒ヽ ノ ―~~~⌒ヽ ノ
|::::::: ̄ |≡=―-- ____ =三=― '''"  ̄  ̄  ̄  ̄
i::::::: /
./i::::: ::/
_,, '";;;;/;::. :::/
(;;;;;;;;;;;r―|::; :::/
>''" ̄`ヽ ノ :::/
''´ ::::/ この論争は原理的には"証明"を機械的に検証可能な形に変換することで解決できるのだが、
問題は懐疑論者たちの"無知"だけであり、その必要はないと信奉者は主張する。
しかし歴史が教えてくれることは、もしユークリッドに倣って数学を自分たちの考えに合うように作り直したいなら、
まずは誰もが理解できる言語で書かなければならないということだ。
https://press.princeton.edu/ideas/why-prove-it / ̄`Y  ̄ヽ、
/ / / / l | | lヽヽ
/ / // ⌒ ⌒ヽ
| | |/ (●) (●)
(S|| | ⌒ ・ィ_ ノ
| || | ,r'´;:;:;:;:;ヽ
| || | !;:;:;:;:;:;:;:;:;:\
| || | \__ヽ;:;:;:;:;:;:;:;:;:ヽ
| ||/⌒ヽ `ー;:;:;:;:;:;:;::q
| i 、 \/`つ:;:. α. |
| i \ / 、__ノ ここに書き込んでるような輩は肯定派、否定派とも無能だからな。
有能な人々は小遣い稼ぎのため、欠陥探ししてるよね。
それなりの金額だもん。 >有能な人々は小遣い稼ぎのため、欠陥探ししてるよね。
アホですか、
間違ってすらいないものは空疎と詭弁
で、欠陥さえないと開きなおれる >>420
こんな賞金制度がまともに機能するとかどんなお花畑だよwww 糖質にそんな理詰めで話しても通じない
彼らの脳内の理性を司る部分はもう自分の方が間違ってることを認めている
まともな精神持ってる人間はどんなに駄々をこねても理屈の上で成り立立たない事を強弁しても意味ないからそこで持論を引っ込める
しかし糖質は“自分が負けない事を優先”するのでどんなに自分の理性の部分が否定しようと持論を曲げない
なので理屈で彼らを説き伏せるのは不可能
もはや言葉は通じないし第三者はどうする事もできない
本人たちもどうもできないのでもはやこの沼にハマってしまったら助け出すことはできない IUT理論の普及といっても数学者ですらほとんど理解できないのをどうやって普及するんだ 疑いがかかってるところを論理式と推論規則で丁寧に埋めれば1億円貰えるんだろ? 無理
そもそも望月論文は通常の一階述語論理を用いているかすら不明
通常の数学の論文は一階述語論理に翻訳できる文章を普通の文章に書き直して記述されてる
その方法もほとんどdefacto standeredとして確立してるルールに則っていれば誰でも相互に翻訳できる
そもそも望月論文はそのルールを逸脱しているからそもそも「何言ってるかわからない」
ルールもなんもなしの世界で数学っぽい単語を並べ立ててるだけ
検証もへったくれもない もしIUTT論文が認められるならIUTTそのものよりその証明に用いた方法の方が価値があったりして じゃあわかりやすく要約できたら一億円とかにすればええやん 数学として成り立ってないとすればそこを指摘すれば一億円もらえるのになんで指摘しないんや? >>435
これまでも問題を指摘した人がショルツェしかいない
そのショルツェの指摘すら第三者たちによって問題点が指摘されておりショルツェの指摘は不成立
つまり現時点で問題点は見つかっていない >>438
Aber du bist einfach nur Feige.
英語ではcoward >>440
何が??
文脈 (笑) ないんだけど... >>429
まぁ、大体そういうことだけど
実はもう一捻り必要 問題を指摘できる段階まで練り上げる人も、指摘された問題の問題点を見つけた人もすごい >>441
文脈からショルツェのことだと分かりませんか >>423
無能者にとっては賞金がいくら高額だろうと画にかいた餅未満だわね。 >>444
実名あげて, 卑怯だとか言わない方がいいと思いますが... いや、ショルツェが無能なわけではないのでこれでよい 数学自体も不完全性定理で欠陥が指摘されてるわけだから気にすんな
IUTも正しい前提で新しい数学体系作っていけばええよ ま、これやろ
300ページ以上掛けて構築した後の外部への応用がabc予想の証明だけで、
その構築の一部分から自明でない外部的な結果がもたらされることは一切ない、という完全に自己完結した理論の存在、というのは私には奇妙なものに思われる。 宇宙際タイヒミュラー論が完全に自己完結した【無敵】の理論てだけでもう俺は興味を無くしたよ
IUT理論信者の小遣い稼ぎ以外に人類が得るものは何も無い数学理論なんて何の意味もない >>450
でも暗号理論なんかだとテクニカルな進化だけで人類は充分重大な影響を受けますよね
特に昨今バカでも分かるようになった第三次大戦前夜の世界情勢においては、尚更重要性は増しますよね 情報に国運を賭けてきたイギリスが厳しい財政の中からでも新たに予算を割いてますね
英国は研究者の多様性にも予算を確保しており、ディスレクシアタイプの研究者もその専門分野での採用をしておくなど、ニューロダイバーシティにも対応してます
数学の外の話になりますけど オランダは言語学者が南米のインディオの語族の中で、2人の兄弟しか生存が確認されなくなった部族の言語研究のために予算を割き、研究所を現地に整えて、その言語の最後の話者と考えられている、部族の生き残りの兄弟を保護して研究をしています。
暗号技術に応用するなら本は充分以上に取れる日が来るかも知れませんね
日頃から投資して基礎研究に余念無く備えておければ、必要になった時には技術開発の役に立ちますから
憂い無しですね 先んずれば人を制す
各専門分野の最先端に精通しておくのは重要ですね
どの分野でも、知らないよりはよく知っている方が、競争には有利になりますからね >>436
数学的におかしいよねって例を挙げたら、その例を捉えて数学的におかしいとか言われてるわけだよ。
もう頭おかしくなるわ。 もうここしかないのだから、好きにやらせればいいんじゃない? ショルツィが理解不足で文句を言ったけど第三者によりそれは的外れであったことがはっきりしている
そして他の数学者たちからはIUTに対して異論が全く出ていない ショルツィってバイエルン地方とか、南ドイツの発音なんですか? 多分将来論文を査読できるAIってのが開発されると思うんだけど
そいつが欠陥を見つけたとしたら1.4億は誰に支払われるんだろう / ̄ ̄\
∧o o/\
(ヲ >◯< ∠三)
(_/___\_)
i:::/'" ̄ ̄ヾ:::i
|/ ,,,,_ ,,,,,,_ヾ|
|=(三)=(三)=|
{ :::(__..:: | < 東北の皆さんに〜!心をこめて〜!投げさせていただきます!
. ', ー=ー ',
ヽ /
_)ー-イ_
|丶><ノ| かたわクン
障害者の豊富な知識と経験に裏付けされたお話や、 そのキャラクターがダウン症児から寝たきりのお年寄りまで大人気の
かたわクンです。連載も多数⇒朝日障学生新聞、 障学館「障学Z年生」、身障社「ハンディキャップ倶楽部」
などでイラストコラムを連載中で著書多数。 健常者どもを相手にかたわやオシ・自閉症児への興味を引き出し
社会福祉と人権保護への理解が増すよう、 かたわクンらしいカリキュラムを組み全国規模で 講演を行っております 457
その第三者に対する望月の評価をしめしておこう
番組後半の、特に最後の部分では、デュプイ氏の活動に焦点を当て、まるで輝かしい「希望の星」であるかのような演出をしています。一般論になりますが、同氏が行なっているような理論の普及活動に取り掛かる前に、まず自分自身、理論を適切に、きちんとした形で理解する必要があります。限定的な、中途半端な理解しかないまま活動を開始してしまいますと、自分自身の誤解を広めることにしかなりません。詳細はここでは控えさせていただきますが、このような一般論から考えると、上述の番組の演出にはただならぬ違和感を覚えます。 >>465
彼の周りでは広告代理店が暗躍しているように見えて仕方がないんだよな >>465
・抽象的な批判しかできていない
・「詳細は控えさせていただく」と言って具体的なことを述べることができていない
・具体的な問題点を言えないため「違和感を覚えます」とごまかしている