新規作成
数理論理学
4
Contributors
7
Followers
ホーム
記事
本
人気の記事
大学数学基礎
解説
Alwe
2020年12月20日
独立命題とはなにか
数理論理学
,
独立命題
14
0
1385
1
大学数学基礎
解説
Alwe
2020年11月12日
無矛盾性順序に関する注意
数理論理学
,
第二不完全性定理
,
相対的無矛盾性
9
0
160
0
大学数学基礎
解説
Alwe
2020年11月12日
Craigの絡繰とその相対化
数理論理学
,
Craigの絡繰
,
再帰理論
5
0
121
0
文献あり
4
4
大学数学基礎
解説
でーすくん
2020年11月8日
否定論理積(NAND)の完全性 (二元体上の写像)
代数学
,
数理論理学
,
ブール代数
3
0
428
0
5
5
大学数学基礎
解説
h_yagisita
2020年11月8日
「部分関数を含む数学的構造」の意味論、形式証明系、完全性定理
数理論理学
,
完全性定理
,
部分関数
0
0
42
0
新着の記事
大学数学基礎
解説
Alwe
2020年12月20日
独立命題とはなにか
数理論理学
,
独立命題
14
0
1385
1
大学数学基礎
解説
キンシャチ
2020年11月30日
2元体
代数学
,
数理論理学
0
0
470
0
大学数学基礎
解説
Alwe
2020年11月12日
Craigの絡繰とその相対化
数理論理学
,
Craigの絡繰
,
再帰理論
5
0
121
0
文献あり
大学数学基礎
解説
Alwe
2020年11月12日
無矛盾性順序に関する注意
数理論理学
,
第二不完全性定理
,
相対的無矛盾性
9
0
160
0
大学数学基礎
解説
でーすくん
2020年11月8日
否定論理積(NAND)の完全性 (二元体上の写像)
代数学
,
数理論理学
,
ブール代数
3
0
428
0