3 Mar
1997
3 Mar
'97
3:45 p.m.
William James continues to write: Might I, then, go on to say that the philosophies of constructive mathematics and category theory really are different? Constructive mathematics is a philosophy. Category theory is not. The question doesn't even type-check. Of course they're different.