In this video we discuss various approaches to the philosophy of mathematics, including not only Platonism, the default position for most mathematicians, but also the Aristotelian realist philosophy proposed by the Sydney School led by James Franklin...https://www.youtube.com/watch?v=p9xX-Jpsr_E
...In mathematics, we want to write things down. That way we can check what we are actually talking about. Other people can look at it, and assess whether it makes sense or not. We can more easily compare what we are thinking about with other, perhaps related concepts/objects/patterns.
Just to point out, that this philosophical argument (that reasonably big natural numbers doesn't exists, it is not mathematical one).
There is some backgroung for this video below, you may want to see them to understand what is k and where 10 tri 4 is taken from and more).
Ниже есть продолжение.