[過去ﾛｸﾞ] 現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net (681ﾚｽ)

現代数学の系譜 古典ガロア理論を読む37 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1501561433/

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

---

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

---

323: １３２人目の素数さん [] 2017/08/05(土) 18:07:59.69 ID:fzTi57IH >>305 ＞論理学の分野では、あくまでも可算個の集合を扱うのみですが いつどこでだれがそんな嘘を口にした？ ＞論理学の分野でも非可算個の集合を取り扱う機運はないものでしょうか？ そもそも論理学という言葉で何を指してるのか不明 可算集合も非可算集合も出てくる取扱い方はもちろんある 一方で、論理式は必ず有限文字数だし、証明も必ず有限文字数 可算無限の文字数なんてものすら現れない http://rio2016.5ch.net/test/read.cgi/math/1501561433/323

326: １３２人目の素数さん [sage] 2017/08/05(土) 18:12:16.12 ID:KyEGoNmX >>323 >いつどこでだれがそんな嘘を口にした？ あれ？そうなんですか？ 集合Mr で r は実数とかありましたっけ？ ＞そもそも論理学という言葉で何を指してるのか不明 伝統的な論理学で結構です。 ＞一方で、論理式は必ず有限文字数だし、証明も必ず有限文字数 アルゴリズムは必ず終わる必要がありますしね、わかります http://rio2016.5ch.net/test/read.cgi/math/1501561433/326

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.036s