[過去ﾛｸﾞ] Interuniversal geometry とABC 予想59
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
72: 2025/11/17(月)08:29:20.97 ID:a7cACU/T(4/5) AAS
基本的なことは
>数学はどこへ行くのか？
Over the last 2,500 years, the way we do mathematics has changed surprisingly little
過去2500年間、数学のやり方は驚くほど変化していません。
kevin Buzzard
218(1): 2025/12/03(水)23:13:25.97 ID:V59CA32a(3/3) AAS
>>217
2-ary *=*
2-ary **
∀x.x=x
∀x,y.x=y∧P(x)→P(y)
∀x,y,z.(xy)z=x(yz)
∃e∀x.xe=ex=x
∀x∃y.xy=yx=e
のモデルてこと
240: 2025/12/06(土)18:57:00.97 ID:bRHQWQKU(11/12) AAS
>>239
leanは数学の形式化が対象だ。
IUTは望月新一教授本人が数学でなく
全く新しい理論と主張したから
対象外です？
413: 2025/12/27(土)07:38:31.97 ID:QOJEZDnE(2/5) AAS
望月新一ブログ 2022.5.02
2022年4月NHKスペシャルについて
>更にもう少し時間の余裕があれば、
加藤文元氏の ビデオ や 解説本 にあったような、携帯電話間の通信による喩えを用いることによって、「遠アーベル幾何学」において数学的対象の対称性からその対象の内部構造を復元する仕組みについて解説することもできたはずです。
・石倉朝日記者には単独インタビューもNスペの番組へ出演せず後出し批評.Nスペの質問に答えることができないからだろう
・解説本は加藤文元著「宇宙と宇宙をつなぐ数学」で望月新一監修より望月新一本人の意見だ.
IUT語 p51
「IUT理論は、一般的な数学の パラダイムの枠内では語れない、
全く新しいフレームワークと言語・概念体系を基盤として構築されて いる」 。
・NHKスペシャルの加藤文元発言
「現今の数学との違いをきちんと完全に言語化する、新しい数学の言語体系を、早急に作らなければいけないんじゃないか」
は解説本から必然で本人も黙認している。
省1
489: 01/01(木)18:00:43.97 ID:ZaoGwBkp(3/11) AAS
2chｽﾚ:math
0072 １３２人目の素数さん 2026/01/01(木) 17:27:36.90
自信があるなら、無理して通す必要なんてなかった。
無理して査読を通したのは、むしろ自信の無さのあらわれと取れる。
何がなんでも「証明」を既成事実にしたいという意志のあらわれ。
ID:k+Bb12HM(1/2)
|
0073 １３２人目の素数さん 2026/01/01(木) 17:35:22.29
挫折の少ないエリートだからこそ、
信じられないほど依怙地になる
省4
750(1): 01/17(土)00:21:57.97 ID:9zDaTgPe(2/24) AAS
>数学ではあるでしょ
既存の数学を革新すると言ってるだけで
望月新一本人がパラダイムシフトされ
望月新一語で書かれた全く新しい理論と言っている。
>>17
・IUT語 p51
「IUT理論は、一般的な数学の
パラダイムの枠内では語れない、
全く新しいフレームワークと言語・ 概念体系を基盤として構築されている」
964: 03/28(土)22:40:06.97 ID:usfYrqNM(2/2) AAS
4?の雨
火曜日
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.092s