This is an attempt to tell a coherent story of a possible path towards an algorithmic revolution in economic theory, based on foundational debates in mathematics. First, by exposing the non-computational content of classical mathematics, and its foundations, it is shown that both set theory and the tertium non datur can be dispensed with, as foundational concepts. Next, then, as a natural seque...