Three criteria for truth Presenting linear mathematics I Presenting linear mathematics II Linear solution for the barber Has constructivism failed Constructive mathematics Constructivism in Computer Science and category theory Towards linear mathematics