## Eight reasons to prefer constructive mathematics to classical mathematics-
the aesthetic reason (the most natural and elegant logic) -
the refined reason (constructive logic is the fine structure of classical logic) -
the philosophical reason (no paradoxes) -
the computer science reason (the best way to prove programs correct) -
the greedy reason (free programs from proofs) -
the pragmatic reason (the logic of interesting tools) -
the psychological reason (much more to talk about) -
the capitalist reason (my employer pays me to do it)
(last modification 2002-09-28) |