4 ms·
Ah, not the author's fault then. Just unnecessarily opague terminology in the canon. I'll redirect my irritation to his predecessors (Constructive Logic seems
by ajarmst 10y ago
Ah, not the author's fault then. Just unnecessarily opague terminology in the canon. I'll redirect my irritation to his predecessors (Constructive Logic seems a much better term that doesn't do any violence to the rules of English).
- throwaway729 10y agoIntuitionism is a philosophy of mathematics that is deeply related to but not the same thing as constructivism.