[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 http://rio2016.5ch.net/test/read.cgi/math/1568026331/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
204: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/15(日) 10:31:19.50 ID:NNU+uf1a >>200 >集合論ではない(「集合」と「属する」という「無定義用語」によって、公理系を記述していない。あくまで「圏論」流に、「対象Aから対象Bへの射」という「無定義用語」しか本質的に使っていない。 ”「集合」と「属する」という「無定義用語」によって”か なるほど 「属する」(∈)は、「無定義用語」(未定義用語)だったか 確かに、公理を記述するとき、どうしても、「無定義用語」(未定義用語)は避けられない それは、少ない方がいいのだが 公理的集合論では、「属する」(∈)は、「無定義用語」(未定義用語)だとすると あとは、それをどう解釈し運用するかだな そこを書いているのが、下記 >>164 酒井 拓史 神戸大学 だな(^^ https://www.sci.shizuoka.ac.jp/~math/yorioka/ss2019/sakai0.pdf P17 整礎的関係 R を集合X 上の二項関係とする. 基礎公理により,すべての集合X に対して, ∈| X := {(x; y) ∈ X × X | x ∈ y} はX 上の整礎的な二項関係. (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1568026331/204
210: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/09/15(日) 11:14:04.75 ID:NNU+uf1a >>204 補足 https://researchmap.jp/hsakai/ 酒井拓史 サカイ ヒロシ 経歴 2013年11月 - 現在 神戸大学 システム情報学研究科 准教授 2010年10月 - 2013年10月 神戸大学 システム情報学研究科 講師 2008年10月 - 2010年9月 神戸大学 工学研究科 助手 http://rio2016.5ch.net/test/read.cgi/math/1568026331/210
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.042s