[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
13(6): 10/31(金)11:46 ID:0+I+3mSE(13/18) AAS
つづき
＜厳密だけが、数学ではない＞
＜数学と厳密＞
あなたのまったく逆を、渕野先生が書いている
”厳密性を数学と取りちがえるという勘違い”
外部ﾘﾝｸ:www.amazon.co.jp
数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
「数学的直観と数学の基礎付け 訳者による解説とあとがき」
P314
(抜粋)
省30
494: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)10:53 ID:P9qVEF++(8/25) AAS
>>491
>そもそも一階述語論理は思考法ではないが、そこから分かってないセタが
>>つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
そもそもが、人の日常は 論理だけでは 成り立たない
例えば、下記のドジャース ロバーツ監督 ”逆王手をかけた「5つの神采配」”（下記）
決して 論理だけでは これは 成り立たない！
20世紀は、このような人のもつ能力を殺すことを ”厳密”と称して 数学教育としてきた きらいがある
そこらの反省が 21世紀には出てきたのでは？
>>13-14 数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
"多くの数学の研究者にとっては，数学は，記号列として記述された「死んだ」数学ではなく，
省9
521(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)17:49 ID:P9qVEF++(16/25) AAS
>>519
>大学数学でベン図で可視化とか言ってたらそりゃ落第するわなｗ
話は真逆 >>13-14
加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
＜“big picture”＞ Career advice Terence Tao
これを、常に心がけるべし！ ；ｐ）
562(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/09(日)09:04 ID:QrKJGO9s(3/26) AAS
>>545
>>君は、他人の理解 うんぬんが すきだねぇ〜〜ｗｗｗ
>理解して居れば曖昧にはしないからですよ
>IUT理論を強力に後押ししないのは理解して居ないからかも知れません
>あなたのように理解はしていないが強力に後押ししたい気持を抑えきれない人もいるみたいですけれど
いやいや 間違っていますよ
>>8より再録
(参考)
外部ﾘﾝｸ:hiroyukikojima.ｈａｔｅｎａblog.com/entry/20130424/1366809361
hiroyukikojima’s blog
省23
648: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/09(日)17:08 ID:QrKJGO9s(18/26) AAS
>>641
>Geometric Langlands 1,000ページ論文 で何をやってるのかは、それなりに説明できるが
>IUT論文で同じレベルの説明に成功した人は誰もいない フェセンコも星も山下も失敗した
そこは同意
”説明”→ メンタルピクチャー、“big picture”な！ｗ
(参考) >>13-14 より
加藤文元氏 メンタルピクチャー、形式化図式と数学の「理解」
＜“big picture”＞ Career advice Terence Tao
ただし、数学では ”説明”は 証明の正しさの保証するものではない
21世紀の現代数学の最先端理論は、数学者でも 専門外では すぐには理解できない と
省3
847: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/13(木)10:38 ID:QECWbxG/(1/7) AAS
>>843-844
>>>それが数学という学問の構造の本質というだけでは？
>そこを語る本が最近は少ないような気がしている。
ありがとう
”偏角の原理ーー＞楕円関数の加法定理
ーー＞ヤコビの逆問題の解決ーー＞
リーマン面上の関数論ーー＞
ルンゲの近似定理とミッタク・レフラーの定理
ーー＞クザンの問題
ーー＞岡・カルタン理論
省5
967(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/15(土)13:30 ID:Jxqf+IQV(2/8) AAS
>>965
>これ自体が間違っている（そんなことを加藤文元という方はいってはいない）ということでしょうか？
次スレから
2chｽﾚ:math
>外部ﾘﾝｸ[pdf]:konn-san.com
>強制法セミナー第0回：忙しい人のための強制法 石井 大海 2024-06-02
>強制法は、与えられた現在の集合論のモデル（宇宙、universe）に新たな元を付加して拡張するための一般的な枠組みである
あと、(参考)>>13 より 薄葉先生 再録
外部ﾘﾝｸ[html]:www.mathsoc.jp
企画特別講演 2017年度年会 日本数学会
省21
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.048s