「ABC予想」の証明理論、欠陥見つけたら1.4億円 (890ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
882: １３２人目の素数さん [] 01/05(日)09:31 ID:y/tQADnI(1)
>>880-881
・糖質ではなく、本質でしょ？ｗ （＾＾
つまり、世間では ショルツェ氏の文書が IUTを数学的に否定したと
思われているが、その実 数学的な欠陥を露呈したのが ショルツェ氏の文書だった
”radical simplifications”なんて、数学外道の議論だったってこと！
それがはっきりしたのが 川上 100万ドル懸賞の手柄です！！
・”主催のIUGCとやらが消滅した”は、下記の通りで
一応、名称変更 ”ZEN 数学センター（ZMC）（旧：宇宙際幾何学センター）”ね
名称変更は、ビジネスとしては 大事だよ
名称次第で、アピール力が 全く違ってくるからね （＾＾
zen.ac.jp/news/zcwvvxssp3r
ニュース
ZEN大学研究プロジェクト名称変更のお知らせ 2024/11/12
・ZEN 数学センター（ZMC）（旧：宇宙際幾何学センター）
所長：加藤文元
「現代数学 ＋ コンピューター」をテーマに研究する研究所です。人工知能やコンピューター科学の発展で数学が変わろうとしている現代において、ZMCは現代数学の未来を開きます。
「遠アーベル幾何学」など日本が世界をリードする現代数学の研究を推進し、コンピュータ言語を用いた現代数学の形式化*（formalization）の発展を目指します。
また、ZEN大学では理論と応用の両面から、現代数学の入門講座や講義、ゼミなどを数多く提供し、社会と数学のつながりを広げていきます。
*「形式化」とは数学の定理の証明をプログラミング言語に変換すること。これにより証明の議論が客観的に整理され、その精密な検証が可能になります。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 2.485s*