サクサク読めて、アプリ限定の機能も多数!
omega314 のブックマーク 2021/12/25 15:43
哲学的視点からの直観主義論理入門 [前編][論理][哲学][数学][人間の目線で数学を]2021/12/25 15:43
このブックマークにはスターがありません。 最初のスターをつけてみよう!
mathlog.info2021/12/25
古典命題/述語論理の証明論・モデル論や、健全性・完全性定理に多少触れたことがないと理解できない可能性が高いです。 また、哲学に関する前提知識は必要ありません(おそらく)。 分かっている人向けの説明 「金...
49 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /
omega314 のブックマーク 2021/12/25 15:43
このブックマークにはスターがありません。
最初のスターをつけてみよう!
哲学的視点からの直観主義論理入門 [前編]
mathlog.info2021/12/25
古典命題/述語論理の証明論・モデル論や、健全性・完全性定理に多少触れたことがないと理解できない可能性が高いです。 また、哲学に関する前提知識は必要ありません(おそらく)。 分かっている人向けの説明 「金...
49 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /