Does there exist a mathematical formalization of Hayek's ideas about information and the price system?
Eric Maskin has a paper called “Friedrich von Hayek and Mechanism Design”, which tries to connect some of Hayek’s ideas to the (formal) theory of mechanism design. This paper, and the references therein, might interest you.