新規作成
数理論理学
11
Contributors
7
Followers
ホーム
記事
本
人気の記事
大学数学基礎
解説
Alwe
2020年12月20日
独立命題とはなにか
数理論理学
,
独立命題
20
0
2632
1
大学数学基礎
解説
Alwe
2020年11月12日
無矛盾性順序に関する注意
数理論理学
,
第二不完全性定理
,
相対的無矛盾性
9
0
367
0
大学数学基礎
解説
あにりん
13日前
超丁寧に解説するゲーデルの完全性定理（前編）
数学基礎論
,
数理論理学
,
完全性定理
9
0
857
0
初心者
文献あり
4
4
大学数学基礎
解説
Alwe
2020年11月12日
Craigの絡繰とその相対化
数理論理学
,
Craigの絡繰
,
再帰理論
5
0
337
0
文献あり
5
5
大学数学基礎
解説
でーすくん
2020年11月8日
否定論理積(NAND)の完全性 (二元体上の写像)
代数学
,
数理論理学
,
ブール代数
4
0
552
0
新着の記事
大学数学基礎
解説
あにりん
7日前
超丁寧に解説するゲーデルの完全性定理（後編）
数学基礎論
,
数理論理学
,
完全性定理
3
0
247
0
初心者
文献あり
大学数学基礎
解説
あにりん
13日前
超丁寧に解説するゲーデルの完全性定理（前編）
数学基礎論
,
数理論理学
,
完全性定理
9
0
857
0
初心者
文献あり
算数
解説
たなかしょうき
7月3日
巨大数の定義(オリジナル)作りました。(Googolupstory)
巨大数
,
数理論理学
,
本気
0
0
42
1
大学数学基礎
解説
未見姫ゆめ
3月2日
数学構成論第一部(1)
数学基礎論
,
数理論理学
,
一階述語論理
0
0
22
0
初心者
大学数学基礎
解説
いことんど
2025年6月21日
Ex. 1.1
数理論理学
,
算術のモデル理論
,
不完全性定理
0
0
64
0
文献あり
