ツイッタ「ε-δ論法が難しいわけないだろ」 (223ﾚｽ)
ツイッタ「ε-δ論法が難しいわけないだろ」 http://rio2016.5ch.net/test/read.cgi/math/1735609892/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
145: １３２人目の素数さん [] 2025/01/01(水) 21:19:42.53 ID:5Cgme/7b 件の人は ∀xP(x) と ∀yP(y) の同値性が自明と感じないのと (∀xP(x))∧(∀xQ(x))=∀x(P(x)∧Q(x)) を認めたくないのと これと (∃xP(x))∧(∃xQ(x))=∃x(P(x)∧Q(x)) というあり得ない等式を同一視して非難するのと スコープについて完全に誤解しているのと N''=max(N,N') を認めたくないというような ある言名がどのレベルで適用されなくてはならないかを 厳密に考えることしか許さないのとで まるで普通の数学ができないんだろうなと思うほかないな http://rio2016.5ch.net/test/read.cgi/math/1735609892/145
146: １３２人目の素数さん [] 2025/01/01(水) 21:23:28.70 ID:5Cgme/7b >>145 >(∀xP(x))∧(∀xQ(x))=∀x(P(x)∧Q(x)) >を認めたくないのと ∀x(P→Q(x))=P→∀xQ(x) も認めないみたいね （もちろんPにxが含まれない場合） http://rio2016.5ch.net/test/read.cgi/math/1735609892/146
147: １３２人目の素数さん [] 2025/01/01(水) 21:25:01.13 ID:9xToLd+V >>145-146 理解力がなさ過ぎて呆れる http://rio2016.5ch.net/test/read.cgi/math/1735609892/147
148: １３２人目の素数さん [] 2025/01/01(水) 21:25:43.37 ID:5Cgme/7b >>145 >厳密に考えること 字面の上でね http://rio2016.5ch.net/test/read.cgi/math/1735609892/148
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.009s