““Mathematics works only with computationally reducible systems. Axioms and deductive logic are intended to provide shortcuts, to give general results that can compress a problem and provide insight into its workings so that it can be solved without having to take on the tedious task of running things through step by step. For example, the math behind ballistics tables allows an artillery gunner to calculate where the shell will land before it is fired. By contrast, there is no precalculated table to consult to determine the best path through rush hour traffic.””
