[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
835: 2025/10/29(水)09:27 ID:aKdwdxVm(2/2) AAS
>>833
そりゃそう
代数方程式の係数の体の標数が0であれば、
代数方程式の解の存在性と一意性は
代数学の基本定理から保証される
初期値の鋭敏性のため
存在する解が一意的でない常微分方程式もある
いわゆる存在する複数の解の挙動が異なるという現象
836: 2025/10/29(水)09:34 ID:7wkII8bM(4/6) AAS
interpolation and sampling
全射性と単射性
存在と一意性は
問題によっては
互いに双対的な関係にある
837: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/10/29(水)09:45 ID:nBZNRF1I(1/10) AAS
>>822
(引用開始)
>”Bousfield類に関するOhkawaの定理”国際会議を主催して そこで講演したプロ数学者に対して、
>”Bousfiled類”も調べずに 暴言妄言を吐く
調べる必要がない
それがどうしてそうなるか全く示さない発言に
意味があるわけがなかろう
(引用終り)
不勉強、言い訳だけは、いちょまえ （一句）
オチコボレ、言い訳だけは、一流だ （追加）
省4
838(1): 2025/10/29(水)09:57 ID:7wkII8bM(5/6) AAS
>>それがどうしてそうなるか全く示さない発言に
>>意味があるわけがなかろう
「例がある」に対しては「ああそうか」で十分。
839(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/10/29(水)10:15 ID:nBZNRF1I(2/10) AAS
>>831
>どこから学ぶかはたしかに目的次第ですが
>必ず掘り下げる場面が出てきます
>微積と線形代数と群環体論および集合と位相は
>誰でも必要にはなるのでは？
>>828 数論幾何入門 森北出版 外部ﾘﾝｸ:www.morikita.co.jp
モジュラー曲線から大定理・大予想へ
東京大学准教授 博士（数理科学） 三枝洋一 (著)
試し読みで 序文と目次が読める 外部ﾘﾝｸ:morikita.tameshiyo.me
東大教養前期課程 全学自由研究（文系も含め）とある
省23
840(1): 2025/10/29(水)10:38 ID:pgLS+PjN(2/4) AAS
>不勉強、言い訳だけは、いちょまえ （一句）
>オチコボレ、言い訳だけは、一流だ （追加）
自虐はその辺で
841: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/10/29(水)10:44 ID:nBZNRF1I(3/10) AAS
>>826
>代数方程式であれ微分方程式であれ、
>そもそも解が存在するかどうかが肝心であり
>解が存在するとわかれば
>あとは数値計算でゴリゴリ解けばいい
高木「近世数学史談」に 下記算術幾何平均Mの話がある
ガウスは、算術幾何平均Mと楕円積分の間の関係を 数値計算で発見して 楕円関数論を創始したという
ガウスの数値計算でゴリゴリでなく、ガウス流のスマートなものだと 高木「近世数学史談」にあったかな
計算した算術幾何平均Mが、円周率πの数式で表されることを見抜いたガウスの慧眼に、高木先生も 脱帽 （＾＾
なお、高木先生は、数学研究は 演繹でなく 帰納であるべきと説いた
省23
842: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/10/29(水)10:50 ID:nBZNRF1I(4/10) AAS
>>840
(引用開始)
>不勉強、言い訳だけは、いちょまえ （一句）
>オチコボレ、言い訳だけは、一流だ （追加）
自虐はその辺で
(引用終り)
ふっふ、ほっほ
きみらの グダグダを見ていると
>>839 三枝洋一 「モジュラー曲線から大定理・大予想へ」流の
東大教養前期課程 学部１年向け 講義 には
省1
843: 2025/10/29(水)10:55 ID:pgLS+PjN(3/4) AAS
と、大学一年四月のεδ論法が理解できず落ちこぼれたオチコボレさんが申しております
844(1): 2025/10/29(水)12:04 ID:KHhmsz1M(1/7) AAS
セタは所詮「お話」しか理解できないのよ。
数学科なら当然、「証明の機序」を気にするわけだが
セタにはそれはない。
845(1): 2025/10/29(水)12:10 ID:KHhmsz1M(2/7) AAS
セタの理解とは、言葉遊び（連想ゲーム含む）ができる程度に
用語と、諸分野間の関連性を把握すること。大抵のひとは、これで
煙に巻かれるのだろうが、オタクというのは内容に踏み込むから
そうするとボロが出る。
846(1): 2025/10/29(水)12:21 ID:KHhmsz1M(3/7) AAS
オタクは内容に踏み込んでくるから、そうするとセタはボロを出す。
847(1): 2025/10/29(水)12:27 ID:KHhmsz1M(4/7) AAS
たとえば、谷山・志村予想はラングランズ予想の一部であるとされ
そのラングランズ予想は「平方剰余の相互法則」を出発点として
その巨大な一般化になっているとされる。が、セタは「数論に興味なし」
と断言し、相互法則にも興味を示さない。が、三枝氏の本は
さも面白いかのように語る。でも、それっておかしくね？
とオタクなら当然そう思う。
848: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2025/10/29(水)13:18 ID:nBZNRF1I(5/10) AAS
>>838
>「例がある」に対しては「ああそうか」で十分。
>>763
>Bousfield類に関するOhkawaの定理
なるほど
が、その”例”を 理解するためには
まずは、類＝Class (set theory) 下記
を理解する必要があるだろう
オチコボレさんは、下記を
百回音読してねｗ ；ｐ）
省12
849: 2025/10/29(水)13:23 ID:pgLS+PjN(4/4) AAS
なぜ相手が自分より下でないと気が済まないのだろう
精神病んでる？
850: 2025/10/29(水)13:26 ID:vab90mvX(1/2) AAS
>Bousfield類を 理解するためには
>まずは、類＝Class (set theory) を理解する必要があるだろ
ギャハハハハハハ！！！
この🐎🦌 Bousfield類の「類」は、
集合論のクラスだと「誤解」してやがる！！！
Bousfield類の「類」は、同値類の「類」だよ
🐎ぁぁぁぁぁぁぁ🦌
だからいってるだろ？
初歩から勉強しろって
省2
851: 2025/10/29(水)13:28 ID:vab90mvX(2/2) AAS
外部ﾘﾝｸ[rb]:pantodon.jp
「Bousfield localization の強弱関係により,
spectrum の間に同値関係を定義することができ,
その同値類を Bousfield class というが, 」
はい、カラス、今●んだ（笑）
852: 2025/10/29(水)13:36 ID:8xLtSbev(1) AAS
外部ﾘﾝｸ:ncatlab.org
Bousfield class の 濃度はたかだかbeth_2だそうだ
beth_0=aleph_0=ω
beth_1=2^beth_0
beth_2=2^beth_1
853(1): 2025/10/29(水)13:38 ID:eh0t+AkS(1/2) AAS
なんかあっちのスレでicmをleanに打ち込んで検証してるという人出てるから、応援する気なら正しいと信じてる人みんなで手分けして Lean に打ち込んでみればいいんじゃないか？
ちゃんと Lean 通ったらもう誰も何も文句言えなくなると思うよ。
854(1): 2025/10/29(水)13:40 ID:eh0t+AkS(2/2) AAS
icm じゃないや、iut ね。
iut が lean 通ったらもう誰にも文句つけられないと思う。
上下前次1-新書関写板覧索設栞歴
あと 148 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.178s*