#論理学 | Mathlog

論理学

人気の記事

大学数学基礎解説

2021年12月24日

哲学的視点からの直観主義論理入門 [前編]

論理学,直観主義論理,言語哲学

23

0

6930

0

文献あり

大学数学基礎解説

2022年1月14日

哲学的視点からの直観主義論理入門 [後編]

論理学,直観主義論理,証明論的意味論

7

0

1656

0

文献あり

大学数学基礎解説

豊穣ミノリ

2023年5月7日

ラムダ計算と Calculus of Constructions の定義解説

論理学,計算機科学,直観主義論理

6

0

588

0

文献あり

4

4

大学数学基礎解説

2025年5月27日

Glivenkoの定理

4

0

676

0

文献あり

5

5

現代数学解説

2022年2月24日

直観主義的論理においても排中律は反証不可能である

3

0

2074

0

新着の記事

大学数学基礎解説

1日前

数理論理学において定石となる数学的道具

0

0

12

0

初心者マーク

初心者

文献あり

大学数学基礎解説

2025年5月27日

Glivenkoの定理

4

0

676

0

文献あり

高校数学解説

2025年2月8日

量化記号の分配律を導いてみる

論理学,数学基礎論

0

0

339

0

文献あり

大学数学基礎解説

2025年1月21日

Löwenheim–Skolemの定理

論理学,コンパクト性定理

0

0

51

0

大学数学基礎解説

豊穣ミノリ

2023年5月7日

ラムダ計算と Calculus of Constructions の定義解説

論理学,計算機科学,直観主義論理

6

0

588

0

文献あり