ツイッタ「ε-δ論法が難しいわけないだろ」 (223ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
127: 01/01(水)07:47 ID:5Cgme/7b(1/16) AAS
>>123
数学がよくわかってない
思い込み強すぎな人じゃないかなあ
137: 01/01(水)12:28 ID:5Cgme/7b(2/16) AAS
まあ
触らない方がいい人みたいよ
141: 01/01(水)14:06 ID:5Cgme/7b(3/16) AAS
後に引けなくなっちゃったかな？
144: 01/01(水)17:06 ID:5Cgme/7b(4/16) AAS
ほらね
145(3): 01/01(水)21:19 ID:5Cgme/7b(5/16) AAS
件の人は
∀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')
を認めたくないというような
ある言名がどのレベルで適用されなくてはならないかを
厳密に考えることしか許さないのとで
まるで普通の数学ができないんだろうなと思うほかないな
146(1): 01/01(水)21:23 ID:5Cgme/7b(6/16) AAS
>>145
>(∀xP(x))∧(∀xQ(x))=∀x(P(x)∧Q(x))
>を認めたくないのと
∀x(P→Q(x))=P→∀xQ(x)
も認めないみたいね
（もちろんPにxが含まれない場合）
148: 01/01(水)21:25 ID:5Cgme/7b(7/16) AAS
>>145
>厳密に考えること
字面の上でね
153(1): 01/01(水)21:30 ID:5Cgme/7b(8/16) AAS
たぶん
自分の間違いを指摘されて
それを初めて認識したのに
認めたくないんだろうな
154: 01/01(水)21:31 ID:5Cgme/7b(9/16) AAS
ちょっとかわいそうでもあるね
157: 01/01(水)21:38 ID:5Cgme/7b(10/16) AAS
まあ
自分の知っていること以外の何らかの数学上の問題を解くことができない人なんだろうな
て感じも
159: 01/01(水)21:40 ID:5Cgme/7b(11/16) AAS
どっちかっていうと校正屋にピッタリって感じかも
160(1): 01/01(水)21:41 ID:5Cgme/7b(12/16) AAS
数学基礎論で対象になるものだけしか考えないというのも
基礎論が数学であることを認識してないということか
161: 01/01(水)21:47 ID:5Cgme/7b(13/16) AAS
でも
正しい認識をしない校正屋も意味ないよな
165: 01/01(水)22:28 ID:5Cgme/7b(14/16) AAS
指摘されたことを受け入れたくないのは「惜負」という防衛規制ね
167: 01/01(水)22:46 ID:5Cgme/7b(15/16) AAS
>>151
>>>30と>>59が論理的に同じ
ではないことに気づいてないよね
168: 01/01(水)22:49 ID:5Cgme/7b(16/16) AAS
なぜなら
∀ε∃α,β(α+β<ε)
が不足しているからね
まあ
自明だから省略したというのは
結論を導くのには流石に不足だから
さすがに同じではないんだな
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.019s