In 1959, Nash began showing signs of mental illness and spent several years atpsychiatric hospitals being treated forschizophrenia. After 1970, his condition slowly improved, allowing him to return to academic work by the mid-1980s.[3]
Nash attended kindergarten and public school, and he learned from books provided by his parents and grandparents.[8] Nash's parents pursued opportunities to supplement their son's education, and arranged for him to take advanced mathematics courses at nearby Bluefield College (nowBluefield University) during his final year of high school. He attendedCarnegie Institute of Technology (which later became Carnegie Mellon University) through a full benefit of the George Westinghouse Scholarship, initially majoring inchemical engineering. He switched to achemistry major and eventually, at the advice of his teacherJohn Lighton Synge, to mathematics. After graduating in 1948, with bothbachelor of science andmaster of science degrees in mathematics, Nash accepted a fellowship to Princeton University, where he pursued further graduate studies in mathematics and sciences.[8]
Nash's adviser and former Carnegie Tech professorRichard Duffin wrote a letter of recommendation for Nash's entrance to Princeton, stating, "He is a mathematical genius."[9][10] Nash was also accepted atHarvard University, along with theUniversity of Chicago and theUniversity of Michigan. However, the chairman of the mathematics department at Princeton,Solomon Lefschetz, offered him theJohn S. Kennedy fellowship, convincing Nash that Princeton valued him more.[11] Further, he considered Princeton more favorably because of its proximity to his family in Bluefield.[8] At Princeton, he began work on his equilibrium theory, later known as theNash equilibrium.[12]
Nash did not publish extensively, although many of his papers are considered landmarks in their fields.[13] As a graduate student at Princeton, he made foundational contributions togame theory andreal algebraic geometry. As a postdoctoral fellow atMIT, Nash turned todifferential geometry. Although the results of Nash's work on differential geometry are phrased in a geometrical language, the work is almost entirely to do with themathematical analysis ofpartial differential equations.[14] After proving his twoisometric embedding theorems, Nash turned to research dealing directly with partial differential equations, where he discovered and proved the De Giorgi–Nash theorem, thereby resolving one form ofHilbert's nineteenth problem.
Nash earned a PhD in 1950 with a 28-page dissertation onnoncooperative games.[17][18] The thesis, written under the supervision of doctoral advisorAlbert W. Tucker, contained the definition and properties of the Nash equilibrium, a crucial concept in noncooperative games. A version of his thesis was published a year later in theAnnals of Mathematics.[19] In the early 1950s, Nash carried out research on a number of related concepts in game theory, including the theory ofcooperative games.[20] For his work, Nash was one of the recipients of theNobel Memorial Prize in Economic Sciences in 1994.
In 1949, while still a graduate student, Nash found a new result in the mathematical field ofreal algebraic geometry.[21] He announced his theorem in a contributed paper at theInternational Congress of Mathematicians in 1950, although he had not yet worked out the details of its proof.[22] Nash's theorem was finalized by October 1951, when Nash submitted his work to theAnnals of Mathematics.[23] It had been well-known since the 1930s that everyclosedsmooth manifold isdiffeomorphic to thezero set of some collection ofsmooth functions onEuclidean space. In his work, Nash proved that those smooth functions can be taken to bepolynomials.[24] This was widely regarded as a surprising result,[21] since the class of smooth functions and smooth manifolds is usually far more flexible than the class of polynomials. Nash's proof introduced the concepts now known asNash function andNash manifold, which have since been widely studied in real algebraic geometry.[24][25] Nash's theorem itself was famously applied byMichael Artin andBarry Mazur to the study ofdynamical systems, by combining Nash's polynomial approximation together withBézout's theorem.[26][27]
Nash's first embedding theorem was found in 1953.[28] He found that any Riemannian manifold can be isometrically embedded in a Euclidean space by acontinuously differentiable mapping.[30] Nash's construction allows thecodimension of the embedding to be very small, with the effect that in many cases it is logically impossible that a highly-differentiable isometric embedding exists. (Based on Nash's techniques,Nicolaas Kuiper soon found even smaller codimensions, with the improved result often known as the Nash–Kuiper theorem.) As such, Nash's embeddings are limited to the setting of low differentiability. For this reason, Nash's result is somewhat outside the mainstream in the field of differential geometry, where high differentiability is significant in much of the usual analysis.[31][32]
Nash found the construction of smoothly differentiable isometric embeddings to be unexpectedly difficult.[28] However, after around a year and a half of intensive work, his efforts succeeded, thereby proving the second Nash embedding theorem.[36] The ideas involved in proving this second theorem are largely separate from those used in proving the first. The fundamental aspect of the proof is animplicit function theorem for isometric embeddings. The usual formulations of the implicit function theorem are inapplicable, for technical reasons related to theloss of regularity phenomena. Nash's resolution of this issue, given by deforming an isometric embedding by anordinary differential equation along which extra regularity is continually injected, is regarded as a fundamentally novel technique inmathematical analysis.[37] Nash's paper was awarded theLeroy P. Steele Prize for Seminal Contribution to Research in 1999, where his "most original idea" in the resolution of theloss of regularity issue was cited as "one of the great achievements in mathematical analysis in this century".[14] According to Gromov:[29]
You must be a novice in analysis or a genius like Nash to believe anything like that can be ever true and/or to have a single nontrivial application.
Due toJürgen Moser's extension of Nash's ideas for application to other problems (notably incelestial mechanics), the resulting implicit function theorem is known as theNash–Moser theorem. It has been extended and generalized by a number of other authors, among them Gromov,Richard Hamilton,Lars Hörmander,Jacob Schwartz, andEduard Zehnder.[32][37] Nash himself analyzed the problem in the context ofanalytic functions.[38] Schwartz later commented that Nash's ideas were "not just novel, but very mysterious," and that it was very hard to "get to the bottom of it."[28] According to Gromov:[29]
Nash was solving classical mathematical problems, difficult problems, something that nobody else was able to do, not even to imagine how to do it. ... what Nash discovered in the course of his constructions of isometric embeddings is far from 'classical' – it is something that brings about a dramatic alteration of our understanding of the basic logic of analysis and differential geometry. Judging from the classical perspective, what Nash has achieved in his papers is as impossible as the story of his life ... [H]is work on isometric immersions ... opened a new world of mathematics that stretches in front of our eyes in yet unknown directions and still waits to be explored.
While spending time at theCourant Institute in New York City,Louis Nirenberg informed Nash of a well-known conjecture in the field ofelliptic partial differential equations.[39] In 1938,Charles Morrey had proved a fundamentalelliptic regularity result for functions of two independent variables, but analogous results for functions of more than two variables had proved elusive. After extensive discussions with Nirenberg andLars Hörmander, Nash was able to extend Morrey's results, not only to functions of more than two variables, but also to the context ofparabolic partial differential equations.[40] In his work, as in Morrey's, uniform control over the continuity of the solutions to such equations is achieved, without assuming any level of differentiability on the coefficients of the equation. TheNash inequality was a particular result found in the course of his work (the proof of which Nash attributed toElias Stein), which has been found useful in other contexts.[41][42][43][44]
Soon after, Nash learned fromPaul Garabedian, recently returned from Italy, that the then-unknownEnnio De Giorgi had found nearly identical results for elliptic partial differential equations.[39] De Giorgi and Nash's methods had little to do with one another, although Nash's were somewhat more powerful in applying to both elliptic and parabolic equations. A few years later, inspired by De Giorgi's method,Jürgen Moser found a different approach to the same results, and the resulting body of work is now known as the De Giorgi–Nash theorem or the De Giorgi–Nash–Moser theory (which is distinct from theNash–Moser theorem). De Giorgi and Moser's methods became particularly influential over the next several years, through their developments in the works ofOlga Ladyzhenskaya,James Serrin, andNeil Trudinger, among others.[45][46] Their work, based primarily on the judicious choice oftest functions in theweak formulation of partial differential equations, is in strong contrast to Nash's work, which is based on analysis of theheat kernel. Nash's approach to the De Giorgi–Nash theory was later revisited byEugene Fabes andDaniel Stroock, initiating the re-derivation and extension of the results originally obtained from De Giorgi and Moser's techniques.[41][47]
From the fact that minimizers to many functionals in thecalculus of variations solve elliptic partial differential equations,Hilbert's nineteenth problem (on the smoothness of these minimizers), conjectured almost sixty years prior, was directly amenable to the De Giorgi–Nash theory. Nash received instant recognition for his work, withPeter Lax describing it as a "stroke of genius".[39] Nash would later speculate that had it not been for De Giorgi's simultaneous discovery, he would have been a recipient of the prestigiousFields Medal in 1958.[8] Although the medal committee's reasoning is not fully known, and was not purely based on questions of mathematical merit,[48] archival research has shown that Nash placed third in the committee's vote for the medal, after the two mathematicians (Klaus Roth andRené Thom) who were awarded the medal that year.[49]
Although Nash'smental illness first began to manifest in the form ofparanoia, his wife later described his behavior as erratic. Nash thought that all men who wore red ties were part of a "crypto-communist party" who were secretly conspiring against him.[50] He mailed letters to embassies in Washington, D.C., declaring that he was establishing a government.[3][51] Nash signed these letters "John Nash, Emperor ofAntarctica", which he believed he was in line to inherit.[50] Nash's psychological issues crossed into his professional life when he gave anAmerican Mathematical Society lecture atColumbia University in early 1959 in which he originally intended to present proof of theRiemann hypothesis. Instead the lecture was so incoherent that colleagues in the audience immediately realized that something was wrong.[52]
Although he sometimes took prescribed medication, Nash later wrote that he did so only under pressure. According to Nash, the filmA Beautiful Mind inaccurately implied he was takingatypical antipsychotics. He attributed the depiction to the screenwriter who was worried about the film encouraging people with mental illness to stop taking their medication.[57]
Nash did not take any medication after 1970, nor was he committed to a hospital ever again.[58] Nash recovered gradually.[59] Encouraged by his then former wife, Lardé, Nash lived at home and spent his time in the Princeton mathematics department where his eccentricities were accepted even when his mental condition was poor. Lardé credits hisrecovery to maintaining "a quiet life" withsocial support.[3]
Nash dated the start of what he termed "mental disturbances" to the early months of 1959, when his wife was pregnant. He described a process of change "from scientific rationality of thinking into the delusional thinking characteristic of persons who are psychiatrically diagnosed as 'schizophrenic' or 'paranoid schizophrenic'".[8] For Nash, this included seeing himself as a messenger or having a special function of some kind, of having supporters and opponents and hidden schemers, along with a feeling of being persecuted and searching for signs representing divine revelation.[60] During his psychotic phase, Nash alsoreferred to himself in the third person as "Johann von Nassau".[61] Nash suggested his delusional thinking was related to his unhappiness, his desire to be recognized, and his characteristic way of thinking, saying, "I wouldn't have had good scientific ideas if I had thought more normally." He also said, "If I felt completely pressureless I don't think I would have gone in this pattern".[62]
Nash reported that he started hearing voices in 1964, then later engaged in a process of consciously rejecting them.[63] He only renounced his "dream-like delusional hypotheses" after a prolonged period of involuntary commitment in mental hospitals—"enforced rationality". Upon doing so, he was temporarily able to return to productive work as a mathematician. By the late 1960s, he relapsed.[64] Eventually, he "intellectually rejected" his "delusionally influenced" and "politically oriented" thinking as a waste of effort.[8] In 1995, he said that he did not realize his full potential due to nearly 30 years of mental illness.[65]
Nash wrote in 1994:
I spent times of the order of five to eight months in hospitals in New Jersey, always on an involuntary basis and always attempting a legal argument for release. And it did happen that when I had been long enough hospitalized that I would finally renounce my delusional hypotheses and revert to thinking of myself as a human of more conventional circumstances and return to mathematical research. In these interludes of, as it were, enforced rationality, I did succeed in doing some respectable mathematical research. Thus there came about the research for "Le problème de Cauchy pour les équations différentielles d'un fluide général"; the idea that Prof.Heisuke Hironaka called "the Nash blowing-up transformation"; and those of "Arc Structure of Singularities" and "Analyticity of Solutions of Implicit Function Problems with Analytic Data".
But after my return to the dream-like delusional hypotheses in the later 60s I became a person of delusionally influenced thinking but of relatively moderate behavior and thus tended to avoid hospitalization and the direct attention of psychiatrists.
Thus further time passed. Then gradually I began to intellectually reject some of the delusionally influenced lines of thinking which had been characteristic of my orientation. This began, most recognizably, with the rejection of politically oriented thinking as essentially a hopeless waste of intellectual effort. So at the present time I seem to be thinking rationally again in the style that is characteristic of scientists.[8]
In 1994, he received theNobel Memorial Prize in Economic Sciences (along withJohn Harsanyi andReinhard Selten) for hisgame theory work as a Princeton graduate student.[66] In the late 1980s, Nash had begun to use email to gradually link with working mathematicians who realized that he wasthe John Nash and that his new work had value. They formed part of the nucleus of a group that contacted theBank of Sweden's Nobel award committee and were able to vouch for Nash's mental health and ability to receive the award.[67]
Nash's later work involved ventures in advanced game theory, including partial agency, which show that, as in his early career, he preferred to select his own path and problems. Between 1945 and 1996, he published 23 scientific papers.
Nash has suggested hypotheses on mental illness. He has compared not thinking in an acceptable manner, or being "insane" and not fitting into a usual social function, to being "onstrike" from an economic point of view. He advanced views inevolutionary psychology about the potential benefits of apparently nonstandard behaviors or roles.[68]
Nash received an honorary degree, Doctor of Science and Technology, fromCarnegie Mellon University in 1999, an honorary degree in economics from theUniversity of Naples Federico II in 2003,[71] an honorary doctorate in economics from theUniversity of Antwerp in 2007, an honorary doctorate of science from theCity University of Hong Kong in 2011,[72] and was keynote speaker at a conference on game theory.[73] Nash also received honorary doctorates from two West Virginia colleges: the University of Charleston in 2003 and West Virginia University Tech in 2006. He was a prolific guest speaker at a number of events, such as the Warwick Economics Summit in 2005, at theUniversity of Warwick.
In 1951, theMassachusetts Institute of Technology (MIT) hired Nash as aC. L. E. Moore instructor in the mathematics faculty. About a year later, Nash began a relationship with Eleanor Stier, a nurse he met while admitted as a patient. They had a son, John David Stier,[72] but Nash left Stier when she told him of her pregnancy.[77] The film based on Nash's life,A Beautiful Mind, was criticized during the run-up to the 2002 Oscars for omitting this aspect of his life. He was said to have abandoned her based on her social status, which he thought to have been beneath his.[78]
Not long after breaking up with Stier, Nash metAlicia Lardé Lopez-Harrison, anaturalized U.S. citizen fromEl Salvador. Lardé was a graduate of MIT with a major in physics.[8] They married in February 1957. Although Nash was anatheist,[81] the ceremony was performed in anEpiscopal church.[82] In 1958, Nash was appointed to a tenured position at MIT, and his first signs of mental illness soon became evident. He resigned his position at MIT in the spring of 1959.[8] His son, John Charles Martin Nash, was born a few months later. The child was not named for a year[72] because Alicia felt that Nash should have a say in choosing the name. Due to the stress of dealing with his illness, Nash and Lardé divorced in 1963. After his final hospital discharge in 1970, Nash lived in Lardé's house as aboarder. This stability seemed to help him, and he learned how to consciously discard his paranoiddelusions.[83] Princeton allowed him to audit classes. He continued to work on mathematics and was eventually allowed to teach again. In the 1990s, Lardé and Nash resumed their relationship, remarrying in 2001.
Their son John Charles Martin Nash was diagnosed with schizophrenia while in high school and did not graduate. Nonetheless he later earned a PhD in mathematics fromRutgers University.[82]
On May 23, 2015, Nash and his wife died in a car accident on theNew Jersey Turnpike inMonroe Township, New Jersey, while returning home from receiving theAbel Prize in Norway. The driver of the taxicab in which they were riding from Newark Airport lost control of the cab and struck a guardrail. Because neither were wearing seatbelts, both passengers were ejected and killed.[84] At the time of his death, Nash was a longtime resident of New Jersey. He was survived by two sons, John Charles Martin Nash, who lived with his parents at the time of their death, and elder child John Stier.[85]
Following his death, obituaries appeared in scientific and popular media throughout the world. In addition to their obituary for Nash,[86]The New York Times published an article containing quotes from Nash that had been assembled from media and other published sources. The quotes consisted of Nash's reflections on his life and achievements.[87]
At Princeton in the 1970s, Nash became known as "The Phantom of Fine Hall"[88] (Princeton's mathematics center), a shadowy figure who would scribble arcane equations on blackboards in the middle of the night.
He is referred to in a novel set at Princeton,The Mind-Body Problem, 1983, byRebecca Goldstein.[3]
2015 –Abel Prize (withLouis Nirenberg)[93] "for striking and seminal contributions to the theory of nonlinear partial differential equations and its applications to geometric analysis"
Nash, John F. (2009b). "Studying cooperative games using the method of agencies".International Journal of Mathematics, Game Theory, and Algebra.18 (4–5):413–426.MR2642155.Zbl1293.91015.
^abcSuellentrop, Chris (December 21, 2001)."A Real Number".Slate.Archived from the original on January 4, 2014. RetrievedMay 28, 2015.A Beautiful Mind's John Nash is nowhere near as complicated as the real one.
^Nasar, Sylvia (March 25, 2002)."The sum of a man".The Guardian. RetrievedJuly 9, 2012.Contrary to widespread references to Nash's "numerous homosexual liaisons", he was not gay. While he had several emotionally intense relationships with other men when he was in his early 20s, I never interviewed anyone who claimed, much less provided evidence, that Nash ever had sex with another man. Nash was arrested in a police trap in a public lavatory in Santa Monica in 1954, at the height of the McCarthy hysteria. The military think tank where he was a consultant, stripped him of his top-secret security clearance and fired him ... The charge – indecent exposure – was dropped.
^Nasar (2011), Chapter 17: Bad Boys, p. 143: "In this circle, Nash learned to make a virtue of necessity, styling himself self-consciously as a "free thinker." He announced that he was an atheist."
^"John Forbes Nash May Lose N.J. Home".Associated Press. March 14, 2002. Archived fromthe original on May 18, 2013. RetrievedFebruary 22, 2011 – viaHighBeam Research.West Windsor, N.J.: John Forbes Nash Jr., whose life is chronicled in the Oscar-nominated movieA Beautiful Mind, could lose his home if the township picks one of its proposals to replace a nearby bridge.