Construtivist approach to the philosophy of mathematics
“Proofs are mathematical objects”
Mathematics is
- a human activity
- Social
- Linguistic
Humans use algorithms to do math, by creating conceptual constructions.
Infinite things can only be reached through an algorithm.