Eight reasons to prefer constructive mathematics to classical mathematics

  1. the aesthetic reason
    (the most natural and elegant logic)

  2. the refined reason
    (constructive logic is the fine structure of classical logic)

  3. the philosophical reason
    (no paradoxes)

  4. the computer science reason
    (the best way to prove programs correct)

  5. the greedy reason
    (free programs from proofs)

  6. the pragmatic reason
    (the logic of interesting tools)

  7. the psychological reason
    (much more to talk about)

  8. the capitalist reason
    (my employer pays me to do it)

(last modification 2002-09-28)