philosophy of linear foundations

Last updated Sep 8, 2023

• 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