数学基礎論・数理論理学　その19at MATH

---

20:１３２人目の素数さん
23/11/17 00:54:40.20 DIngYup/.net
勝者は数学者が普通に使ってる論理的だけどゆるくしか形式化してない数学やろ
他のシステムは全部その数学を用いて形式化するわけだし

---

次ページ

続きを表示

1を表示

最新レス表示

レスジャンプ

類似スレ一覧

スレッドの検索

話題のニュース

おまかせリスト

オプション

しおりを挟む

スレッドに書込

スレッドの一覧

暇つぶし2ch