[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)

現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 http://rio2016.5ch.net/test/read.cgi/math/1568026331/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

211: １３２人目の素数さん [] 2019/09/15(日) 11:16:08.53 ID:IzOPqE/a >>207 >いや、そもそも、素朴集合論では、「ノコギリ」はアトム（元）であって、 >集合同士に適用する⊂（包含関係）は適用できない ちょｗ >５）もしノコギリが集合だと考えると と、>>188で言ったのはおまえなんだがｗ サル発狂ｗ http://rio2016.5ch.net/test/read.cgi/math/1568026331/211

232: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/09/16(月) 10:09:42.36 ID:Snw5PyNp >>211 (引用開始) >>207 >いや、そもそも、素朴集合論では、「ノコギリ」はアトム（元）であって、 >集合同士に適用する⊂（包含関係）は適用できない ちょｗ >５）もしノコギリが集合だと考えると と、>>188で言ったのはおまえなんだがｗ (引用終り) どうも。スレ主です。 それ、そもそも、自分で>>188の５）で 「もしノコギリが集合だと考えると」で初めて 「ノコギリは、集合ではなく元だったので ノコギリ∈Z」を導いたのです（＾＾； いや、集合論は、大きく １）アトム（元）がなく、全てが空集合から作られ、元も集合からなるという、その代表がZFC公理的集合論 ２）アトム（元）の存在を認める、素朴集合論や、下記”アトムのある集合論 ZFA （Zermelo-Fraenkel with Atoms）” 二つに分けられる それで、>>188では、この二つを意識的に混ぜて使ってみたわけ まあ、⊂とか∈とかの意味づけが、この二つの集合論で微妙に違うという話をしたかったわけです （参考） http://www.ivis.co.jp/text/20190619.pdf 代替集合論 （Alternative Set Theories）の調査 2019/6/19 古賀明彦 わかみず会用資料 Alternative Set Theories の定着した訳語が分からなかったので，本資料ではとりあえず「代替集合論」とした (抜粋) P80 アトムがある集合論と 基礎の公理の否定公理がある集合論 P82 アトムのある集合論 ZFA （Zermelo-Fraenkel with Atoms） http://rio2016.5ch.net/test/read.cgi/math/1568026331/232

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.035s