12/02/07 08:46:49.33
圏論による基礎に関して誰かまとめて下さいませんか？
ぱっと見ただけでも色々な流儀（？）があって、私なりにまとめると以下の通りですが
互いの関係がよく分かりません。
・「集合論が数学の基礎」というのと「基礎」の意味は同じなのか異なるのか、
・述語論理と数学を繋ぐのかそうではないのか、
・型理論と「圏論をそのまま一階述語論理にのっける公理系」、
・古典論理を採用して置換公理がないのと、直観主義論理で置換公理があるもの
12/02/07 08:46:49.33
圏論による基礎に関して誰かまとめて下さいませんか？
ぱっと見ただけでも色々な流儀（？）があって、私なりにまとめると以下の通りですが
互いの関係がよく分かりません。
・「集合論が数学の基礎」というのと「基礎」の意味は同じなのか異なるのか、
・述語論理と数学を繋ぐのかそうではないのか、
・型理論と「圏論をそのまま一階述語論理にのっける公理系」、
・古典論理を採用して置換公理がないのと、直観主義論理で置換公理があるもの