Constructivist 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.