“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… — Richard Bookstaber Copy Share Image
