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?