İktisadın Formalist Aksiyomatik Bir Disipline Dönüşüm Sürecinde Hilbert – Bourbaki Yerine Poincare – Brouwer Yaklaşımı Benimsenebilir miydi?

To end the debate on the foundations of mathematics Hilbert attempted to axiomatize mathematics with formalist method. In the same period, physicists who reached to the limits of experimental progress applied the same method to quantum physics. In 1930’s Wald and von Neumann in 1950’s Debreu implemented similar techniques on economics through the General Equilibrium Theory. In this process both of the physics and economics began to use high abstraction level mathematical methods like topology and group theory instead of differential equations. In this study it is assumed that it was inevitable that the economics followed evolution in mathematics and physics. Also it is emphasised two approaches that limits and being alternative to Hilbert’s formalism respectively. First one is the computable mathematics, which was originated by the studies of Gödel and Turing that show limits of formalist axiomatic approach. Second one is the Brouwer’s intuitionistic philosophy that claims mathematics, created by time bounded human mind have to use an algorithmic method. In this framework for economics, potential of using high algorithmic content computable mathematics is discussed.