数学基礎論・数理論理学　その19 (550ﾚｽ)

数学基礎論・数理論理学　その19 http://rio2016.5ch.net/test/read.cgi/math/1696599483/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

---

17: １３２人目の素数さん [sage] 2023/11/17(金) 00:36:54.54 ID:DIngYup/ よかったね http://rio2016.5ch.net/test/read.cgi/math/1696599483/17

20: １３２人目の素数さん [sage] 2023/11/17(金) 00:54:40.20 ID:DIngYup/ 勝者は数学者が普通に使ってる論理的だけどゆるくしか形式化してない数学やろ 他のシステムは全部その数学を用いて形式化するわけだし http://rio2016.5ch.net/test/read.cgi/math/1696599483/20

22: １３２人目の素数さん [sage] 2023/11/17(金) 01:12:11.00 ID:DIngYup/ 数理論理学って数学を使って論理学を形式化するのがやっぱメインやろ http://rio2016.5ch.net/test/read.cgi/math/1696599483/22

25: １３２人目の素数さん [sage] 2023/11/17(金) 01:20:45.37 ID:DIngYup/ 教科書読めば書いてあるだろ http://rio2016.5ch.net/test/read.cgi/math/1696599483/25

27: １３２人目の素数さん [sage] 2023/11/17(金) 01:29:20.61 ID:DIngYup/ 数学の基礎付けなんて誰もやってないことはスレチ http://rio2016.5ch.net/test/read.cgi/math/1696599483/27

---

ﾒﾓ帳

(0/65535文字)

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.033s