[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む44 (704ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
199: 2017/10/07(土)10:10 ID:3XCqYvtP(1/7) AAS
AA省
200(1): 2017/10/07(土)10:17 ID:3XCqYvtP(2/7) AAS
>>198
>>172の記述で 論理式の箇所は
∃ｘ∈N∀ｙ＞ｘ⇒P(y) だけじゃね？
上記はバカ丁寧に書くと
∃ｘ.ｘ∈N＆∀ｙ.（（ｙ∈Ｎ＆ｙ＞ｘ）⇒P(y)）
となる これ論理式知ってる人なら常識の記法
226(1): 2017/10/07(土)15:22 ID:3XCqYvtP(3/7) AAS
>>207
>自分が導入した ｘ、ｙ、ｎについて、
>ｘのみならず、すべて自分で定義すべし
定義？何をどう定義してほしいのかな？
まず論理式∃ｘ.ｘ∈N＆∀ｙ.（（ｙ∈Ｎ＆ｙ＞ｘ）⇒P(y)） で、出てくるのはｘ、ｙだけ
そして、ｘは∃で、ｙは∀で、限量されている
上記の式を直訳すれば
省2
227(1): 2017/10/07(土)15:27 ID:3XCqYvtP(4/7) AAS
>>207
>おれは、そういう粗雑な記法、思考法は、
>生理的に拒否反応が出るんだ（＾＾
粗雑でもなんでもない
あなたが論理の記法と思考法を全く知らないだけのこと
そしてあなたの生理的拒否反応は
「自分が論理について全く何も知らなかった」
省1
228(1): 2017/10/07(土)15:39 ID:3XCqYvtP(5/7) AAS
>>216
＞早く S_π の co-tail は何項目から先のしっぽなのか自然数で答えてよ
＞存在するんでしょ？ co-tail
どの自然数を答えても、反例が存在する
したがって、矛盾する
結論は、「明示的構成を持たない」ではなく「存在しない」
これが背理法
省6
232(2): 2017/10/07(土)16:39 ID:3XCqYvtP(6/7) AAS
>>205
＞X がすべての車の集合であり，
＞〜 が「同じ色である」という同値関係のとき，
＞ある1つの同値類はすべての緑色の車からなる．
＞X/〜 はすべての車の色の集合と自然に同一視できる．
ID:U9YX2SH3氏は上記の文章を読んでこう考えたらしい
R^N がすべての無限実数列の集合であり，
省7
233: 2017/10/07(土)16:51 ID:3XCqYvtP(7/7) AAS
>>232
任意の(z1,w1)、(z2,w2)∈C^2について、
z1/w1＝z2/w2 もしくは w1/z1＝w2/z2
という関係が成り立つ場合、同値として
同値類を構成できる
このとき、上記の同値類全体を
C^2の中のある連続な曲面
省1
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s