John Nash

Record year1950–1951

summaryExtending the stable best-response concept to general n-person non-cooperative games and proving that at least one mixed-strategy equilibrium exists in the finite case.

M rationaleThe Nobel fact page and the 1951 original paper support the core object and existence result of Nash equilibrium. It is assigned M6.8 for conceptual generality, formalization, and broad methodological influence, without treating equilibrium as a necessary prediction of actual behavior.

attribution rationaleNash .43; prehistory of game theory .22; prehistory of fixed-point and convex analysis .17; institutions .05; unresolved .13.

overlap boundaryThe 1950–1951 framework for strategies, best responses, and the existence of mixed-strategy equilibria in finite n-person non-cooperative games; it does not claim all of game theory, equilibrium selection, algorithms, experiments, or economic applications.

Evidence gapsThe specific sources of tools, exchanges, and differences in proof between the 1950 short paper and the 1951 paper have not yet been established paragraph by paragraph; subsequent equilibrium selection, refinements, and algorithms are outside this entry.

Record year1954–1956

summaryAdvancing isometric embedding from local, analytic, and topological embedding to global existence and constructions of differing regularity for a broad class of Riemannian manifolds, connecting intrinsic metrics with realization in Euclidean space.

M rationaleNobel and Abel materials explicitly list the embedding theorem as a principal mathematical contribution of Nash and discuss constructivity and the boundary with subsequent work by Günther. It is assigned M6.8 for theorem depth, foundational scope, and its role in subsequent methods.

attribution rationaleNash .43; geometry and embedding prehistory .30; discussion and editorial team .07; institutions .05; unresolved .15.

overlap boundaryThe 1954 C1 and 1956 smooth-Riemannian-manifold isometric-embedding existence results and their constructive methods; they do not claim general manifold theory, subsequent proofs by Günther, or all geometry and PDE applications.

Evidence gapsThe specific theorem scope and technical prehistory of the 1954 and 1956 originals have not been reviewed paragraph by paragraph; the relative value of the C1 and smooth versions has not yet been separately analyzed for sensitivity within the same family.

Record year1958

summaryProviding an independent method for continuity and regularity of solutions under weak conditions, and reusable estimating ideas for the Nash approach in the later collective designation.

M rationaleThe 1958 original paper and Abel commentary list this PDE work as a principal contribution; modern literature makes clear that De Giorgi and Nash are parallel foundations, with Moser following. It is assigned M6.4 for theorem depth and methodological persistence, without treating the joint field name as Nash's alone.

attribution rationaleNash .39; PDE prehistory .29; discussion and publication team .07; institutions .05; unresolved .20. De Giorgi is an independent parallel and is not forcibly assigned to this entry's budget.

overlap boundaryThe 1958 regularity results and proof methods for continuity of solutions to a class of parabolic and elliptic equations with rough coefficients; they do not claim De Giorgi's independent results, Moser's subsequent proofs, or all De Giorgi–Nash–Moser theory.

Evidence gapsThe complete assumptions, proof steps, and prehistory of the 1958 original have not yet been read paragraph by paragraph; the temporal and informational independence from De Giorgi's parallel results still requires dedicated historical sources.

Record year1952

summaryProved that any closed smooth manifold is diffeomorphic to a nonsingular connected component of a real algebraic set, and organized the algebraic–differential bridge later called Nash functions and Nash manifolds.

M rationaleThe Annals original table of contents, the original paper introduction in The Essential John Nash, and IAS mathematical reviews all support the 1952 result and its subsequent formation of an independent research tradition. It solves a topological and algebraic realization problem, distinct in its established result from the metric-preserving problem of isometric embedding; it is assigned M6.3 for general theorem scope and method lineage, without crediting Tognoli's results back to Nash under the later name “Nash–Tognoli.”

attribution rationaleNash .42; Whitney/real algebraic/differential topology prehistory .30; discussion editors .05; institutions .05; unresolved .18. Tognoli is a later improvement, not listed in this point's budget.

overlap boundaryThe 1952 result in “Real Algebraic Manifolds” representing closed smooth manifolds as connected components of nonsingular real algebraic sets, and the Nash function/manifold framework formed thereby; does not claim Tognoli's 1973 strengthening of “connected component” to the entire nonsingular real algebraic set, nor repeat the metric-preserving value of the 1954–56 isometric embedding.

Evidence gapsAll technical lemmas in the 1952 original, Whitney-approximation inputs, and contemporaneous communications have not yet been established segment by segment; the uniqueness of Nash functions and other additional results in the same paper have not been separated for sensitivity analysis.

Record year1950

summaryCharacterize bargaining solutions using comparable feasible utility sets and several axiomatic constraints, making fairness/efficiency claims an explicitly debatable model.

M rationaleThe 1950 original explicitly defines the scope of mutually beneficial two-person cooperation and thanks von Neumann and Morgenstern for their review; the academic introduction notes that independence of irrelevant alternatives has long been controversial. It is assigned M6.0 for its independent axiomatic method and sustained analytical use.

attribution rationaleNash .47; von Neumann .04; Morgenstern .04; prior history .25; institutions .05; unresolved .15.

overlap boundaryThe 1950 'The Bargaining Problem' provides an axiomatic model and unique solution characterization for situations of mutually beneficial two-person cooperation; it does not count union, monopoly, diplomacy, or real-world policy outcomes as delivered, nor does it merge with non-cooperative equilibrium.

Evidence gapsThe direct intellectual prehistory of each axiom and the content of review suggestions remain unresolved/not verified; empirical applicability and power asymmetry boundaries have not been systematically evaluated.