Gale's contributions to mathematical economics include an early proof of the existence of competitive equilibrium, his solution of the n-dimensional Ramsey problem, in the theory of optimal economic growth.
Gale and F. M. Stewart initiated the study of infinite games with perfect information. This work led to fundamental contributions to mathematical logic.
Gale is the inventor of the game of Bridg-It (also known as "Game of Gale") and Chomp.
Gale played a fundamental role in the development of the theory of linear programming and linear inequalities. His classic 1960 book The Theory of Linear Economic Models continues to be a standard reference for this area.
Gale's 1962 paper with Lloyd Shapley on the stable marriage problem provides the first formal statement and proof of a problem that has far-reaching implications in many matching markets. The resulting Gale–Shapley algorithm is currently being applied in New York and Boston public school systems in assigning students to schools. In 2012 The Nobel Prize in Economics was awarded to Shapley for this work.[1]
Gale wrote a Mathematical Entertainments column for The Mathematical Intelligencer from 1991 through 1997. The book Tracking the Automatic Ant collects these columns.
In 2004 Gale developed MathSite, a pedagogic website that uses interactive exhibits to illustrate important mathematical ideas. MathSite won the 2007 Pirelli Internetional Award for Science Communication in Mathematics.
Infinite games with perfect information (with F.M. Stewart). Annals of Mathematics 28 (1953), pp. 245–266.
The law of supply and demand. Mathematica Scandinavica 3 (1955), pp. 33–44.
Neighboring vertices on a convex polyhedron, in “Linear Inequalities and Related Systems” (H.W. Kuhn and A.W. Tucker, eds.), Annals of Mathematical Studies 38, 255–263, Princeton Univ. Press, 1956.
The theory of linear economic models. McGraw-Hill, New York, 1960.
College admissions and the stability of marriage (with L.S. Shapley). American Mathematical Monthly 69 (1962), pp. 9–15.
A note on global instability of competitive equilibrium. Naval Research Logistics Quarterly 10 (1963), pp. 81–87.
The Jacobian matrix and global univalence of mappings (with H. Nikaido). Mathematische Annalen 2 (1965), pp. 81–93.
On optimal development in a multi-sector economy. The Review of Economic Studies 34 (1967), pp. 1–18.
Pure exchange equilibrium of dynamic economic models. Journal of Economic Theory 6 (1973), pp. 12–26.
A curious nim-type game. American Mathematical Monthly 81(1974), pp. 876–879.
The strategy structure of two-sided matching markets (with G. Demange). Econometrica 53, no. 4 (1985), pp. 873–888.
Tracking the automatic ant. And other mathematical explorations. A collection of Mathematical Entertainments columns from The Mathematical Intelligencer. Springer-Verlag, New York, 1998, pp. xii + 241.