A calculus of the absurd

6.3 Algorithmic complexity

TODO