[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 http://rio2016.5ch.net/test/read.cgi/math/1568026331/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
91: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/13(金) 08:07:26.32 ID:Ct8Lh9wH >>85 >おまえは{}、{{}}、{{{}}}の三者を >どうベン図で書くつもりだ? 大中小の丸でいいでしょ 三重丸で {}は小丸、{{}}は中丸、{{{}}}は大丸 (>>90より) http://www.math.tsukuba.ac.jp/~tsuboi/und/14logic3.pdf 数理論理学II Akito Tsuboi 筑波大 (抜粋) P11 1.3 順序数 以下では,集合論の公理を仮定する. 定義18. 1. x が推移的である(Trans(x)) とは,∀y∀z(z ∈ y ∈ x → z ∈ x) となることである. (引用終り) 以上 http://rio2016.5ch.net/test/read.cgi/math/1568026331/91
99: 132人目の素数さん [sage] 2019/09/13(金) 19:04:20.78 ID:QEVZazxA >>89 >”フォン・ノイマン宇宙の全ての集合が推移的なわけ”ですよね これはヒドイwww 答えは否 最も簡単な反例{{{}}}は既にしめした 理解できない?頭悪すぎだろ? >>91 >>おまえは{}、{{}}、{{{}}}の三者を >>どうベン図で書くつもりだ? >大中小の丸でいいでしょ >三重丸で >{}は小丸、{{}}は中丸、{{{}}}は大丸 これもヒドイwww 答えはこれまた否 {}⊂{{}} {}⊂{{{}}} はいいが ¬({{}}⊂{{{}}})だぞ 考えてる?脳味噌無いの? http://rio2016.5ch.net/test/read.cgi/math/1568026331/99
100: 132人目の素数さん [sage] 2019/09/13(金) 19:04:55.99 ID:QEVZazxA >>91 http://www.math.tsukuba.ac.jp/~tsuboi/und/14logic3.pdf >以下では,集合論の公理を仮定する. >定義18. 1. x が推移的である(Trans(x)) とは, >∀y∀z(z ∈ y ∈ x → z ∈ x) >となることである. ニワトリは日本語も正しく読めないのか? 定義18の1は、 「集合xが推移的」 という言葉の意味を定義しただけ どこにも 「全ての集合は推移的である」 なんて公理は設定してないw ついでにいうと、これ、続きがあるぞ >2. x が順序数である(Ord(x))とは, >Trans(x) ∧ ∀y ∈ x(Trans(y)) >となることである. >上の定義を言葉で述べると, >「x が推移的とは x が ∈ に関して推移的なこと」, >「x が順序数であるとは,x だけでなくその元もすべて推移的なこと」 >となる. これもどこにも 「全ての集合は順序数である」 なんて公理は設定してないw http://rio2016.5ch.net/test/read.cgi/math/1568026331/100
101: 132人目の素数さん [sage] 2019/09/13(金) 19:05:40.16 ID:+P68OVAU >>91 > 大中小の丸でいいでしょ 空集合と偶数からなる集合と奇数からなる集合を「五重丸」を用いてベン図で表せ Odd = {1, 3} Even = {2, 4} http://rio2016.5ch.net/test/read.cgi/math/1568026331/101
105: 132人目の素数さん [] 2019/09/13(金) 22:02:05.37 ID:T2CuI5jY >>91 >>おまえは{}、{{}}、{{{}}}の三者を >>どうベン図で書くつもりだ? >大中小の丸でいいでしょ >三重丸で >{}は小丸、{{}}は中丸、{{{}}}は大丸 これって知識とか関係無いよね 純粋に知能の有無だよね サルは決定的に知能が欠けている! まあサルだしw http://rio2016.5ch.net/test/read.cgi/math/1568026331/105
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.031s