数理論理学
Contributors 4
Tracers 7
トレースする

全 6 記事

解説
大学数学以上
by
Alwe
at
2020年12月21日
独立命題とはなにか
数理論理学，独立命題
744
11
解説
大学数学以上
by
Alwe
at
2020年11月12日
無矛盾性順序に関する注意
数理論理学，第二不完全性定理，相対的無矛盾性
64
9
解説
大学数学以上
by
Alwe
at
2020年11月12日
Craigの絡繰とその相対化
数理論理学，Craigの絡繰，再帰理論
71
5
文献あり
解説
大学数学以上
by
でーすくん
at
2020年11月09日
否定論理積(NAND)の完全性 (二元体上の写像)
代数学，数理論理学，ブール代数
310
3
解説
大学数学以上
by
h_yagisita
at
2020年11月08日
「部分関数を含む数学的構造」の意味論、形式証明系、完全性定理
数理論理学，完全性定理，部分関数
33
0
解説
大学数学以上
by
キンシャチ
at
2020年11月30日
2元体
代数学，数理論理学
202
0