[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
48: 2025/11/13(木)12:42:39.85 ID:HgQBsP45(9/14) AAS
>>14
外部ﾘﾝｸ[pdf]:www.math.uni-bonn.de
442: 2025/12/30(火)17:01:25.85 ID:t6wxL/t4(11/15) AAS
IUT関連の研究者が増加中であることが
2025年の要覧からうかがえる
505: 01/01(木)20:06:27.85 ID:eu5+Qu4Q(1) AAS
>>504
望月新一ブログ
Leanによる形式化は、長期的な検証や説明責任を可能にする記録装置となり得るか？
2026.01.01
511: 01/02(金)06:51:13.85 ID:Po0z+OuU(1/6) AAS
想像される最悪のオチ
「IUから任意の命題が証明可能だと判明」（”IUパラドックス”の誕生）
541(1): 01/02(金)20:52:49.85 ID:s0Ay06rF(1/2) AAS
Leanは数学の証明支援機能を持つ純粋関数型言語でプログラミング言語・システム。
一方、IUTの原理は万物の原理「緩み=不定性」で、数学の証明がない量子力学の不確定性原理まで含み数学の範囲を超えていてる。
つまり望月新一教授のトンデモIUTはLeanの範囲外。
612(2): 01/07(水)20:11:37.85 ID:n0eTMukQ(3/5) AAS
>>611
新しく来た人にも読んで貰いたいからでしょ
641: 01/08(木)08:35:21.85 ID:f9krhwgj(4/11) AAS
>ID:Ko4iSOvK
論拠を示しなさい
688(1): 01/09(金)16:08:14.85 ID:7WXy4YX4(2/2) AAS
著者は自らが執筆した論文の成否に関する決定的判断を下す資格が本質的にない。
726: 01/12(月)19:58:55.85 ID:H+UVgcPk(1/2) AAS
順序の公理3
1直線上にある任意の3点の内で他の2点の間にあるものは1点より多くない。
これは
同一直線上にある相異なる3点A,
B,Cに対し、ただ１つの点が存在しその点は他の2点間にある。
円周では成り立たない。
771(1): 01/17(土)12:30:46.85 ID:9zDaTgPe(13/24) AAS
>>769->770
2019年4月発刊の望月新一監修加藤文元著宇宙と宇宙をつなぐ数学は
scholze stixレポートへの回答で
2021年IUTの拡がり(望月新一委員長)
の公式HPに記載された公式本。
・
p66.
論文の価値は何で決まるのか
>何をもって「新しい」と判断できるのか、「正しい」という基準は何か、という点は非常に専門的なポイントです。
>通常の発展時においては当面の題材やその時代における支配的な
省14
835(1): 01/19(月)08:47:13.85 ID:hrVOZ8VY(3/3) AAS
>>834
で望月本人が「パラダイムシフト」なんて言ってんの？
もみ消すも何もどこで言ってんの？
証拠がなけりゃもみ消しようもねえじゃねえか
837(1): 01/19(月)08:58:20.85 ID:NbPXkfFs(5/5) AAS
読むことすら時間の無駄である
942: 03/18(水)23:37:02.85 ID:/u59PU79(1) AAS
自分では何の責任も取れず他人を批判するだけの無能っぽい書き込み
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.002s*