[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
488(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)10:04 ID:P9qVEF++(5/25) AAS
>>479
>>図式が集合の論理式より重要という独特の価値観を押しつけて>>313
補足しておくと
集合論としては、下記の 東北大 尾畑研のpdf程度で 良いのではないかと
つまり、コテコテのZFCの一階述語論理を 学部1年で 押しつけるのは 如何なものかと
つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
前20世紀中頃は、数学は 日常のいい加減な 思考を排して コテコテの一階述語論理を優先すべし
（代表例がεδ式）
みたく教える人が多かったが
今21世紀は、もう少し 多様な考えが出てきた（その代表が超準や圏論）ように思います （＾＾
省8
490: 11/08(土)10:23 ID:ZuSEB9pS(5/21) AAS
>>488
>集合論としては、下記の 東北大 尾畑研のpdf程度で 良いのではないかと
>つまり、コテコテのZFCの一階述語論理を 学部1年で 押しつけるのは 如何なものかと
ZFCも一階述語論理も理解できないオチコボレが大学教育論語ってて草
>つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
素直に勉強するのが嫌と言えばよい 言い訳はみっともない
492(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)10:35 ID:P9qVEF++(7/25) AAS
>>488 追加
(参考)
外部ﾘﾝｸ:www.math.is.tohoku.ac.jp
東北大 尾畑研
「集合・写像・数の体系 数学リテラシーとして」の草稿(pdf)
第1章
外部ﾘﾝｸ[pdf]:www.math.is.tohoku.ac.jp
ここの
P14 「定理1.20(背理法)次の推論は有効である」
からの”背理法”の説明が秀逸だ
省9
497: 11/08(土)11:06 ID:hP1E8Bup(6/11) AAS
>>488
結局答えてはくれないんですね>>472,481,484
それから>>458に
ストローマンさん
511(1): 11/08(土)15:07 ID:3nB+TfKS(7/11) AAS
>>488
>東北大 尾畑研のpdf程度で 良い
第一章の１．４に述語論理出てくるけど、
カラスの世田はこんな基本的なことも
何ひとつ全然理解できてないよ（バッサリ）
外部ﾘﾝｸ[pdf]:www.math.is.tohoku.ac.jp
512: 11/08(土)15:28 ID:3nB+TfKS(8/11) AAS
>>488
＞20世紀中頃は、数学は コテコテの一階述語論理を優先すべし
＞（代表例がεδ式）と教える人が多かったが
つまりカラスの世田は、コーシー列の定義が理解できない、ってコト？
∀ε＞０．∃ｎ∈Ｎ．ｍ１，ｍ２＞＝ｎ⇒｜ｘ＿ｍ１−ｘ＿ｍ２｜＜ε
＞今21世紀は、もう少し 多様な考えが出てきた（その代表が超準や圏論）ように思います
∀も∃も使わないコーシー列の定義が、
「超準」とか圏論で、どうやったらできるのか示せる？
口から出まかせの嘘つきカラス君
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s