[過去ﾛｸﾞ]
Inter-universal geometry とABC 予想57 (1002ﾚｽ)
Inter-universal geometry とABC 予想57 http://rio2016.5ch.net/test/read.cgi/math/1723187304/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
137: １３２人目の素数さん [sage] 2024/10/27(日) 09:37:18.18 ID:VCa/nxIm 学費免除とかあるなら覗いてみたい http://rio2016.5ch.net/test/read.cgi/math/1723187304/137
156: １３２人目の素数さん [] 2024/11/04(月) 06:45:45.18 ID:nPydAxRd RIMSも沈黙しているのでは http://rio2016.5ch.net/test/read.cgi/math/1723187304/156
224: １３２人目の素数さん [] 2024/11/21(木) 03:56:08.18 ID:jU0b7pU9 https://ideone.com/e.js/faB4QF http://rio2016.5ch.net/test/read.cgi/math/1723187304/224
246: １３２人目の素数さん [sage] 2024/11/28(木) 09:06:33.18 ID:gwU8Cu0f 李氏チョーセンとオカルト宗教は切り離せない もちろん、隠されたものという意味でのオカルトではない低俗なもの http://rio2016.5ch.net/test/read.cgi/math/1723187304/246
270: １３２人目の素数さん [] 2024/12/01(日) 08:52:32.18 ID:b6Qct+RV 『宇宙際幾何学センター』から『ZEN数学センター』への改称で 宇宙際幾何学の記述がなくなっちゃったわけだけど、 説明を素直に読むとiutの形式化による決着を目指してるっぽい（？） かわんごの判断なら評価できる 今は形式化の人材が見当たらないけど、 何人か雇って理解者に協力してもらえば、 きっと１０年くらいで出来るよね >ZMC（ZEN Mathematics Center; ZEN数学センター）は、 >数論幾何学を中心とした現代数学や、コンピューター言語を >用いた現代数学の形式化（formalization）の推進と発展を >目指して設立された国際研究所です。 >「遠アーベル幾何学」など日本が世界をリードする >現代数学の研究を推進し、コンピュータ言語を用いた >現代数学の形式化*（formalization）の発展を目指します。 > >*「形式化」とは数学の定理の証明をプログラミング言語に >変換すること。これにより証明の議論が客観的に整理され、 >その精密な検証が可能になります。 http://rio2016.5ch.net/test/read.cgi/math/1723187304/270
405: １３２人目の素数さん [] 2025/01/25(土) 09:05:29.18 ID:RS4NiB9F ZEN大学が明石家で 宣伝を開始 http://rio2016.5ch.net/test/read.cgi/math/1723187304/405
416: １３２人目の素数さん [] 2025/02/14(金) 07:48:36.18 ID:mTiARpLR 平成27年(2015年)5月13日 中央教育審議会大学分科会大学院部会 ・資料5 独立行政法人日本学術振興会 . グローバルCOEプログラム委員会. 事務局 研究成果例。 G08 京都大学 数学のトップリーダーの育成。 宇宙際タイヒミュラー理論 。 -数論におけるブレークスルー 宇宙際タイヒミュラー理論を用いることに よってabc予想と呼ばれる数論の難問が解決することが2012年に発表 された。 日本の主な全国紙は言うに及ばず、New York Times などでも報道され、非専門家の間にも 大きな話題 を提供している。 宇宙際タイヒミュラー理論は数理解析研究所の 望月新一教授(GCOE事業推進者)の独創に よるものであるが、 その解説や応用には 多くの若手研究者が関与している。 掲載論文等Shinichi Mochizuki, INTER‐UNIVERSAL TEICHMULLER THEORY I http://rio2016.5ch.net/test/read.cgi/math/1723187304/416
587: １３２人目の素数さん [sage] 2025/06/03(火) 17:40:37.18 ID:w8+CVDcJ >>578 >>>574 「論争は迷宮へ」って、、、 >水掛け論にしたいんかもしれんけど実際は違うよね >価値あるアイディアが誰にも見つけられなかったから >もう見向きされなくなったってだけ（Jを除く） >たとえ間違っててもアイディアがあれば論文は >無価値じゃないし使う人は必ず出てくるもんでしょ それな 例え正しかったとしても使い道がないのでどうでも良い 価値がない http://rio2016.5ch.net/test/read.cgi/math/1723187304/587
628: １３２人目の素数さん [sage] 2025/06/05(木) 01:23:55.18 ID:Bw2dEODy ⸻ 【総合解説】 • 「IUTの証明はなぜ“ラベル再初期化”や“自己同型群の作用情報”が不可欠なのか」 • ラベルや種の区別・自己同型群による多射・非可換的構造を残して初めてIUTの証明が成立し、これを落とせば証明の本体そのものが消える（証明が“失われる”）。 • Scholze-Stix批判はこの“操作省略”や“同一視”が論理的に許されないことを理解せず、「それでも証明が残るはず」と主張していることが構造的誤解。 • 望月の反論は「批判者の誤読・誤簡略化」を論理的・例示的に徹底批判し、証明の成立根拠を「論文と討論会記録」で繰り返し説明している。 ⸻ http://rio2016.5ch.net/test/read.cgi/math/1723187304/628
755: １３２人目の素数さん [sage] 2025/06/08(日) 00:30:40.18 ID:Bb6k345O 動画タイトルで思い出したがCAの研究集会でdisられてたぞ http://rio2016.5ch.net/test/read.cgi/math/1723187304/755
872: １３２人目の素数さん [] 2025/06/12(木) 13:37:43.18 ID:7J6YCw4V space-time tradeoffこそが計算量クラス概念の基本であり space-time tradeoffは現実世界の性質を取り入れた経験科学 数学にはそのような性質は全く存在しない ZFCからspace-time tradeoffを導き出すことは絶対に不可能 経験的に現実世界のモデル情報を公理として追加しない限り絶対に導けない バカがバカペディア眺めても意味ねえっつの http://rio2016.5ch.net/test/read.cgi/math/1723187304/872
910: １３２人目の素数さん [] 2025/06/14(土) 07:56:37.18 ID:di4dqM7I 信者さん、ID隠して発狂連投 http://rio2016.5ch.net/test/read.cgi/math/1723187304/910
913: １３２人目の素数さん [] 2025/06/14(土) 09:59:27.18 背理法知らない=義務教育受けてない http://rio2016.5ch.net/test/read.cgi/math/1723187304/913
973: １３２人目の素数さん [] 2025/06/14(土) 20:33:43.18 >>972 自然科学だろ http://rio2016.5ch.net/test/read.cgi/math/1723187304/973
983: １３２人目の素数さん [] 2025/06/15(日) 09:35:35.18 ID:Eap/oGjV >>981 >ZFC公理系に、追加でペアノの公理を定義と称して 入れ込むように読めるけど？ どうやったらそんなアホな誤読ができるの？ http://rio2016.5ch.net/test/read.cgi/math/1723187304/983
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.034s