[過去ﾛｸﾞ]
Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
Inter-universal geometry と ABC予想 (応援スレ) 77 http://rio2016.5ch.io/test/read.cgi/math/1761878205/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
488: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 10:04:38.10 ID:P9qVEF++ >>479 >>図式が集合の論理式より重要という独特の価値観を押しつけて>>313 補足しておくと 集合論としては、下記の 東北大 尾畑研のpdf程度で 良いのではないかと つまり、コテコテのZFCの一階述語論理を 学部1年で 押しつけるのは 如何なものかと つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで 前20世紀中頃は、数学は 日常のいい加減な 思考を排して コテコテの一階述語論理を優先すべし （代表例がεδ式） みたく教える人が多かったが 今21世紀は、もう少し 多様な考えが出てきた（その代表が超準や圏論）ように思います （＾＾ (参考) https://www.math.is.tohoku.ac.jp/~obata/student/subject/ 東北大 尾畑研 「集合・写像・数の体系 数学リテラシーとして」の草稿(pdf) 第1章 第2章 第3章 略す http://rio2016.5ch.io/test/read.cgi/math/1761878205/488
490: １３２人目の素数さん [] 2025/11/08(土) 10:23:00.28 ID:ZuSEB9pS >>488 >集合論としては、下記の 東北大 尾畑研のpdf程度で 良いのではないかと >つまり、コテコテのZFCの一階述語論理を 学部1年で 押しつけるのは 如何なものかと ZFCも一階述語論理も理解できないオチコボレが大学教育論語ってて草 >つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで 素直に勉強するのが嫌と言えばよい 言い訳はみっともない http://rio2016.5ch.io/test/read.cgi/math/1761878205/490
492: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/11/08(土) 10:35:55.86 ID:P9qVEF++ >>488 追加 (参考) https://www.math.is.tohoku.ac.jp/~obata/student/subject/ 東北大 尾畑研 「集合・写像・数の体系 数学リテラシーとして」の草稿(pdf) 第1章 https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_01.pdf ここの P14 「定理1.20(背理法)次の推論は有効である」 からの”背理法”の説明が秀逸だ ZFCのコテコテの一階述語論理より、こっちの方が重要だろうさ ；ｐ） (参考)（但し 東京理科大の人は、”背理法被害者の会”が 済むまで 大人しくしておくように。望月先生のような態度は、天才のみに許されるのです （＾＾） https://note.com/uen0/n/n45881d3391b2 背理法に背を向ける（2002,2013・東京理科大学・理学部・数学科） uenotakato（上野尚人:イマイさん）数学講師 2019年5月31日 https://abel.a.la9.jp/sub11.html 背理法被害者の会 東京理科大学理学部第一部数学科 教授 安部直人 http://rio2016.5ch.io/test/read.cgi/math/1761878205/492
497: １３２人目の素数さん [] 2025/11/08(土) 11:06:46.65 ID:hP1E8Bup >>488 結局答えてはくれないんですね>>472,481,484 それから>>458に ストローマンさん http://rio2016.5ch.io/test/read.cgi/math/1761878205/497
511: １３２人目の素数さん [] 2025/11/08(土) 15:07:06.30 ID:3nB+TfKS >>488 >東北大 尾畑研のpdf程度で 良い 第一章の１．４に述語論理出てくるけど、 カラスの世田はこんな基本的なことも 何ひとつ全然理解できてないよ（バッサリ） https://www.math.is.tohoku.ac.jp/~obata/student/subject/TaikeiBook/Taikei-Book_01.pdf http://rio2016.5ch.io/test/read.cgi/math/1761878205/511
512: １３２人目の素数さん [] 2025/11/08(土) 15:28:43.09 ID:3nB+TfKS >>488 ＞20世紀中頃は、数学は コテコテの一階述語論理を優先すべし ＞（代表例がεδ式）と教える人が多かったが つまりカラスの世田は、コーシー列の定義が理解できない、ってコト？ ∀ε＞０．∃ｎ∈Ｎ．ｍ１，ｍ２＞＝ｎ⇒｜ｘ＿ｍ１−ｘ＿ｍ２｜＜ε ＞今21世紀は、もう少し 多様な考えが出てきた（その代表が超準や圏論）ように思います ∀も∃も使わないコーシー列の定義が、 「超準」とか圏論で、どうやったらできるのか示せる？ 口から出まかせの嘘つきカラス君 http://rio2016.5ch.io/test/read.cgi/math/1761878205/512
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
1.279s*