「ABC予想」の証明理論、欠陥見つけたら1.4億円 (889レス)
「ABC予想」の証明理論、欠陥見つけたら1.4億円 http://rio2016.5ch.net/test/read.cgi/math/1688704076/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
882: 132人目の素数さん [] 2025/01/05(日) 09:31:45.87 ID:y/tQADnI >>880-881 ・糖質ではなく、本質でしょ?w (^^ つまり、世間では ショルツェ氏の文書が IUTを数学的に否定したと 思われているが、その実 数学的な欠陥を露呈したのが ショルツェ氏の文書だった ”radical simplifications”なんて、数学外道の議論だったってこと! それがはっきりしたのが 川上 100万ドル懸賞の手柄です!! ・”主催のIUGCとやらが消滅した”は、下記の通りで 一応、名称変更 ”ZEN 数学センター(ZMC)(旧:宇宙際幾何学センター)”ね 名称変更は、ビジネスとしては 大事だよ 名称次第で、アピール力が 全く違ってくるからね (^^ zen.ac.jp/news/zcwvvxssp3r ニュース ZEN大学研究プロジェクト名称変更のお知らせ 2024/11/12 ・ZEN 数学センター(ZMC)(旧:宇宙際幾何学センター) 所長:加藤文元 「現代数学 + コンピューター」をテーマに研究する研究所です。人工知能やコンピューター科学の発展で数学が変わろうとしている現代において、ZMCは現代数学の未来を開きます。 「遠アーベル幾何学」など日本が世界をリードする現代数学の研究を推進し、コンピュータ言語を用いた現代数学の形式化*(formalization)の発展を目指します。 また、ZEN大学では理論と応用の両面から、現代数学の入門講座や講義、ゼミなどを数多く提供し、社会と数学のつながりを広げていきます。 *「形式化」とは数学の定理の証明をプログラミング言語に変換すること。これにより証明の議論が客観的に整理され、その精密な検証が可能になります。 http://rio2016.5ch.net/test/read.cgi/math/1688704076/882
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.509s*