「ABC予想」の証明理論、欠陥見つけたら1.4億円 (890レス)
上下前次1-新
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
1(3): 132人目の素数さん [sage] 2023/07/07(金)13:27 ID:E0khkneE(1)
数学の超難問「ABC予想」を証明したとする京都大数理解析研究所の望月新一教授の理論について、ドワンゴ創業者で実業家の川上量生(のぶお)さんが7日、「間違いの証明」に100万ドル(約1億4千万円)の賞金をかけると発表した。
https://www.asahi.com/sp/articles/ASR7731Y5R76TOLB018.html
871: 132人目の素数さん [] 2024/08/29(木)23:54 ID:j2wpViul(1)
>>14
あとはコロナだけや
https://d6t5.r.ic0/2yBoq1oqm
https://i.imgur.com/X1bB3fP.jpeg
872: 132人目の素数さん [] 2024/09/20(金)17:06 ID:zUUFDXOw(1/3)
コンピューターの掛け算は実は高速で足し算として計算する(2×3=2+2+2)のだと聞きましたが本当ですか? 本当だとしたらその理由と割り算はどうしているのですか?
https://jp.quora.com/%E3%82%B3%E3%83%B3%E3%83%94%E3%83%A5%E3%83%BC%E3%82%BF%E3%83%BC%E3%81%AE%E6%8E%9B%E3%81%91%E7%AE%97%E3%81%AF%E5%AE%9F%E3%81%AF%E9%AB%98%E9%80%9F%E3%81%A7%E8%B6%B3%E3%81%97%E7%AE%97%E3%81%A8%E3%81%97%E3%81%A6
https://i.imgur.com/bKAGPXX.jpeg
873: 132人目の素数さん [] 2024/09/20(金)17:14 ID:zUUFDXOw(2/3)
命題『掛け算と足し算は別次元である』
>新しい言語体系のIUT語は未完成で早期に作らなければならない
もし本当にそうなら、何故CPU演算でIUT理論が採用されないのか?
IUT理論によるIUT語を、インテル社は採用しないのか?
874: 132人目の素数さん [] 2024/09/20(金)17:26 ID:zUUFDXOw(3/3)
ところで「チンポがシコシコする」という日本語表現は、学術的に正しいと言えるのか?
チンポ「を」シコシコするのではなくて、チンポ「が」シコシコする。この場合、「チンポ」は主語となる。
オブジェクト指向で言う「集約」は2種類あって、全体(俺)と部分(チンポ)が繋がっている場合と、
全体(俺)と部分(チンポ)が別々になっている場合とが考えられる。けれども「チンポ」はそれ自体
が独立した生き物であり、所有者の意思とは無関係に、自ら勃起して「シコシコする」。
例えば寝てる時にエロい夢みて朝起きてみたらチンコが勃起して射精してたとか。
違うか?
「胸がドキドキする」は良いが、「チンポがシコシコする」はダメな理由を、50字以内で述べろ!
875: 132人目の素数さん [sage] 2024/09/20(金)17:39 ID:/ZrtjGuY(1)
その議論をする必要はない(男はチンポと同値のため)
876: 132人目の素数さん [] 01/04(土)15:24 ID:TiYNsBKq(1)
久しぶりに来た
結局、欠陥は見つけられてないってこと?
877: 132人目の素数さん [sage] 01/04(土)16:02 ID:AjkzhBce(1)
欠陥を認められず強弁し続けているってこと
878(1): 132人目の素数さん [sage] 01/04(土)22:45 ID:fwMIWPpV(1)
この賞、消滅したっぽいよ
すなわちIUT負け?勝ち?
879: 132人目の素数さん [] 01/04(土)23:44 ID:JiQXGw+V(1)
>>878
>この賞、消滅したっぽいよ
>すなわちIUT負け?勝ち?
IUT応援スレへの投稿ありがとうございます
・検索で下記がヒットするので、まだ消滅はしていないかも
IUT否定の数学的文書は、例のショルツェ氏の文書(下記)だけ
・もし、ショルツェ氏の文書が 数学として正しいならば
誰か別の人でも 賞金100万ドルの条件を満たす雑誌に投稿すれば良さそう
・ところが、その手の話が、全くない
ということは、ショルツェ氏やその周辺の人たち、ショルツェ氏の文書が 数学として成り立っていないと自覚しているんだろう
実際、下記のショルツェ氏の文書で、自身で ”radical simplifications”と書いている
自明のことだが、数学において ”radical simplifications”は、厳密な議論では無くなってしまう
”radical simplifications”は、数学では 完全にお手つきです!
なので、正規のIUT批判論文にするには、”radical simplifications”無しに 書き直さなければならない
多分、それができない
・2023年07月から、ほぼ1年半たっているのに
いまは、この事実だけを
指摘しておきます
(参考)
zen.ac.jp/news/pwcfj8s9z1nl
2023/07/07 プレスリリース
IUT理論について理論の本質的な欠陥を示した論文を執筆した最初の数学者に贈られ、賞金100万ドルが授与されます。
<IUT Challenger Prizeの審査方法>
審査は川上量生が個人として独自の判断で行います。
zen.ac.jp/lp/icp
IUT Challenger Prizeの紹介
2023年7月、株式会社ドワンゴ創業者の川上量生氏は、個人としてIUT Challenger Prizeの創設を発表しました。
宇宙際タイヒミュラー理論 の「本質的な欠陥」を明らかにした最初の論文に100万ドルを贈呈するというものです。
ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96
宇宙際タイヒミュラー理論
指摘事項
2018年3月、ペーター・ショルツェとジェイコブ・スティックスが京都大学を訪れ、望月と星裕一郎は彼らと5日間議論し[18][19]、双方による議論のレポートの作成につながった。ショルツェとスティックスは、2018年5月および2018年9月に公開した10ページのレポートで、論文IUTT-IIIの系3.12の論理過程で反例があると主張した[20]。ショルツとスティクスによれば、望月の方法では「エッシャーの階段」(正しくはペンローズの階段あるいはシェパードトーン。いわゆる不思議の環の一つ。)のように「ぐるぐるまわっているのに昇り(あるいは降り)つづける」[注 1]といったことが起き、矛盾がないようにした場合、不等式は無意味になるという[21]。
www.math.uni-bonn.de/people/scholze/WhyABCisStillaConjecture.pdf
Whyabc is still a conjecture PETER SCHOLZE AND JAKOB STIX July 16, 2018.
2.1. Glossary: IUTT-terminology and how we may think of these objects.
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.
880(1): 132人目の素数さん [sage] 01/05(日)03:01 ID:Q07oQG48(1/2)
糖質かな
881(1): 132人目の素数さん [sage] 01/05(日)07:47 ID:OrahQAzw(1)
主催のIUGCとやらが消滅したからなぁチャレンジャー賞も消滅
あまり騒がれたくないから黙ってるみたいだけどZEN大学側は、というかKとかBは
882: 132人目の素数さん [] 01/05(日)09:31 ID:y/tQADnI(1)
>>880-881
・糖質ではなく、本質でしょ?w (^^
つまり、世間では ショルツェ氏の文書が IUTを数学的に否定したと
思われているが、その実 数学的な欠陥を露呈したのが ショルツェ氏の文書だった
”radical simplifications”なんて、数学外道の議論だったってこと!
それがはっきりしたのが 川上 100万ドル懸賞の手柄です!!
・”主催のIUGCとやらが消滅した”は、下記の通りで
一応、名称変更 ”ZEN 数学センター(ZMC)(旧:宇宙際幾何学センター)”ね
名称変更は、ビジネスとしては 大事だよ
名称次第で、アピール力が 全く違ってくるからね (^^
zen.ac.jp/news/zcwvvxssp3r
ニュース
ZEN大学研究プロジェクト名称変更のお知らせ 2024/11/12
・ZEN 数学センター(ZMC)(旧:宇宙際幾何学センター)
所長:加藤文元
「現代数学 + コンピューター」をテーマに研究する研究所です。人工知能やコンピューター科学の発展で数学が変わろうとしている現代において、ZMCは現代数学の未来を開きます。
「遠アーベル幾何学」など日本が世界をリードする現代数学の研究を推進し、コンピュータ言語を用いた現代数学の形式化*(formalization)の発展を目指します。
また、ZEN大学では理論と応用の両面から、現代数学の入門講座や講義、ゼミなどを数多く提供し、社会と数学のつながりを広げていきます。
*「形式化」とは数学の定理の証明をプログラミング言語に変換すること。これにより証明の議論が客観的に整理され、その精密な検証が可能になります。
883: 132人目の素数さん [sage] 01/05(日)16:04 ID:Q07oQG48(2/2)
糖質ですね(確信)
884: 132人目の素数さん [sage] 01/06(月)07:24 ID:/T0OAwM4(1)
本質ですよ(発信)
885: 132人目の素数さん [sage] 01/06(月)13:59 ID:/6zFyTnM(1)
彼は自分を天才と考える。
彼は自分のなかまたちを、例外なしに無学な愚か者とみなす。彼以外の人はすべてピント外れである。
自分の敵をまぬけ、不正直、あるいはほかのいやしい動機をもっていると非難し、侮辱する。
もしも敵が彼を無視するなら、それは彼の議論に反論できないからだと思う。
886: 132人目の素数さん [sage] 01/22(水)22:19 ID:PxnMWf5v(1)
Conference on "Arithmetic Geometry" in Honour of Gerd Faltings' 70th Birthday
Peter Scholze とJakob Stixはspeakers
だが、Shinichi Mochizuki(Mochizuki-sensei)の名前がない
https://www.mpim-bonn.mpg.de/faltings70
887: 132人目の素数さん [sage] 01/23(木)12:23 ID:6htsJS7H(1)
この1.4億円ゲームはフェードアウト
かわんごもブンゲンもダンマリ
みんな逃げ始めた?
888: 132人目の素数さん [sage] 02/20(木)00:59 ID:HviRIjoM(1)
念のために確認したいのですが!
ABC予想の、IUT理論を用いず成された証明は、世界中を見渡しても未だ出ていない?
もしそのような証明が、世界中に広く受け入れられてきた既存の標準的な数学のみ用いて成されても、その証明のみで、このスレタイの指す「欠陥見つけた」に該当しますか?
889: 132人目の素数さん [sage] 05/11(日)16:35 ID:A7lRIE+z(1)
【ニコニコ動画】有料会員数が100万人割れ 離脱傾向にカード決済停止が拍車かける [煮卵★]
2chスレ:newsplus
890: 132人目の素数さん [] 07/21(月)19:17 ID:ATW0HyZB(1)
川上量生「山上徹也やばい。この10年で、ここまで日本の歴史を変えた日本人は他にいない」 [419087453]
2chスレ:news
川上量生「山上徹也やばい。この10年で、ここまで日本の歴史を変えた日本人は他にいない」 [487816701]
2chスレ:poverty
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.014s