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.