"The increased role of mathematical formalization is also strongly reflected in the awards, important examples being the Prizes to Samuelson, Hicks, Arrow, Koopmans, Kantorovich, Debreu, Allais, as well as the Laureates in mechanism design, financial economics and game theory."