Rolf Mantel and the Computability of General Equilibria: On the Origins of the Sonnenschein-Mantel-Debreu Theorem

Abstract

In this brief paper we revise the original motivations of Rolf Mantel to pursue a proof of Sonnenschein´s conjecture. We contend that his work on computational models of general equilibrium lead him to seek an alternative to the usual fixed point theorems used in proofs of existence. Confronted with a paper of Uzawa and his own experience in programming a national planning system he found that the use of theorems like Brouwer´s and Kakutani´s was unavoidable. To check out whether Uzawa was right he sought to find out whether the only properties required of excess demand functions to ensure the existence of equilibria in competitive markets were continuity, homogeneity and Walras´ law. In 1974, he found that this was actually the case. We will see that this result and his interpretation were informed by Mantel´s interest in economic development and planning.