Inter-universal geometry と ABC予想 (応援スレ) 74

Inter-universal geometry と ABC予想 (応援スレ) 74 (974ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

9: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/21(木) 23:05:35.28 ID:/FwGOxIP

つづき
＜“big picture”＞
https://terrytao.wordpress.com/career-advice/theres-more-to-mathematics-than-rigour-and-proofs/comment-page-1/
There’s more to mathematics than rigour and proofs Terence Tao
3. The “post-rigorous” stage, in which one has grown comfortable with all the rigorous foundations of one’s chosen field, and is now ready to revisit and refine one’s pre-rigorous intuition on the subject, but this time with the intuition solidly buttressed by rigorous theory. (For instance, in this stage one would be able to quickly and accurately perform computations in vector calculus by using analogies with scalar calculus, or informal and semi-rigorous use of infinitesimals, big-O notation, and so forth, and be able to convert all such calculations into a rigorous argument whenever required.) The emphasis is now on applications, intuition, and the “big picture”. This stage usually occupies the late graduate years and beyond.
https://terrytao.wordpress.com/career-advice/
Career advice Terence Tao

謎の数学者 の ”数学に向かない人”の話でも 「絵」に例えています
これ“big picture”ですね。 “big picture”が分らないおサルさん(後述)ｗ これでしょうね ；ｐ）
(参考)＜いまリンク切れだが＞
https://youtu.be/q-3IWEyfFQg?t=11https://youtu.be/q-3IWEyfFQg?t=1
数学に向かない人の数学書の読み方。数学者はこうやって読む
謎の数学者 2022/06/07
コメント
@gary8593
2 年前
「絵を描くように」という例えが、めちゃくちゃ腑に落ちました。
特に英語の文献を読む時に精読を心がけすぎて、全体像が掴めなくなることがよくあって困ってたので、参考にします。

https://en.wikipedia.org/wiki/Henri_Poincar%C3%A9
Henri Poincaré
https://en.wikipedia.org/wiki/The_Value_of_Science
The Value of Science (French: La Valeur de la Science) is a book by the French mathematician, physicist, and philosopher Henri Poincaré. It was published in 1904. The book deals with questions in the philosophy of science and adds detail to the topics addressed by Poincaré's previous book, Science and Hypothesis (1902).
(google訳)
直感と論理
最後に、ポアンカレは幾何学と解析学 の科学の間に根本的な関係があるという考えを提唱しました。彼によれば、直感には二つの主要な役割があります。科学的真理を探求する上でどの道を進むべきかを選択すること、そして論理的展開を理解することです。
論理は確実性しか与えず、証明の手段である。直感は発明の手段である。
つづく

http://rio2016.5ch.net/test/read.cgi/math/1755784703/9

201: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/25(月) 18:31:40.61 ID:NbOUr+U1

>>192-198
ふっふ、ほっほ
　>>191の「＜特別寄稿＞スコーレムの有限主義 出⼝, 康夫. 哲学論叢. 2002」
日本の1980年代の大学数学教育は 有限主義的な教え方が主だったろう
だが、その後 ”超準解析”が広まっていった
21世紀では、スコーレム流の有限主義は 古いと思うねｗ　；ｐ）
加藤文元氏 メンタルピクチャーや  Terence Taoの“big picture”としても イマイチだろう（時代おくれ）

(参考)
https://ja.wikipedia.org/wiki/%E8%B6%85%E6%BA%96%E8%A7%A3%E6%9E%90
超準解析
微分積分学の歴史（英語版）は、流率法（英語版）あるいは無限小数の意味および論理的妥当性に関する哲学的論争を孕んでいる。これらの論争の標準的な解決策は、微分積分学における操作を無限小ではなくイプシロン-デルタ論法によって定義することである。超準解析（英: nonstandard analysis）[1][2][3]は代わりに論理的に厳格な無限小数の概念を用いて微分積分学を定式化する。Nonstandard Analysisは直訳すれば非標準解析学となるが、齋藤正彦が超準解析という訳語を使い始めたため、そのように呼ばれるようになった[4][5]。無限小解析（infinitesimal analysis）という言葉で超準解析を意味することもある。
教育的
ハワード・ジェローム・キースラー、デイビット・トールやその他の教育者らは、無限小の使用は学生達にとって"イプシロン-デルタ"アプローチよりもより直感的かつ容易に解析学的概念を把握することができるものである、と主張する[12]。

（>>8-9より再録）
加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
IUTに欠落しているのは、メンタルピクチャー＆形式化図式か
https://note.com/katobungen/n/nccba3ef014f6
note.com
なぜ微分積分学は不完全なのか？
加藤文元 2025年2月23日
メンタルピクチャー
私は数学や数学の理解に関するいくつかの概念とその用語を導入したいと思う。そのうちのひとつは「メンタルピクチャー（MP）」というものだ。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1755784703/201

306: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/26(火) 21:00:55.16 ID:dSyweoWi

>>304
>君、頭大丈夫？
>添え字集合が有限だろうと可算無限だろうと非可算無限だろうと、無限操作なるものが存在するなんの証拠にもなってないことが分からないの？

ふっふ、ほっほ
１）まず、下記の公理的集合論 集合の公理系 において
　その集合に対する操作は、無限有限の区別なし！
　無限集合を扱うのだから、その公理も 無限を扱えるように設定されているのだよｗ　；ｐ）
２）君は、『加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
　Terence Tao “big picture”』が欠落している
３）つまり、日常の数学の下に素朴集合論があり、その下に 公理的集合論がある
　三階建で、3階が日常の数学、2階が素朴集合論、1階が公理的集合論だ
　それで、3階の日常の数学で 何か無限操作を考えるとき
　それを 2階の素朴集合論 なり 1階の公理的集合論に翻訳できれば
　その日常の数学の無限操作は許されるのだよ■　；ｐ）

(参考)
https://ja.wikipedia.org/wiki/%E5%85%AC%E7%90%86%E7%9A%84%E9%9B%86%E5%90%88%E8%AB%96
公理的集合論
集合の公理系
ツェルメロ＝フレンケル集合論（ZF公理系）
・対の公理　任意の要素 x, y に対して、x と y のみを要素とする集合が存在する：
∀x∀y∃A∀t(t∈A↔(t=x∨t=y)) 。
外延性の公理から、x と y に対して対の公理が存在を主張する集合はただ一つであることが言えるので、これを {x,y}で表す。
{x,x} を {x}で表す。これにより順序対の存在が言え、それにより直積集合の存在も言える。
・和集合の公理　任意の集合 X に対して、X の要素の要素全体からなる集合が存在する：
∀X∃A∀t(t∈A↔∃x∈X(t∈x)) 。
外延性の公理から、X に対して和集合の公理が存在を主張する集合はただ一つであることが言えるので、これを X の和集合と呼び、∪Xで表す。
∪{x,y} を x∪y で表す。
・冪集合公理　任意の集合 X に対して X の部分集合全体の集合が存在する：
∀X∃A∀t(t∈A↔t⊆X) 。
外延性の公理から、X に対して冪集合の公理が存在を主張する集合はただ一つであることが言えるので、これを X の冪集合と呼び、
P(X)または2^xで表す。
・置換公理　"関数クラス"による集合の像は集合である：
∀x∀y∀z((ψ(x,y)∧ψ(x,z))→y=z)→∀X∃A∀y(y∈A↔∃x∈Xψ(x,y)) 。
この公理は、論理式 ψ をパラメータとする公理図式である。

>>8-9より 再録
加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
Terence Tao “big picture”
(参考)
https://note.com/katobungen/n/nccba3ef014f6
note.com
なぜ微分積分学は不完全なのか？
加藤文元 2025年2月23日
メンタルピクチャー
私は数学や数学の理解に関するいくつかの概念とその用語を導入したいと思う。そのうちのひとつは「メンタルピクチャー（MP）」というものだ

つづく

http://rio2016.5ch.net/test/read.cgi/math/1755784703/306

603: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/08/31(日) 23:14:01.13 ID:lylF2dxQ

>>457
(引用開始)
ちなみにAIに
・数学科以外でも知っといたほうがいい最も難しい数学
・数学科以外は知らないても全然困らない数学
の例を示してと尋ねたらこう答えた
前者：確率過程
後者：ガロア理論
(引用終り)

まあ、そのAIはGrok（グロック）だろうが
Grokを含めて 生成AI は 相手に結構迎合すると言われている（下記）
数学科のオチコボレさんの さびしい心情に迎合したんだろうよｗ　；ｐ）

さて、>>8-9 加藤文元氏 メンタルピクチャー & “big picture”Terence Tao の視点から
ガロア理論、確率過程 の両方とも メンタルピクチャー & “big picture”の構築に役に立つよ

即ち、ガロア理論は 抽象代数学の 群と体とを主に使う。それと 代数方程式という 多分 中学高校からの数学の大きなテーマ
ガロア理論を理解することで、群と体と代数方程式のジグソーパズルのメンタルピクチャー & “big picture”が手に入る
（この中には 写像や同型、準同型も含まれる）
つまり、これらの抽象代数学の深い理解が得られるんだ。（群と体が分れば、環も理解しやすいだろう）
つまりは、抽象代数学のマスタークラスに到達

同様に、確率過程のためには 大学レベルの測度論的確率論の理解が必要で、測度論的確率論には 測度論の理解がいる
というか、確率論→確率過程 と進むことは 測度論の応用分野を知ることであり、測度論の理解が深まるんだよね
これも メンタルピクチャー & “big picture”の構築に役に立つ

あと、いま学生で20歳前後としようか
60歳くらいまでは、現役で社会で活躍することを考えると、40年後 2065年の社会や必要な数学がどうなっているのか
それは、だれも正確な予測はできないだろうが
ガロア理論、確率過程 くらいは 勉強して 自分のメンタルピクチャー & “big picture”の構築しておくべき
それが、20歳から40年後まで活躍するための 勉強の基礎になるよ

AI？ AIの答えは 読んでみたけど 所詮 古新聞だな
過去は こうだったって話でしか無い。コミだよ■

(参考)
https://note.com/toumu0208/n/nc2cffe7c1c81
note.com
AIに相談したら、全部うなずいてくれた──それって本当に安心？
桃生篤（株式会社Toumu）
2025年5月3日
今日は、GPT-4oという生成AIで起きた「迎合しすぎ問題」について、ちょっと考えてみたいと思います。
GPT-4oというモデルに2023年4月25日にアップデートが入ったとき、「ちょっとユーザーに迎合しすぎてるんじゃない？」という声が上がりました。たとえば、ユーザーが怒っているとそれに同調したり、不安に対して「そうですね、怖いですよね」と返したり。

http://rio2016.5ch.net/test/read.cgi/math/1755784703/603

712: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/09/03(水) 14:39:54.01 ID:hNzKNOFY

>>711
>いずれにしろ数学には無限回操作なるものは存在しない
>無限集合、無限列、無限級数・乗積、無限小数、無限合併・交叉、形式的冪級数はいずれも無限回操作の産物ではない

アタマ 堅そうｗ
　>>8-9 加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
＜“big picture”＞ Terence Tao

まあ、言い方はなんでもいい
下記のPeriod-Mathematics氏は
”大学数学（数学科標準）を生き抜くために　〜作法、知恵、勉強法〜
（現代）数学の全体像を大雑把に把握しておく”
という

現代数学から ”無限”に関する部分をすべて消したら？
ニュートン、ライプニッツ以前になるだろうか？

下記の 松本雄也 東京理科大 環論講義ノート
”B.2形式冪級数環と収束冪級数環” 可算無限の項を持つ級数の環
収束するとき、”Cの原点上の近傍での正則関数”

これが、”メンタルピクチャー、形式化図式と数学の「理解」”じゃね？ｗ　；ｐ）

(参考)
http://yuyamatsumoto.com/ed.html
松本雄也
東京理科大学 理工学部 数学科 助教（2018年4月―）
代数学
環論入門コース [2023/03/05] 111 pages

http://yuyamatsumoto.com/ed/kanron.pdf
環論講義ノート
松本雄也  2023年03月05日
B環の例　66
B.1多項式環の亜種：モノイド環，群環.. . . . . . . 66
B.2形式冪級数環と収束冪級数環. . . . . . . . . 67

B.2.1 形式冪級数環
定義 B.6. Aを環とする．直積集合A[[X]] := AN に対し，多項式環と同様に加法と乗法を定める：
この環をA上の1変数の形式冪級数環(formal power series ring) という．
A((X)) := A[[X]][X−1] は形式冪級数に有限個の負冪の項を加えた級数からなる環であり，1元X による局所化でもある．この環の元を形式ローラン級数 (formal Laurent power series) という．Aが体ならばA((X)) = FracA[[X]] でありこれは体である．
B.2.2 収束冪級数環
Aに適切な構造が入っていれば，冪級数の収束や収束半径を考えることができる．ここではA=Cの場合のみ考える．Cの原点上の近傍での正則関数を考えると，そのTaylor展開が考えられ，収束半径は正の実数または無限大である．r>0に対し，Br :={ n≥0anzn |収束半径はr以上である} とする

（追加(参考)）
https://period-mathematics.ｈａｔｅｎａblog.com/entry/2022/02/11/192336
Period-Mathematics
2022-02-11

写像の像より逆像の方が和集合だけでなく共通部分も保つなど良い性質を持つ理由は圏論的な”説明”が出来ます。詳細が気になる方はこちらhttp://yuyamatsumoto.com/ed/adjoint.pdf。一言でいうと像を取る関手は右随伴しか持たないのに対し逆像を取る関手は左随伴も右随伴も持つことに由来します。

大学数学（数学科標準）を生き抜くために　〜作法、知恵、勉強法〜
（現代）数学の全体像を大雑把に把握しておく
これはとても重要だと考えています。具体的にはその後の勉強の（心理的な）しやすさが圧倒的に変わります。

http://rio2016.5ch.net/test/read.cgi/math/1755784703/712

778: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/09/06(土) 09:50:26.95 ID:JgP2aXhR

つづき
さて 下記 ＜厳密だけが、数学ではない＞
『論理は確実性しか与えず、証明の手段である。直感は発明の手段である』 by ポアンカレ
百回音読しましょう！

>>8-9より
＜厳密だけが、数学ではない＞
＜数学と厳密＞
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
https://www.amazon.co.jp/dp/4480095470
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
数学の基礎付けの研究は，数学が厳密でありさえすればよい， という価値観を確立しようとしているものではない.
これは自明のことのようにも思えるが，厳密性を数学と取りちがえるという勘違いは，
たとえば数学教育などで蔓延している可能性もあるので，
ここに明言しておく必要があるように思える
多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
思考のプロセスとしての脳髄の生理現象そのものであろう
したがって，数学はその意味での実存として数学者の生の隣り合わせにあるもの，と意識されることになるだろう
そのような「生きた」「実存としての」(existentialな)数学で問題になるのは，
アイデアの飛翔をうながす(可能性を持つ)数学的直観」とよばれるもので，
これは， ときには，意識的に厳密には間違っている議論すら含んでいたり，
寓話的であったりすることですらあるような，
かなり得体の知れないものである

http://rio2016.5ch.net/test/read.cgi/math/1755784703/778

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 2.556s*