philosophy of linear foundations

Last updated Feb 3, 2024

• 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