John von Neumann ( ; ; December 28, 1903 – February 8, 1957) was a Hungarian and American
mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...
,
physicist
A physicist is a scientist who specializes in the field of physics, which encompasses the interactions of matter and energy at all length and time scales in the physical universe. Physicists generally are interested in the root or ultimate cau ...
,
computer scientist
A computer scientist is a scientist who specializes in the academic study of computer science.
Computer scientists typically work on the theoretical side of computation. Although computer scientists can also focus their work and research on ...
and
engineer
Engineers, as practitioners of engineering, are professionals who Invention, invent, design, build, maintain and test machines, complex systems, structures, gadgets and materials. They aim to fulfill functional objectives and requirements while ...
. Von Neumann had perhaps the widest coverage of any mathematician of his time, integrating
pure and
applied sciences
Applied science is the application of the scientific method and scientific knowledge to attain practical goals. It includes a broad range of disciplines, such as engineering and medicine. Applied science is often contrasted with basic science, ...
and making major contributions to many fields, including
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
,
physics
Physics is the scientific study of matter, its Elementary particle, fundamental constituents, its motion and behavior through space and time, and the related entities of energy and force. "Physical science is that department of knowledge whi ...
,
economics
Economics () is a behavioral science that studies the Production (economics), production, distribution (economics), distribution, and Consumption (economics), consumption of goods and services.
Economics focuses on the behaviour and interac ...
,
computing
Computing is any goal-oriented activity requiring, benefiting from, or creating computer, computing machinery. It includes the study and experimentation of algorithmic processes, and the development of both computer hardware, hardware and softw ...
, and
statistics
Statistics (from German language, German: ', "description of a State (polity), state, a country") is the discipline that concerns the collection, organization, analysis, interpretation, and presentation of data. In applying statistics to a s ...
. He was a pioneer in building the mathematical framework of
quantum physics
Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
, in the development of
functional analysis
Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (for example, Inner product space#Definition, inner product, Norm (mathematics ...
, and in
game theory
Game theory is the study of mathematical models of strategic interactions. It has applications in many fields of social science, and is used extensively in economics, logic, systems science and computer science. Initially, game theory addressed ...
, introducing or codifying concepts including
cellular automata
A cellular automaton (pl. cellular automata, abbrev. CA) is a discrete model of computation studied in automata theory. Cellular automata are also called cellular spaces, tessellation automata, homogeneous structures, cellular structures, tessel ...
, the
universal constructor and the
digital computer
A computer is a machine that can be programmed to automatically carry out sequences of arithmetic or logical operations (''computation''). Modern digital electronic computers can perform generic sets of operations known as ''programs'', wh ...
. His analysis of the structure of
self-replication
Self-replication is any behavior of a dynamical system that yields construction of an identical or similar copy of itself. Biological cells, given suitable environments, reproduce by cell division. During cell division, DNA is replicated and c ...
preceded the discovery of the structure of
DNA
Deoxyribonucleic acid (; DNA) is a polymer composed of two polynucleotide chains that coil around each other to form a double helix. The polymer carries genetic instructions for the development, functioning, growth and reproduction of al ...
.
During
World War II
World War II or the Second World War (1 September 1939 – 2 September 1945) was a World war, global conflict between two coalitions: the Allies of World War II, Allies and the Axis powers. World War II by country, Nearly all of the wo ...
, von Neumann worked on the
Manhattan Project
The Manhattan Project was a research and development program undertaken during World War II to produce the first nuclear weapons. It was led by the United States in collaboration with the United Kingdom and Canada.
From 1942 to 1946, the ...
. He developed the mathematical models behind the
explosive lens
An explosive lens—as used, for example, in nuclear weapons—is a highly specialized shaped charge. In general, it is a device composed of several explosive charges. These charges are arranged and formed with the intent to control the sha ...
es used in the
implosion-type nuclear weapon
Nuclear weapons design are physical, chemical, and engineering arrangements that cause the physics package of a nuclear weapon to detonate. There are three existing basic design types:
# Pure fission weapons are the simplest, least technically de ...
. Before and after the war, he consulted for many organizations including the
Office of Scientific Research and Development
The Office of Scientific Research and Development (OSRD) was an agency of the United States federal government created to coordinate scientific research for military purposes during World War II. Arrangements were made for its creation during May ...
, the
Army's Ballistic Research Laboratory
The Ballistic Research Laboratory (BRL) was a research facility under the U.S. Army Ordnance Corps and later the U.S. Army Materiel Command that specialized in ballistics as well as vulnerability and lethality analysis. Situated at Aberdeen Pr ...
, the
Armed Forces Special Weapons Project and the
Oak Ridge National Laboratory
Oak Ridge National Laboratory (ORNL) is a federally funded research and development centers, federally funded research and development center in Oak Ridge, Tennessee, United States. Founded in 1943, the laboratory is sponsored by the United Sta ...
. At the peak of his influence in the 1950s, he chaired a number of
Defense Department committees including the
Strategic Missile Evaluation Committee and the
ICBM
An intercontinental ballistic missile (ICBM) is a ballistic missile with a range (aeronautics), range greater than , primarily designed for nuclear weapons delivery (delivering one or more Thermonuclear weapon, thermonuclear warheads). Conven ...
Scientific Advisory Committee. He was also a member of the influential
Atomic Energy Commission in charge of all atomic energy development in the country. He played a key role alongside
Bernard Schriever and
Trevor Gardner in the design and development of the United States' first
ICBM
An intercontinental ballistic missile (ICBM) is a ballistic missile with a range (aeronautics), range greater than , primarily designed for nuclear weapons delivery (delivering one or more Thermonuclear weapon, thermonuclear warheads). Conven ...
programs. At that time he was considered the nation's foremost expert on
nuclear weapon
A nuclear weapon is an explosive device that derives its destructive force from nuclear reactions, either fission (fission or atomic bomb) or a combination of fission and fusion reactions (thermonuclear weapon), producing a nuclear exp ...
ry and the leading defense scientist at the
U.S. Department of Defense.
Von Neumann's contributions and intellectual ability drew praise from colleagues in physics, mathematics, and beyond. Accolades he received range from the
Medal of Freedom to a
crater on the Moon named in his honor.
Life and education
Family background
Von Neumann was born in
Budapest
Budapest is the Capital city, capital and List of cities and towns of Hungary, most populous city of Hungary. It is the List of cities in the European Union by population within city limits, tenth-largest city in the European Union by popul ...
, Kingdom of Hungary (then part of Austria-Hungary),
on December 28, 1903, to a wealthy, non-observant
Jewish
Jews (, , ), or the Jewish people, are an ethnoreligious group and nation, originating from the Israelites of History of ancient Israel and Judah, ancient Israel and Judah. They also traditionally adhere to Judaism. Jewish ethnicity, rel ...
family. His birth name was Neumann János Lajos. In Hungarian, the family name comes first, and his given names are equivalent to John Louis in English.
He was the eldest of three brothers; his two younger siblings were Mihály (Michael) and Miklós (Nicholas). His father Neumann Miksa (Max von Neumann) was a banker and held a
doctorate in law. He had moved to Budapest from
Pécs
Pécs ( , ; ; Slovak language, Slovak: ''Päťkostolie''; also known by #Name, alternative names) is List of cities and towns of Hungary#Largest cities in Hungary, the fifth largest city in Hungary, on the slopes of the Mecsek mountains in the c ...
at the end of the 1880s. Miksa's father and grandfather were born in Ond (now part of
Szerencs),
Zemplén County
Zemplén (, , , ) was an administrative county (Comitatus (Kingdom of Hungary), comitatus) of the Kingdom of Hungary. The northern part of its territory is now situated in eastern Slovakia (ZemplÃn (region), ZemplÃn region), while a smaller so ...
, northern Hungary. John's mother was Kann Margit (Margaret Kann); her parents were Kann Jákab and Meisels Katalin of the
Meisels family. Three generations of the Kann family lived in spacious apartments above the Kann-Heller offices in Budapest; von Neumann's family occupied an 18-room apartment on the top floor.
On February 20, 1913,
Emperor Franz Joseph elevated John's father to the Hungarian nobility for his service to the Austro-Hungarian Empire.
The Neumann family thus acquired the hereditary appellation ''Margittai'', meaning "of Margitta" (today
Marghita, Romania). The family had no connection with the town; the appellation was chosen in reference to Margaret, as was their chosen
coat of arms
A coat of arms is a heraldry, heraldic communication design, visual design on an escutcheon (heraldry), escutcheon (i.e., shield), surcoat, or tabard (the last two being outer garments), originating in Europe. The coat of arms on an escutcheon f ...
depicting three
marguerites. Neumann János became margittai Neumann János (John Neumann de Margitta), which he later changed to the German Johann von Neumann.
Child prodigy
Von Neumann was a
child prodigy
A child prodigy is, technically, a child under the age of 10 who produces meaningful work in some domain at the level of an adult expert. The term is also applied more broadly to describe young people who are extraordinarily talented in some f ...
who at six years old could divide two eight-digit numbers in his head and converse in
Ancient Greek
Ancient Greek (, ; ) includes the forms of the Greek language used in ancient Greece and the classical antiquity, ancient world from around 1500 BC to 300 BC. It is often roughly divided into the following periods: Mycenaean Greek (), Greek ...
. He, his brothers and his cousins were instructed by governesses. Von Neumann's father believed that knowledge of languages other than their native
Hungarian was essential, so the children were tutored in
English,
French,
German and
Italian
Italian(s) may refer to:
* Anything of, from, or related to the people of Italy over the centuries
** Italians, a Romance ethnic group related to or simply a citizen of the Italian Republic or Italian Kingdom
** Italian language, a Romance languag ...
. By age eight, von Neumann was familiar with
differential and
integral calculus
In mathematics, an integral is the continuous analog of a sum, which is used to calculate areas, volumes, and their generalizations. Integration, the process of computing an integral, is one of the two fundamental operations of calculus,Int ...
, and by twelve he had read
Borel's ''La Théorie des Fonctions''. He was also interested in history, reading
Wilhelm Oncken's 46-volume world history series (''General History in Monographs''). One of the rooms in the apartment was converted into a library and reading room.
Von Neumann entered the Lutheran
Fasori Evangélikus Gimnázium in 1914.
Eugene Wigner
Eugene Paul Wigner (, ; November 17, 1902 – January 1, 1995) was a Hungarian-American theoretical physicist who also contributed to mathematical physics. He received the Nobel Prize in Physics in 1963 "for his contributions to the theory of th ...
was a year ahead of von Neumann at the school and soon became his friend.
Although von Neumann's father insisted that he attend school at the grade level appropriate to his age, he agreed to hire private tutors to give von Neumann advanced instruction. At 15, he began to study advanced calculus under the analyst
Gábor Szegő
Gábor SzegÅ‘ () (January 20, 1895 – August 7, 1985) was a Hungarian-American mathematician. He was one of the foremost mathematical analysts of his generation and made fundamental contributions to the theory of orthogonal polynomials and ...
. On their first meeting, Szegő was so astounded by von Neumann's mathematical talent and speed that, as recalled by his wife, he came back home with tears in his eyes. By 19, von Neumann had published two major mathematical papers, the second of which gave the modern definition of
ordinal numbers
In set theory, an ordinal number, or ordinal, is a generalization of ordinal numerals (first, second, th, etc.) aimed to extend enumeration to infinite sets.
A finite set can be enumerated by successively labeling each element with the leas ...
, which superseded
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor ( ; ; – 6 January 1918) was a mathematician who played a pivotal role in the creation of set theory, which has become a foundations of mathematics, fundamental theory in mathematics. Cantor establi ...
's definition.
At the conclusion of his education at the gymnasium, he applied for and won the Eötvös Prize, a national award for mathematics.
University studies
According to his friend
Theodore von Kármán, von Neumann's father wanted John to follow him into industry, and asked von Kármán to persuade his son not to take mathematics. Von Neumann and his father decided that the best career path was
chemical engineer
A chemical engineer is a professional equipped with the knowledge of chemistry and other basic sciences who works principally in the chemical industry to convert basic raw materials into a variety of Product (chemistry), products and deals with ...
ing. This was not something that von Neumann had much knowledge of, so it was arranged for him to take a two-year, non-degree course in chemistry at the
University of Berlin
The Humboldt University of Berlin (, abbreviated HU Berlin) is a public research university in the central borough of Mitte in Berlin, Germany.
The university was established by Frederick William III on the initiative of Wilhelm von Humbol ...
, after which he sat for the entrance exam to
ETH Zurich
ETH Zurich (; ) is a public university in Zurich, Switzerland. Founded in 1854 with the stated mission to educate engineers and scientists, the university focuses primarily on science, technology, engineering, and mathematics. ETH Zurich ran ...
, which he passed in September 1923. Simultaneously von Neumann entered
Pázmány Péter University, then known as the University of Budapest, as a
Ph.D. candidate in
mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
.
For his thesis, he produced an
axiomatization
In mathematics and logic, an axiomatic system is a set of formal statements (i.e. axioms) used to logically derive other statements such as lemmas or theorems. A proof within an axiom system is a sequence of deductive steps that establishes ...
of
Cantor's set theory.
In 1926, he graduated as a
chemical engineer
A chemical engineer is a professional equipped with the knowledge of chemistry and other basic sciences who works principally in the chemical industry to convert basic raw materials into a variety of Product (chemistry), products and deals with ...
from ETH Zurich and simultaneously passed his final examinations ''
summa cum laude
Latin honors are a system of Latin phrases used in some colleges and universities to indicate the level of distinction with which an academic degree has been earned. The system is primarily used in the United States. It is also used in some Sout ...
'' for his Ph.D. in mathematics (with minors in
experimental physics
Experimental physics is the category of disciplines and sub-disciplines in the field of physics that are concerned with the observation of physical phenomena and experiments. Methods vary from discipline to discipline, from simple experiments and o ...
and chemistry) at the University of Budapest.
He then went to the
University of Göttingen
The University of Göttingen, officially the Georg August University of Göttingen (, commonly referred to as Georgia Augusta), is a Public university, public research university in the city of Göttingen, Lower Saxony, Germany. Founded in 1734 ...
on a grant from the
Rockefeller Foundation
The Rockefeller Foundation is an American private foundation and philanthropic medical research and arts funding organization based at 420 Fifth Avenue, New York City. The foundation was created by Standard Oil magnate John D. Rockefeller (" ...
to study mathematics under
David Hilbert
David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician and philosopher of mathematics and one of the most influential mathematicians of his time.
Hilbert discovered and developed a broad range of fundamental idea ...
.
Hermann Weyl
Hermann Klaus Hugo Weyl (; ; 9 November 1885 – 8 December 1955) was a German mathematician, theoretical physicist, logician and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, ...
remembers how in the winter of 1926–1927 von Neumann,
Emmy Noether
Amalie Emmy Noether (23 March 1882 – 14 April 1935) was a German mathematician who made many important contributions to abstract algebra. She also proved Noether's theorem, Noether's first and Noether's second theorem, second theorems, which ...
, and he would walk through "the cold, wet, rain-wet streets of
Göttingen
Göttingen (, ; ; ) is a college town, university city in Lower Saxony, central Germany, the Capital (political), capital of Göttingen (district), the eponymous district. The River Leine runs through it. According to the 2022 German census, t ...
" after class discussing
hypercomplex number
In mathematics, hypercomplex number is a traditional term for an element (mathematics), element of a finite-dimensional Algebra over a field#Unital algebra, unital algebra over a field, algebra over the field (mathematics), field of real numbers. ...
systems and their
representations.
Career and private life

Von Neumann's
habilitation
Habilitation is the highest university degree, or the procedure by which it is achieved, in Germany, France, Italy, Poland and some other European and non-English-speaking countries. The candidate fulfills a university's set criteria of excelle ...
was completed on December 13, 1927, and he began to give lectures as a ''
Privatdozent
''Privatdozent'' (for men) or ''Privatdozentin'' (for women), abbreviated PD, P.D. or Priv.-Doz., is an academic title conferred at some European universities, especially in German-speaking countries, to someone who holds certain formal qualifi ...
'' at the University of Berlin in 1928. He was the youngest person elected ''Privatdozent'' in the university's history. He began writing nearly one major mathematics paper per month. In 1929, he briefly became a ''Privatdozent'' at the
University of Hamburg
The University of Hamburg (, also referred to as UHH) is a public university, public research university in Hamburg, Germany. It was founded on 28 March 1919 by combining the previous General Lecture System ('':de:Allgemeines Vorlesungswesen, ...
, where the prospects of becoming a tenured professor were better, then in October of that year moved to
Princeton University
Princeton University is a private university, private Ivy League research university in Princeton, New Jersey, United States. Founded in 1746 in Elizabeth, New Jersey, Elizabeth as the College of New Jersey, Princeton is the List of Colonial ...
as a visiting lecturer in
mathematical physics
Mathematical physics is the development of mathematics, mathematical methods for application to problems in physics. The ''Journal of Mathematical Physics'' defines the field as "the application of mathematics to problems in physics and the de ...
.
Von Neumann was baptized a Catholic in 1930. Shortly afterward, he married Marietta Kövesi, who had studied economics at Budapest University. Von Neumann and Marietta had a daughter,
Marina
A marina (from Spanish , Portuguese and Italian : "related to the sea") is a dock or basin with moorings and supplies for yachts and small boats.
A marina differs from a port in that a marina does not handle large passenger ships or cargo ...
, born in 1935; she would become a professor. The couple divorced on November 2, 1937. On November 17, 1938, von Neumann married
Klára Dán.
In 1933 Von Neumann accepted a tenured professorship at the
Institute for Advanced Study
The Institute for Advanced Study (IAS) is an independent center for theoretical research and intellectual inquiry located in Princeton, New Jersey. It has served as the academic home of internationally preeminent scholars, including Albert Ein ...
in New Jersey, when that institution's plan to appoint
Hermann Weyl
Hermann Klaus Hugo Weyl (; ; 9 November 1885 – 8 December 1955) was a German mathematician, theoretical physicist, logician and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, ...
appeared to have failed. His mother, brothers and in-laws followed von Neumann to the United States in 1939. Von Neumann
anglicized
Anglicisation or anglicization is a form of cultural assimilation whereby something non-English becomes assimilated into or influenced by the culture of England. It can be sociocultural, in which a non-English place adopts the English language ...
his name to John, keeping the German-aristocratic surname
von
The term () is used in German surnames either as a nobiliary particle indicating a noble patrilineality, or as a simple preposition used by commoners that means or .
Nobility directories like the often abbreviate the noble term to ''v.'' ...
Neumann. Von Neumann became a
naturalized U.S. citizen in 1937, and immediately tried to become a
lieutenant
A lieutenant ( , ; abbreviated Lt., Lt, LT, Lieut and similar) is a Junior officer, junior commissioned officer rank in the armed forces of many nations, as well as fire services, emergency medical services, Security agency, security services ...
in the U.S. Army's
Officers Reserve Corps. He passed the exams but was rejected because of his age.
Klára and John von Neumann were socially active within the local academic community. His white
clapboard house on Westcott Road was one of Princeton's largest private residences. He always wore formal suits.
He enjoyed
Yiddish
Yiddish, historically Judeo-German, is a West Germanic language historically spoken by Ashkenazi Jews. It originated in 9th-century Central Europe, and provided the nascent Ashkenazi community with a vernacular based on High German fused with ...
and
"off-color" humor. In Princeton, he received complaints for playing extremely loud German
march music; Von Neumann did some of his best work in noisy, chaotic environments. According to
Churchill Eisenhart, von Neumann could attend parties until the early hours of the morning and then deliver a lecture at 8:30.
He was known for always being happy to provide others of all ability levels with scientific and mathematical advice. Wigner wrote that he perhaps supervised more work (in a casual sense) than any other modern mathematician. His daughter wrote that he was very concerned with his legacy in two aspects: his life and the durability of his intellectual contributions to the world.
Many considered him an excellent chairman of committees, deferring rather easily on personal or organizational matters but pressing on technical ones.
Herbert York
Herbert Frank York (24 November 1921 – 19 May 2009) was an American nuclear physicist of Mohawk origin. He held numerous research and administrative positions at various United States government and educational institutes.
Biography
Her ...
described the many "Von Neumann Committees" that he participated in as "remarkable in style as well as output". The way the committees von Neumann chaired worked directly and intimately with the necessary military or corporate entities became a blueprint for all
Air Force
An air force in the broadest sense is the national military branch that primarily conducts aerial warfare. More specifically, it is the branch of a nation's armed services that is responsible for aerial warfare as distinct from an army aviati ...
long-range missile programs. Many people who had known von Neumann were puzzled by his relationship to the military and to power structures in general.
Stanisław Ulam
Stanisław Marcin Ulam ( ; 13 April 1909 – 13 May 1984) was a Polish and American mathematician, nuclear physicist and computer scientist. He participated in the Manhattan Project, originated the History of the Teller–Ulam design, Telle ...
suspected that he had a hidden admiration for people or organizations that could influence the thoughts and decision making of others.
He also maintained his knowledge of languages learnt in his youth. He knew Hungarian, French, German and English fluently, and maintained a conversational level of Italian, Yiddish, Latin and Ancient Greek. His Spanish was less perfect. He had a passion for and encyclopedic knowledge of ancient history, and he enjoyed reading
Ancient Greek
Ancient Greek (, ; ) includes the forms of the Greek language used in ancient Greece and the classical antiquity, ancient world from around 1500 BC to 300 BC. It is often roughly divided into the following periods: Mycenaean Greek (), Greek ...
historians in the original Greek. Ulam suspected they may have shaped his views on how future events could play out and how human nature and society worked in general.
Von Neumann's closest friend in the United States was the mathematician
Stanisław Ulam
Stanisław Marcin Ulam ( ; 13 April 1909 – 13 May 1984) was a Polish and American mathematician, nuclear physicist and computer scientist. He participated in the Manhattan Project, originated the History of the Teller–Ulam design, Telle ...
. Von Neumann believed that much of his mathematical thought occurred intuitively; he would often go to sleep with a problem unsolved and know the answer upon waking up. Ulam noted that von Neumann's way of thinking might not be visual, but more aural. Ulam recalled, "Quite independently of his liking for abstract wit, he had a strong appreciation (one might say almost a hunger) for the more earthy type of comedy and humor".
Illness and death

In 1955, a mass was found near von Neumann's collarbone, which turned out to be cancer originating in the
skeleton
A skeleton is the structural frame that supports the body of most animals. There are several types of skeletons, including the exoskeleton, which is a rigid outer shell that holds up an organism's shape; the endoskeleton, a rigid internal fra ...
,
pancreas
The pancreas (plural pancreases, or pancreata) is an Organ (anatomy), organ of the Digestion, digestive system and endocrine system of vertebrates. In humans, it is located in the abdominal cavity, abdomen behind the stomach and functions as a ...
or
prostate
The prostate is an male accessory gland, accessory gland of the male reproductive system and a muscle-driven mechanical switch between urination and ejaculation. It is found in all male mammals. It differs between species anatomically, chemica ...
. (While there is general agreement that the tumor had
metastasis
Metastasis is a pathogenic agent's spreading from an initial or primary site to a different or secondary site within the host's body; the term is typically used when referring to metastasis by a cancerous tumor. The newly pathological sites, ...
ed, sources differ on the location of the primary cancer.) The malignancy may have been caused by
exposure to
radiation
In physics, radiation is the emission or transmission of energy in the form of waves or particles through space or a material medium. This includes:
* ''electromagnetic radiation'' consisting of photons, such as radio waves, microwaves, infr ...
at
Los Alamos National Laboratory
Los Alamos National Laboratory (often shortened as Los Alamos and LANL) is one of the sixteen research and development Laboratory, laboratories of the United States Department of Energy National Laboratories, United States Department of Energy ...
. As death neared he asked for a priest, though the priest later recalled that von Neumann found little comfort in receiving the
last rites
The last rites, also known as the Commendation of the Dying, are the last prayers and ministrations given to an individual of Christian faith, when possible, shortly before death. The Commendation of the Dying is practiced in liturgical Chri ...
he remained terrified of death and unable to accept it. Of his religious views, Von Neumann reportedly said, "So long as there is the possibility of eternal damnation for nonbelievers it is more logical to be a believer at the end," referring to
Pascal's wager. He confided to his mother, "There probably has to be a God. Many things are easier to explain if there is than if there isn't."
He died Roman Catholic on February 8, 1957, at
Walter Reed Army Medical Hospital and was buried at
Princeton Cemetery.
Mathematics
Set theory

At the beginning of the 20th century, efforts to base mathematics on
naive set theory
Naive set theory is any of several theories of sets used in the discussion of the foundations of mathematics.
Unlike axiomatic set theories, which are defined using formal logic, naive set theory is defined informally, in natural language. It de ...
suffered a setback due to
Russell's paradox
In mathematical logic, Russell's paradox (also known as Russell's antinomy) is a set-theoretic paradox published by the British philosopher and mathematician, Bertrand Russell, in 1901. Russell's paradox shows that every set theory that contains ...
(on the set of all sets that do not belong to themselves). The problem of an adequate axiomatization of
set theory
Set theory is the branch of mathematical logic that studies Set (mathematics), sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory – as a branch of mathema ...
was resolved implicitly about twenty years later by
Ernst Zermelo
Ernst Friedrich Ferdinand Zermelo (; ; 27 July 187121 May 1953) was a German logician and mathematician, whose work has major implications for the foundations of mathematics. He is known for his role in developing Zermelo–Fraenkel set theory, Z ...
and
Abraham Fraenkel
Abraham Fraenkel (; 17 February, 1891 – 15 October, 1965) was a German-born Israeli mathematician. He was an early Zionist and the first Dean of Mathematics at the Hebrew University of Jerusalem. He is known for his contributions to axiomatic ...
.
Zermelo–Fraenkel set theory
In set theory, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes suc ...
provided a series of principles that allowed for the construction of the sets used in the everyday practice of mathematics, but did not explicitly exclude the possibility of the existence of a set that belongs to itself. In his 1925 doctoral thesis, von Neumann demonstrated two techniques to exclude such sets—the ''
axiom of foundation'' and the notion of ''
class
Class, Classes, or The Class may refer to:
Common uses not otherwise categorized
* Class (biology), a taxonomic rank
* Class (knowledge representation), a collection of individuals or objects
* Class (philosophy), an analytical concept used d ...
.''
The axiom of foundation proposed that every set can be constructed from the bottom up in an ordered succession of steps by way of the Zermelo–Fraenkel principles. If one set belongs to another, then the first must necessarily come before the second in the succession. This excludes the possibility of a set belonging to itself. To demonstrate that the addition of this new axiom to the others did not produce contradictions, von Neumann introduced the ''method of
inner model
In set theory, a branch of mathematical logic, an inner model for a theory ''T'' is a substructure of a model ''M'' of a set theory that is both a model for ''T'' and contains all the ordinals of ''M''.
Definition
Let ''L'' = ⟨∈� ...
s'', which became an essential demonstration instrument in set theory.
The second approach to the problem of sets belonging to themselves took as its base the notion of
class
Class, Classes, or The Class may refer to:
Common uses not otherwise categorized
* Class (biology), a taxonomic rank
* Class (knowledge representation), a collection of individuals or objects
* Class (philosophy), an analytical concept used d ...
, and defines a set as a class that belongs to other classes, while a ''proper class'' is defined as a class that does not belong to other classes. On the Zermelo–Fraenkel approach, the axioms impede the construction of a set of all sets that do not belong to themselves. In contrast, on von Neumann's approach, the class of all sets that do not belong to themselves can be constructed, but it is a ''proper class'', not a set.
Overall, von Neumann's major achievement in set theory was an "axiomatization of set theory and (connected with that) elegant theory of the
ordinal and
cardinal number
In mathematics, a cardinal number, or cardinal for short, is what is commonly called the number of elements of a set. In the case of a finite set, its cardinal number, or cardinality is therefore a natural number. For dealing with the cas ...
s as well as the first strict formulation of principles of definitions by the
transfinite induction
Transfinite induction is an extension of mathematical induction to well-ordered sets, for example to sets of ordinal numbers or cardinal numbers. Its correctness is a theorem of ZFC.
Induction by cases
Let P(\alpha) be a property defined for a ...
".
Von Neumann paradox
Building on the
Hausdorff paradox of
Felix Hausdorff
Felix Hausdorff ( , ; November 8, 1868 – January 26, 1942) was a German mathematician, pseudonym Paul Mongré (''à mogré' (Fr.) = "according to my taste"), who is considered to be one of the founders of modern topology and who contributed sig ...
(1914),
Stefan Banach
Stefan Banach ( ; 30 March 1892 – 31 August 1945) was a Polish mathematician who is generally considered one of the 20th century's most important and influential mathematicians. He was the founder of modern functional analysis, and an original ...
and
Alfred Tarski
Alfred Tarski (; ; born Alfred Teitelbaum;School of Mathematics and Statistics, University of St Andrews ''School of Mathematics and Statistics, University of St Andrews''. January 14, 1901 – October 26, 1983) was a Polish-American logician ...
in 1924 showed how to subdivide a three-dimensional
ball
A ball is a round object (usually spherical, but sometimes ovoid) with several uses. It is used in ball games, where the play of the game follows the state of the ball as it is hit, kicked or thrown by players. Balls can also be used for s ...
into
disjoint sets
In set theory in mathematics and Logic#Formal logic, formal logic, two Set (mathematics), sets are said to be disjoint sets if they have no element (mathematics), element in common. Equivalently, two disjoint sets are sets whose intersection (se ...
, then translate and rotate these sets to form two identical copies of the same ball; this is the
Banach–Tarski paradox
The Banach–Tarski paradox is a theorem in set-theoretic geometry, which states the following: Given a solid ball in three-dimensional space, there exists a decomposition of the ball into a finite number of disjoint subsets, which can then ...
. They also proved that a two-dimensional disk has no such paradoxical decomposition. But in 1929, von Neumann subdivided the disk into finitely many pieces and rearranged them into two disks, using area-preserving
affine transformation
In Euclidean geometry, an affine transformation or affinity (from the Latin, '' affinis'', "connected with") is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.
More general ...
s instead of translations and rotations. The result depended on finding
free group
In mathematics, the free group ''F'S'' over a given set ''S'' consists of all words that can be built from members of ''S'', considering two words to be different unless their equality follows from the group axioms (e.g. ''st'' = ''suu''− ...
s of affine transformations, an important technique extended later by von Neumann in
his work on measure theory.
Proof theory
With the contributions of von Neumann to sets, the axiomatic system of the theory of sets avoided the contradictions of earlier systems and became usable as a foundation for mathematics, despite the lack of a proof of its
consistency
In deductive logic, a consistent theory is one that does not lead to a logical contradiction. A theory T is consistent if there is no formula \varphi such that both \varphi and its negation \lnot\varphi are elements of the set of consequences ...
. The next question was whether it provided definitive answers to all mathematical questions that could be posed in it, or whether it might be improved by adding stronger
axioms
An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word (), meaning 'that which is thought worthy or f ...
that could be used to prove a broader class of theorems.
By 1927, von Neumann was involving himself in discussions in Göttingen on whether
elementary arithmetic
Elementary arithmetic is a branch of mathematics involving addition, subtraction, multiplication, and Division (mathematics), division. Due to its low level of abstraction, broad range of application, and position as the foundation of all mathema ...
followed from
Peano axioms
In mathematical logic, the Peano axioms (, ), also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural numbers presented by the 19th-century Italian mathematician Giuseppe Peano. These axioms have been used nea ...
. Building on the work of
Ackermann, he began attempting to prove (using the
finistic methods of
Hilbert's school) the consistency of
first-order arithmetic. He succeeded in proving the consistency of a fragment of arithmetic of natural numbers (through the use of restrictions on
induction). He continued looking for a more general proof of the consistency of classical mathematics using methods from
proof theory
Proof theory is a major branchAccording to , proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. consists of four corresponding parts, with part D being about "Proof The ...
.
A strongly negative answer to whether it was definitive arrived in September 1930 at the
Second Conference on the Epistemology of the Exact Sciences, in which
Kurt Gödel
Kurt Friedrich Gödel ( ; ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel profoundly ...
announced his
first theorem of incompleteness: the usual axiomatic systems are incomplete, in the sense that they cannot prove every truth expressible in their language. Moreover, every consistent extension of these systems necessarily remains incomplete. At the conference, von Neumann suggested to Gödel that he should try to transform his results for undecidable propositions about integers.
Less than a month later, von Neumann communicated to Gödel an interesting consequence of his theorem: the usual axiomatic systems are unable to demonstrate their own consistency. Gödel replied that he had already discovered this consequence, now known as his
second incompleteness theorem, and that he would send a preprint of his article containing both results, which never appeared. Von Neumann acknowledged Gödel's priority in his next letter. However, von Neumann's method of proof differed from Gödel's, and he was also of the opinion that the second incompleteness theorem had dealt a much stronger blow to Hilbert's program than Gödel thought it did. With this discovery, which drastically changed his views on mathematical rigor, von Neumann ceased research in the
foundations of mathematics
Foundations of mathematics are the mathematical logic, logical and mathematics, mathematical framework that allows the development of mathematics without generating consistency, self-contradictory theories, and to have reliable concepts of theo ...
and
metamathematics
Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheory, metatheories, which are Mathematical theory, mathematical theories about other mathematical theories. Emphasis on metamathematics (and ...
and instead spent time on problems connected with applications.
Ergodic theory
In a series of papers published in 1932, von Neumann made foundational contributions to
ergodic theory
Ergodic theory is a branch of mathematics that studies statistical properties of deterministic dynamical systems; it is the study of ergodicity. In this context, "statistical properties" refers to properties which are expressed through the behav ...
, a branch of mathematics that involves the states of
dynamical systems
In mathematics, a dynamical system is a system in which a Function (mathematics), function describes the time dependence of a Point (geometry), point in an ambient space, such as in a parametric curve. Examples include the mathematical models ...
with an
invariant measure
In mathematics, an invariant measure is a measure that is preserved by some function. The function may be a geometric transformation. For examples, circular angle is invariant under rotation, hyperbolic angle is invariant under squeeze mappin ...
. Of the 1932 papers on ergodic theory,
Paul Halmos
Paul Richard Halmos (; 3 March 1916 – 2 October 2006) was a Kingdom of Hungary, Hungarian-born United States, American mathematician and probabilist who made fundamental advances in the areas of mathematical logic, probability theory, operat ...
wrote that even "if von Neumann had never done anything else, they would have been sufficient to guarantee him mathematical immortality". By then von Neumann had already written his articles on
operator theory
In mathematics, operator theory is the study of linear operators on function spaces, beginning with differential operators and integral operators. The operators may be presented abstractly by their characteristics, such as bounded linear operato ...
, and the application of this work was instrumental in his
mean ergodic theorem.
The theorem is about arbitrary
one-parameter unitary group
Unitary may refer to:
Mathematics
* Unitary divisor
* Unitary element
* Unitary group
* Unitary matrix
* Unitary morphism
* Unitary operator
* Unitary transformation
* Unitary representation
* Unitarity (physics)
* ''E''-unitary inverse semi ...
s
and states that for every vector
in the
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
,
exists in the sense of the metric defined by the Hilbert norm and is a vector
which is such that
for all
. This was proven in the first paper. In the second paper, von Neumann argued that his results here were sufficient for physical applications relating to
Boltzmann's ergodic hypothesis
In physics and thermodynamics, the ergodic hypothesis says that, over long periods of time, the time spent by a system in some region of the phase space of microstates with the same energy is proportional to the volume of this region, i.e., tha ...
. He also pointed out that
ergodicity
In mathematics, ergodicity expresses the idea that a point of a moving system, either a dynamical system or a stochastic process, will eventually visit all parts of the space that the system moves in, in a uniform and random sense. This implies th ...
had not yet been achieved and isolated this for future work.
Later in the year he published another influential paper that began the systematic study of ergodicity. He gave and proved a decomposition theorem showing that the ergodic
measure preserving actions of the real line are the fundamental building blocks from which all measure preserving actions can be built. Several other key theorems are given and proven. The results in this paper and another in conjunction with
Paul Halmos
Paul Richard Halmos (; 3 March 1916 – 2 October 2006) was a Kingdom of Hungary, Hungarian-born United States, American mathematician and probabilist who made fundamental advances in the areas of mathematical logic, probability theory, operat ...
have significant applications in other areas of mathematics.
Measure theory
In
measure theory
In mathematics, the concept of a measure is a generalization and formalization of geometrical measures (length, area, volume) and other common notions, such as magnitude (mathematics), magnitude, mass, and probability of events. These seemingl ...
, the "problem of measure" for an -dimensional
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...
may be stated as: "does there exist a positive, normalized, invariant, and additive set function on the class of all subsets of ?" The work of
Felix Hausdorff
Felix Hausdorff ( , ; November 8, 1868 – January 26, 1942) was a German mathematician, pseudonym Paul Mongré (''à mogré' (Fr.) = "according to my taste"), who is considered to be one of the founders of modern topology and who contributed sig ...
and
Stefan Banach
Stefan Banach ( ; 30 March 1892 – 31 August 1945) was a Polish mathematician who is generally considered one of the 20th century's most important and influential mathematicians. He was the founder of modern functional analysis, and an original ...
had implied that the problem of measure has a positive solution if or and a negative solution (because of the
Banach–Tarski paradox
The Banach–Tarski paradox is a theorem in set-theoretic geometry, which states the following: Given a solid ball in three-dimensional space, there exists a decomposition of the ball into a finite number of disjoint subsets, which can then ...
) in all other cases. Von Neumann's work argued that the "problem is essentially group-theoretic in character": the existence of a measure could be determined by looking at the properties of the
transformation group
In mathematics, the automorphism group of an object ''X'' is the group consisting of automorphisms of ''X'' under composition of morphisms. For example, if ''X'' is a finite-dimensional vector space, then the automorphism group of ''X'' is the gr ...
of the given space. The positive solution for spaces of dimension at most two, and the negative solution for higher dimensions, comes from the fact that the
Euclidean group
In mathematics, a Euclidean group is the group of (Euclidean) isometries of a Euclidean space \mathbb^n; that is, the transformations of that space that preserve the Euclidean distance between any two points (also called Euclidean transformati ...
is a
solvable group
In mathematics, more specifically in the field of group theory, a solvable group or soluble group is a group that can be constructed from abelian groups using extensions. Equivalently, a solvable group is a group whose derived series terminat ...
for dimension at most two, and is not solvable for higher dimensions. "Thus, according to von Neumann, it is the change of group that makes a difference, not the change of space." Around 1942 he told
Dorothy Maharam how to prove that every
complete σ-finite measure space
A measure space is a basic object of measure theory, a branch of mathematics that studies generalized notions of volumes. It contains an underlying set, the subsets of this set that are feasible for measuring (the -algebra) and the method that ...
has a multiplicative lifting; he did not publish this proof and she later came up with a new one.
In a number of von Neumann's papers, the methods of argument he employed are considered even more significant than the results. In anticipation of his later study of dimension theory in algebras of operators, von Neumann used results on equivalence by finite decomposition, and reformulated the problem of measure in terms of functions. A major contribution von Neumann made to measure theory was the result of a paper written to answer a question of
Haar regarding whether there existed an
algebra
Algebra is a branch of mathematics that deals with abstract systems, known as algebraic structures, and the manipulation of expressions within those systems. It is a generalization of arithmetic that introduces variables and algebraic ope ...
of all bounded functions on the real number line such that they form "a complete system of representatives of the classes of almost everywhere-equal measurable bounded functions". He proved this in the positive, and in later papers with
Stone
In geology, rock (or stone) is any naturally occurring solid mass or aggregate of minerals or mineraloid matter. It is categorized by the minerals included, its Chemical compound, chemical composition, and the way in which it is formed. Rocks ...
discussed various generalizations and algebraic aspects of this problem. He also proved by new methods the existence of
disintegrations for various general types of measures. Von Neumann also gave a new proof on the uniqueness of Haar measures by using the mean values of functions, although this method only worked for
compact group
In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact topological space (when an element of the group is operated on, the result is also within the group). Compact groups are a natural gen ...
s. He had to create entirely new techniques to apply this to
locally compact group
In mathematics, a locally compact group is a topological group ''G'' for which the underlying topology is locally compact and Hausdorff. Locally compact groups are important because many examples of groups that arise throughout mathematics are lo ...
s. He also gave a new, ingenious proof for the
Radon–Nikodym theorem
In mathematics, the Radon–Nikodym theorem is a result in measure theory that expresses the relationship between two measures defined on the same measurable space. A ''measure'' is a set function that assigns a consistent magnitude to the measurab ...
. His lecture notes on measure theory at the Institute for Advanced Study were an important source for knowledge on the topic in America at the time, and were later published.
Topological groups
Using his previous work on measure theory, von Neumann made several contributions to the theory of
topological group
In mathematics, topological groups are the combination of groups and topological spaces, i.e. they are groups and topological spaces at the same time, such that the continuity condition for the group operations connects these two structures ...
s, beginning with a paper on almost periodic functions on groups, where von Neumann extended
Bohr's theory of
almost periodic function
In mathematics, an almost periodic function is, loosely speaking, a function of a real variable that is periodic to within any desired level of accuracy, given suitably long, well-distributed "almost-periods". The concept was first studied by ...
s to arbitrary
groups. He continued this work with another paper in conjunction with
Bochner that improved the theory of almost
periodicity to include
functions that took on elements of
linear spaces as values rather than numbers. In 1938, he was awarded the
Bôcher Memorial Prize
The Bôcher Memorial Prize was founded by the American Mathematical Society in 1923 in memory of Maxime Bôcher with an initial endowment of $1,450 (contributed by members of that society). It is awarded every three years (formerly every five yea ...
for his work in
analysis
Analysis (: analyses) is the process of breaking a complex topic or substance into smaller parts in order to gain a better understanding of it. The technique has been applied in the study of mathematics and logic since before Aristotle (38 ...
in relation to these papers.
In a 1933 paper, he used the newly discovered
Haar measure
In mathematical analysis, the Haar measure assigns an "invariant volume" to subsets of locally compact topological groups, consequently defining an integral for functions on those groups.
This Measure (mathematics), measure was introduced by Alfr� ...
in the solution of
Hilbert's fifth problem for the case of
compact group
In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact topological space (when an element of the group is operated on, the result is also within the group). Compact groups are a natural gen ...
s. The basic idea behind this was discovered several years earlier when von Neumann published a paper on the analytic properties of groups of
linear transformations
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pr ...
and found that closed
subgroup
In group theory, a branch of mathematics, a subset of a group G is a subgroup of G if the members of that subset form a group with respect to the group operation in G.
Formally, given a group (mathematics), group under a binary operation  ...
s of a general
linear group In mathematics, a matrix group is a group ''G'' consisting of invertible matrices over a specified field ''K'', with the operation of matrix multiplication. A linear group is a group that is isomorphic to a matrix group (that is, admitting a ...
are
Lie group
In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable.
A manifold is a space that locally resembles Eucli ...
s. This was later extended by
Cartan to arbitrary Lie groups in the form of the
closed-subgroup theorem.
Functional analysis
Von Neumann was the first to axiomatically define an abstract
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
. He defined it as a
complex vector space with a
Hermitian scalar product, with the corresponding
norm being both separable and complete. In the same papers he also proved the general form of the
Cauchy–Schwarz inequality
The Cauchy–Schwarz inequality (also called Cauchy–Bunyakovsky–Schwarz inequality) is an upper bound on the absolute value of the inner product between two vectors in an inner product space in terms of the product of the vector norms. It is ...
that had previously been known only in specific examples. He continued with the development of the
spectral theory
In mathematics, spectral theory is an inclusive term for theories extending the eigenvector and eigenvalue theory of a single square matrix to a much broader theory of the structure of operator (mathematics), operators in a variety of mathematical ...
of operators in Hilbert space in three seminal papers between 1929 and 1932. This work cumulated in his ''
Mathematical Foundations of Quantum Mechanics'' which alongside two other books by
Stone
In geology, rock (or stone) is any naturally occurring solid mass or aggregate of minerals or mineraloid matter. It is categorized by the minerals included, its Chemical compound, chemical composition, and the way in which it is formed. Rocks ...
and
Banach in the same year were the first monographs on Hilbert space theory. Previous work by others showed that a theory of
weak topologies could not be obtained by using
sequences
In mathematics, a sequence is an enumerated collection of objects in which repetitions are allowed and order matters. Like a set, it contains members (also called ''elements'', or ''terms''). The number of elements (possibly infinite) is call ...
. Von Neumann was the first to outline a program of how to overcome the difficulties, which resulted in him defining
locally convex spaces and
topological vector spaces
In mathematics, a topological vector space (also called a linear topological space and commonly abbreviated TVS or t.v.s.) is one of the basic structures investigated in functional analysis.
A topological vector space is a vector space that is als ...
for the first time. In addition several other topological properties he defined at the time (he was among the first mathematicians to apply new topological ideas from
Hausdorff from Euclidean to Hilbert spaces) such as
boundness and
total boundness are still used today. For twenty years von Neumann was considered the 'undisputed master' of this area. These developments were primarily prompted by needs in
quantum mechanics
Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
where von Neumann realized the need to extend
the spectral theory of Hermitian operators from the bounded to the
unbounded case.
Other major achievements in these papers include a complete elucidation of spectral theory for
normal operator
In mathematics, especially functional analysis, a normal operator on a complex number, complex Hilbert space H is a continuous function (topology), continuous linear operator N\colon H\rightarrow H that commutator, commutes with its Hermitian adjo ...
s, the first abstract presentation of the
trace of a
positive operator, a generalisation of
Riesz's presentation of
Hilbert
David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician and philosophy of mathematics, philosopher of mathematics and one of the most influential mathematicians of his time.
Hilbert discovered and developed a broad ...
's spectral theorems at the time, and the discovery of
Hermitian operators in a Hilbert space, as distinct from
self-adjoint operator
In mathematics, a self-adjoint operator on a complex vector space ''V'' with inner product \langle\cdot,\cdot\rangle is a linear map ''A'' (from ''V'' to itself) that is its own adjoint. That is, \langle Ax,y \rangle = \langle x,Ay \rangle for al ...
s, which enabled him to give a description of all Hermitian operators which extend a given Hermitian operator. He wrote a paper detailing how the usage of
infinite matrices, common at the time in spectral theory, was inadequate as a representation for Hermitian operators. His work on operator theory lead to his most profound invention in pure mathematics, the study of von Neumann algebras and in general of
operator algebra
In functional analysis, a branch of mathematics, an operator algebra is an algebra of continuous linear operators on a topological vector space, with the multiplication given by the composition of mappings.
The results obtained in the study o ...
s.
His later work on rings of operators lead to him revisiting his work on spectral theory and providing a new way of working through the geometric content by the use of direct integrals of Hilbert spaces. Like in his work on measure theory he proved several theorems that he did not find time to publish. He told
Nachman Aronszajn
Nachman Aronszajn (26 July 1907 – 5 February 1980) was a Polish American mathematician. Aronszajn's main field of study was mathematical analysis, where he systematically developed the concept of reproducing kernel Hilbert space. He also contrib ...
and K. T. Smith that in the early 1930s he proved the existence of proper invariant subspaces for completely continuous operators in a Hilbert space while working on the
invariant subspace problem
In the field of mathematics known as functional analysis, the invariant subspace problem is a partially unresolved problem asking whether every bounded operator on a complex Banach space sends some non-trivial closed subspace to itself. Many v ...
.
With
I. J. Schoenberg he wrote several items investigating
translation invariant
In physics and mathematics, continuous translational symmetry is the invariance of a system of equations under any translation (without rotation). Discrete translational symmetry is invariant under discrete translation.
Analogously, an operato ...
Hilbertian
metrics
Metric or metrical may refer to:
Measuring
* Metric system, an internationally adopted decimal system of measurement
* An adjective indicating relation to measurement in general, or a noun describing a specific type of measurement
Mathematics
...
on the
real number line
A number line is a graphical representation of a straight line that serves as spatial representation of numbers, usually graduated like a ruler with a particular origin point representing the number zero and evenly spaced marks in either direc ...
which resulted in their complete classification. Their motivation lie in various questions related to embedding
metric space
In mathematics, a metric space is a Set (mathematics), set together with a notion of ''distance'' between its Element (mathematics), elements, usually called point (geometry), points. The distance is measured by a function (mathematics), functi ...
s into Hilbert spaces.
With
Pascual Jordan
Ernst Pascual Jordan (; 18 October 1902 – 31 July 1980) was a German theoretical and mathematical physicist who made significant contributions to quantum mechanics and quantum field theory. He contributed much to the mathematical form of matri ...
he wrote a short paper giving the first derivation of a given norm from an
inner product
In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, ofte ...
by means of the
parallelogram identity
In mathematics, the simplest form of the parallelogram law (also called the parallelogram identity) belongs to elementary geometry. It states that the sum of the squares of the lengths of the four sides of a parallelogram equals the sum of the s ...
. His
trace inequality is a key result of matrix theory used in matrix approximation problems. He also first presented the idea that the dual of a pre-norm is a norm in the first major paper discussing the theory of unitarily invariant norms and symmetric gauge functions (now known as symmetric absolute norms). This paper leads naturally to the study of symmetric
operator ideals and is the beginning point for modern studies of symmetric
operator spaces.
Later with
Robert Schatten he initiated the study of
nuclear operator
In mathematics, nuclear operators are an important class of linear operators introduced by Alexander Grothendieck in his doctoral dissertation. Nuclear operators are intimately tied to the projective tensor product of two topological vector space ...
s on Hilbert spaces,
tensor products of Banach spaces, introduced and studied
trace class
In mathematics, specifically functional analysis, a trace-class operator is a linear operator for which a trace may be defined, such that the trace is a finite number independent of the choice of basis used to compute the trace. This trace of tra ...
operators, their
ideals, and their
duality with
compact operator
In functional analysis, a branch of mathematics, a compact operator is a linear operator T: X \to Y, where X,Y are normed vector spaces, with the property that T maps bounded subsets of X to relatively compact subsets of Y (subsets with compact ...
s, and
preduality with
bounded operator
In functional analysis and operator theory, a bounded linear operator is a linear transformation L : X \to Y between topological vector spaces (TVSs) X and Y that maps bounded subsets of X to bounded subsets of Y.
If X and Y are normed vector ...
s. The generalization of this topic to the study of
nuclear operators on Banach spaces was among the first achievements of
Alexander Grothendieck
Alexander Grothendieck, later Alexandre Grothendieck in French (; ; ; 28 March 1928 – 13 November 2014), was a German-born French mathematician who became the leading figure in the creation of modern algebraic geometry. His research ext ...
. Previously in 1937 von Neumann published several results in this area, for example giving 1-parameter scale of different cross norms on
and proving several other results on what are now known as Schatten–von Neumann ideals.
Operator algebras
Von Neumann founded the study of rings of operators, through the
von Neumann algebra
In mathematics, a von Neumann algebra or W*-algebra is a *-algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. It is a special type of C*-algebra.
Von Neumann al ...
s (originally called W*-algebras). While his original ideas for
rings of
operators existed already in 1930, he did not begin studying them in depth until he met
F. J. Murray several years later. A von Neumann algebra is a
*-algebra of bounded operators on a
Hilbert space
In mathematics, a Hilbert space is a real number, real or complex number, complex inner product space that is also a complete metric space with respect to the metric induced by the inner product. It generalizes the notion of Euclidean space. The ...
that is closed in the
weak operator topology and contains the
identity operator
Graph of the identity function on the real numbers
In mathematics, an identity function, also called an identity relation, identity map or identity transformation, is a function that always returns the value that was used as its argument, unc ...
. The
von Neumann bicommutant theorem shows that the analytic definition is equivalent to a purely algebraic definition as being equal to the
bicommutant In algebra, the bicommutant of a subset ''S'' of a semigroup (such as an algebra or a group) is the commutant of the commutant of that subset. It is also known as the double commutant or second commutant and is written S^.
The bicommutant is part ...
. After elucidating the study of the
commutative algebra
Commutative algebra, first known as ideal theory, is the branch of algebra that studies commutative rings, their ideal (ring theory), ideals, and module (mathematics), modules over such rings. Both algebraic geometry and algebraic number theo ...
case, von Neumann embarked in 1936, with the partial collaboration of Murray, on the
noncommutative
In mathematics, a binary operation is commutative if changing the order of the operands does not change the result. It is a fundamental property of many binary operations, and many mathematical proofs depend on it. Perhaps most familiar as a p ...
case, the general study of
factors classification of von Neumann algebras. The six major papers in which he developed that theory between 1936 and 1940 "rank among the masterpieces of analysis in the twentieth century"; they collect many foundational results and started several programs in operator algebra theory that mathematicians worked on for decades afterwards. An example is the classification of
factors. In addition in 1938 he proved that every von Neumann algebra on a separable Hilbert space is a direct integral of factors; he did not find time to publish this result until 1949. Von Neumann algebras relate closely to a theory of noncommutative integration, something that von Neumann hinted to in his work but did not explicitly write out. Another important result on
polar decomposition
In mathematics, the polar decomposition of a square real or complex matrix A is a factorization of the form A = U P, where U is a unitary matrix, and P is a positive semi-definite Hermitian matrix (U is an orthogonal matrix, and P is a posit ...
was published in 1932.
Lattice theory
Between 1935 and 1937, von Neumann worked on
lattice theory
A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every pair of elements has a unique supremum (also called a least upper bou ...
, the theory of
partially ordered set
In mathematics, especially order theory, a partial order on a Set (mathematics), set is an arrangement such that, for certain pairs of elements, one precedes the other. The word ''partial'' is used to indicate that not every pair of elements need ...
s in which every two elements have a greatest lower bound and a least upper bound. As
Garrett Birkhoff
Garrett Birkhoff (January 19, 1911 – November 22, 1996) was an American mathematician. He is best known for his work in lattice theory.
The mathematician George Birkhoff (1884–1944) was his father.
Life
The son of the mathematician Ge ...
wrote, "John von Neumann's brilliant mind blazed over lattice theory like a meteor". Von Neumann combined traditional projective geometry with modern algebra (
linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and through matrix (mathemat ...
,
ring theory, lattice theory). Many previously geometric results could then be interpreted in the case of general
modules over rings. His work laid the foundations for some of the modern work in projective geometry.
His biggest contribution was founding the field of
continuous geometry In mathematics, continuous geometry is an analogue of complex projective geometry introduced by , where instead of the dimension of a subspace being in a discrete set 0, 1, \dots, \textit, it can be an element of the unit interval ,1 Von Neuman ...
. It followed his path-breaking work on rings of operators. In mathematics, continuous geometry is a substitute of complex
projective geometry
In mathematics, projective geometry is the study of geometric properties that are invariant with respect to projective transformations. This means that, compared to elementary Euclidean geometry, projective geometry has a different setting (''p ...
, where instead of the
dimension
In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it. Thus, a line has a dimension of one (1D) because only one coo ...
of a
subspace being in a discrete set
it can be an element of the
unit interval
In mathematics, the unit interval is the closed interval , that is, the set of all real numbers that are greater than or equal to 0 and less than or equal to 1. It is often denoted ' (capital letter ). In addition to its role in real analysi ...