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

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

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

---

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

---

308: １３２人目の素数さん [sage] 2024/05/16(木) 04:52:31.12 ID:arX/sd11 自説 http://rio2016.5ch.net/test/read.cgi/math/1696599483/308

317: １３２人目の素数さん [sage] 2024/05/16(木) 16:56:13.93 ID:arX/sd11 横だけど、こういうとき論理の規則、p->q等、は何を前提とするの？ http://rio2016.5ch.net/test/read.cgi/math/1696599483/317

321: １３２人目の素数さん [sage] 2024/05/16(木) 18:00:38.18 ID:arX/sd11 >>317 形式的体系 • ヒルベルト流 • 自然演繹 • シーケント計算LK こんな感じね、中味はしらんけど http://rio2016.5ch.net/test/read.cgi/math/1696599483/321

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.017s