Yeah I think you are hitting the on what I think is math reduction thinking. That formalized process of thinking is the esencse of what math is. It's quantitati

Yeah I think you are hitting the on what I think is math reduction thinking. That formalized process of thinking is the esencse of what math is. It's quantitative instead of qualitative. Before math formalized those things it's all an eyeballing and impossible to convey without demonstrations. The simple form of that is for baking but if you gave someone an excel sheet and step by step instructions for building radio antennas they can do it because its been formalized. And this certainly transfers to programming because the writing of a program formalizes the recipe