Formalising Squiggles
Veer Hitesh Patel, 5 Feb. 2025
Whilst doing math we can visualize definitions using diagrams. We realize that many theorems and definitions can be visualized with doagrams. Yes we can work with axioms and deduce things but it feels more like slavery and succumbing to the thoughts of some untruthful schizo rather than actual real maths - the pursuit of truth? We go from axioms and definitions -> visualizations to help us explain. Shouldn't it be the other way round? Math used to reason the natural world etc. These concepts aren't natural.
———