「#数理論理学」の記事一覧 | Mathlog

数理論理学

$しーた \( ¨̮ ( ¨̮ ( ¨̮ )/$

$しーた \( ¨̮ ( ¨̮ ( ¨̮ )/$

大学数学基礎解説

しーた \( ¨̮ ( ¨̮ ( ¨̮ )/

2024年9月27日

命題論理に入門したい！

数学基礎論,数理論理学,命題論理

1

0

118

0

大学数学基礎解説

2020年12月20日

独立命題とはなにか

数理論理学,独立命題

14

0

2082

1

大学数学基礎解説

2020年11月12日

Craigの絡繰とその相対化

数理論理学,Craigの絡繰,再帰理論

5

0

233

0

文献あり

大学数学基礎解説

2020年11月12日

無矛盾性順序に関する注意

数理論理学,第二不完全性定理,相対的無矛盾性

9

0

286

0

大学数学基礎解説

でーすくん

2020年11月8日

否定論理積(NAND)の完全性 (二元体上の写像)

代数学,数理論理学,ブール代数

3

0

488

0

読み込み中