Existe uma formalização matemática das idéias de Hayek sobre a informação e o sistema de preços?

A idéia de Hayek, grosso modo, é que os indivíduos agregados distribuíram conhecimento sobre suas próprias funções de utilidade e sobre condições específicas de fornecimento, que nenhum indivíduo pode supervisionar, e que os mercados podem agregar essas informações eficientemente, enquanto os departamentos de planejamento não podem.

Existe uma formalização matemática das idéias de Hayek sobre isso?

Eric Maskin tem um artigo chamado “ Friedrich von Hayek e Mecanismo de Design ”, Que tenta conectar algumas das idéias de Hayek à teoria (formal) do design de mecanismos. Este artigo, e as referências nele, podem lhe interessar.

Eu realmente luto para encontrar qualquer tipo de formalismo (modelos teóricos, análises empíricas, etc.) nas próprias publicações de Hayek. O melhor que pude encontrar é Reflexões sobre a Teoria Pura do Dinheiro do Sr. J.M. Keynes, Economica, No. 33 (agosto de 1931) , onde ele fala (principalmente qualitativamente) através de algumas de suas discordâncias com as equações na teoria do dinheiro de Keynes.

este é uma coleção de trabalhos mais extensos de Hayek relacionados a teorias de preço. Encorajo-vos a dar uma olhada, mas a única matemática legítima que pude encontrar (além de alguns incluídos no primeiro artigo que mencionei) é uma parte integral relegada a uma nota de rodapé na página 231 e uma série de tabelas nas páginas vizinhas.