>>13227892>What is mathYou take ideas from your brain of two types
starting points and ways to find new points
then you encode these ideas in a system
then you shunt symbols around instead of thinking about things.
It makes for ultra fast ultra safe and followable reasoning.