John von Neumann ( ; hu, Neumann János Lajos ; December 28, 1903 – February 8, 1957) was a Hungarian-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, structure, space, models, and change.
History
On ...
,
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 caus ...
,
computer scientist
A computer scientist is a person who is trained in the academic study of computer science.
Computer scientists typically work on the theoretical side of computation, as opposed to the hardware side on which computer engineers mainly focus (al ...
,
engineer
Engineers, as practitioners of engineering, are professionals who invent, design, analyze, build and test machines, complex systems, structures, gadgets and materials to fulfill functional objectives and requirements while considering the l ...
and
polymath
A polymath ( el, πολυμαθής, , "having learned much"; la, homo universalis, "universal human") is an individual whose knowledge spans a substantial number of subjects, known to draw on complex bodies of knowledge to solve specific pro ...
. He had perhaps the widest coverage of any mathematician of his time, integrating
pure
Pure may refer to:
Computing
* A pure function
* A pure virtual function
* PureSystems, a family of computer systems introduced by IBM in 2012
* Pure Software, a company founded in 1991 by Reed Hastings to support the Purify tool
* Pure-FTPd, ...
and
applied sciences
Applied science is the use of the scientific method and knowledge obtained via conclusions from the method to attain practical goals. It includes a broad range of disciplines such as engineering and medicine. Applied science is often contrasted ...
and making major contributions to many fields, including
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
,
physics
Physics is the natural science that studies matter, its 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 which r ...
,
economics
Economics () is the social science that studies the Production (economics), production, distribution (economics), distribution, and Consumption (economics), consumption of goods and services.
Economics focuses on the behaviour and intera ...
,
computing
Computing is any goal-oriented activity requiring, benefiting from, or creating computing machinery. It includes the study and experimentation of algorithmic processes, and development of both hardware and software. Computing has scientific, e ...
, and
statistics
Statistics (from German language, German: ''wikt:Statistik#German, Statistik'', "description of a State (polity), state, a country") is the discipline that concerns the collection, organization, analysis, interpretation, and presentation of ...
. He was a pioneer in building the mathematical framework of
quantum physics
Quantum mechanics is a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistry, qua ...
, 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 (e.g. Inner product space#Definition, inner product, Norm (mathematics)#Defini ...
, and in
game theory
Game theory is the study of mathematical models of strategic interactions among rational agents. Myerson, Roger B. (1991). ''Game Theory: Analysis of Conflict,'' Harvard University Press, p.&nbs1 Chapter-preview links, ppvii–xi It has appli ...
, introducing or codifying concepts including
cellular automata, the
universal constructor and the
digital computer. His analysis of the structure of
self-replication preceded the discovery of the structure of
DNA.
During
World War II
World War II or the Second World War, often abbreviated as WWII or WW2, was a world war that lasted from 1939 to 1945. It involved the vast majority of the world's countries—including all of the great powers—forming two opposin ...
, von Neumann worked on the
Manhattan Project
The Manhattan Project was a research and development undertaking during World War II that produced the first nuclear weapons. It was led by the United States with the support of the United Kingdom and Canada. From 1942 to 1946, the project w ...
on
nuclear physics
Nuclear physics is the field of physics that studies atomic nuclei and their constituents and interactions, in addition to the study of other forms of nuclear matter.
Nuclear physics should not be confused with atomic physics, which studies the ...
involved in
thermonuclear
Thermonuclear fusion is the process of atomic nuclei combining or “fusing” using high temperatures to drive them close enough together for this to become possible. There are two forms of thermonuclear fusion: ''uncontrolled'', in which the re ...
reactions and the
hydrogen bomb
A thermonuclear weapon, fusion weapon or hydrogen bomb (H bomb) is a second-generation nuclear weapon design. Its greater sophistication affords it vastly greater destructive power than first-generation nuclear bombs, a more compact size, a lowe ...
. He developed the mathematical models behind the
explosive lenses used in the
implosion-type nuclear weapon. Before and after the war, he consulted for many organizations including the
Office of Scientific Research and Development, the
Army's Ballistic Research Laboratory, the
Armed Forces Special Weapons Project and the
Oak Ridge National Laboratory
Oak Ridge National Laboratory (ORNL) is a U.S. multiprogram science and technology national laboratory sponsored by the U.S. Department of Energy (DOE) and administered, managed, and operated by UT–Battelle as a federally funded research and ...
. 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 greater than , primarily designed for nuclear weapons delivery (delivering one or more thermonuclear warheads). Conventional, chemical, and biological weapons c ...
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
Bernard Adolph Schriever (14 September 1910 – 20 June 2005), also known as Bennie Schriever, was a United States Air Force general who played a major role in the Air Force's space and ballistic missile programs.
Born in Bremen, Germany, Sch ...
and
Trevor Gardner
Trevor Gardner (24 August 1915 - 28 September 1963) was Assistant Secretary of the U.S. Air Force for Research and Development during the early 1950s. Together with Bernard Schriever, the Air Staff's Assistant for Development Planning, Gardner was ...
in the design and development of the United States' first
ICBM
An intercontinental ballistic missile (ICBM) is a ballistic missile with a range greater than , primarily designed for nuclear weapons delivery (delivering one or more thermonuclear warheads). Conventional, chemical, and biological weapons c ...
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 bomb) or a combination of fission and fusion reactions ( thermonuclear bomb), producing a nuclear explosion. Both bom ...
ry and the leading defense scientist at
the Pentagon
The Pentagon is the headquarters building of the United States Department of Defense. It was constructed on an accelerated schedule during World War II. As a symbol of the U.S. military, the phrase ''The Pentagon'' is often used as a metony ...
.
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 and most populous city of Hungary. It is the ninth-largest city in the European Union by population within city limits and the second-largest city on the Danube river; the city has an estimated population ...
,
Kingdom of Hungary
The Kingdom of Hungary was a monarchy in Central Europe that existed for nearly a millennium, from the Middle Ages into the 20th century. The Principality of Hungary emerged as a Christian kingdom upon the coronation of the first king Stephen ...
(which was then part of the
Austro-Hungarian Empire
Austria-Hungary, often referred to as the Austro-Hungarian Empire,, the Dual Monarchy, or Austria, was a constitutional monarchy and great power in Central Europe between 1867 and 1918. It was formed with the Austro-Hungarian Compromise of ...
),
on December 28, 1903, to a wealthy, acculturated, and non-observant
Jewish
Jews ( he, יְהוּדִים, , ) or Jewish people are an ethnoreligious group and nation originating from the Israelites Israelite origins and kingdom: "The first act in the long drama of Jewish history is the age of the Israelites""The ...
family. His Hungarian 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 (English: Michael von Neumann; 1907–1989) and Miklós (Nicholas von Neumann, 1911–2011). His father, Neumann Miksa (Max von Neumann, 1873–1928) was a banker, who held a
doctorate in law. He had moved to Budapest from
Pécs at the end of the 1880s. Miksa's father and grandfather were both born in Ond (now part of the town of
Szerencs
Szerencs is a town in Borsod-Abaúj-Zemplén county, Northern Hungary. It lies away from Miskolc, and away from Budapest. It has about 9,100 inhabitants.
History
Szerencs grew into a town where the Great Plain and the Zemplén mountains meet. I ...
),
Zemplén County, northern Hungary. John's mother was Kann Margit (English: Margaret Kann); her parents were Jakab Kann and Katalin Meisels 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
Franz Joseph I or Francis Joseph I (german: Franz Joseph Karl, hu, Ferenc József Károly, 18 August 1830 – 21 November 1916) was Emperor of Austria, King of Hungary, and the other states of the Habsburg monarchy from 2 December 1848 until his ...
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
Romania ( ; ro, România ) is a country located at the crossroads of Central Europe, Central, Eastern Europe, Eastern, and Southeast Europe, Southeastern Europe. It borders Bulgaria to the south, Ukraine to the north, Hungary to the west, S ...
). 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 latter two being outer garments). The coat of arms on an escutcheon forms the central ele ...
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 defined in psychology research literature as a person under the age of ten who produces meaningful output in some domain at the level of an adult expert. The term is also applied more broadly to young people who are extraor ...
who at six years old could divide two eight-digit numbers in his head and could converse in
Ancient Greek
Ancient Greek includes the forms of the Greek language used in ancient Greece and the ancient world from around 1500 BC to 300 BC. It is often roughly divided into the following periods: Mycenaean Greek (), Dark Ages (), the Archaic peri ...
. When the six-year-old von Neumann caught his mother staring aimlessly, he asked her, "What are you calculating?"
When they were young, von Neumann, 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
English usually refers to:
* English language
* English people
English may also refer to:
Peoples, culture, and language
* ''English'', an adjective for something of, from, or related to England
** English national ide ...
,
French
French (french: français(e), link=no) may refer to:
* Something of, from, or related to France
** French language, which originated in France, and its various dialects and accents
** French people, a nation and ethnic group identified with Franc ...
,
German
German(s) may refer to:
* Germany (of or related to)
**Germania (historical use)
* Germans, citizens of Germany, people of German ancestry, or native speakers of the German language
** For citizens of Germany, see also German nationality law
**Ger ...
and
Italian. By the age of eight, von Neumann was familiar with
differential and
integral calculus, and by twelve he had read and understood
Borel's ''La Théorie des Fonctions''. He was also interested in history, reading his way through
Wilhelm Oncken
Christian Friedrich Georg Wilhelm Oncken (19 December 1838 – 11 August 1905) was a German historian.
Biography
Oncken was born in Heidelberg to Anton Wilhelm Oncken, a lawyer and intellectual, and his wife Marie Eleonare Thaden. He was the br ...
'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, with bookshelves from ceiling to floor.
Von Neumann entered the Lutheran
Fasori Evangélikus Gimnázium in 1914.
Eugene Wigner was a year ahead of von Neumann at the Lutheran 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 the age of 15, he began to study advanced calculus under the renowned 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 T ...
. By the age of 19, von Neumann had published two major mathematical papers, the second of which gave the modern definition of
ordinal numbers, which superseded
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor ( , ; – January 6, 1918) was a German mathematician. He played a pivotal role in the creation of set theory, which has become a fundamental theory in mathematics. Cantor established the importance of ...
'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 as his major. Von Neumann and his father decided that the best career path was
chemical engineer
In the field of engineering, a chemical engineer is a professional, equipped with the knowledge of chemical engineering, who works principally in the chemical industry to convert basic raw materials into a variety of products and deals with the ...
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
Humboldt-Universität zu Berlin (german: Humboldt-Universität zu Berlin, abbreviated HU Berlin) is a German public research university in the central borough of Mitte in Berlin. It was established by Frederick William III on the initiative o ...
, after which he sat for the entrance exam to
ETH Zurich
(colloquially)
, former_name = eidgenössische polytechnische Schule
, image = ETHZ.JPG
, image_size =
, established =
, type = Public
, budget = CHF 1.896 billion (2021)
, rector = Günther Dissertori
, president = Joël Mesot
, ac ...
, which he passed in September 1923. Simultaneously von Neumann also entered
Pázmány Péter University in Budapest,
as a
Ph.D.
A Doctor of Philosophy (PhD, Ph.D., or DPhil; Latin: or ') is the most common degree at the highest academic level awarded following a course of study. PhDs are awarded for programs across the whole breadth of academic fields. Because it is a ...
candidate in
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
. For his thesis, he produced an
axiomatization
In mathematics and logic, an axiomatic system is any Set (mathematics), set of axioms from which some or all axioms can be used in conjunction to logically derive theorems. A Theory (mathematical logic), theory is a consistent, relatively-self-co ...
of
Cantor's set theory.
He graduated as a
chemical engineer
In the field of engineering, a chemical engineer is a professional, equipped with the knowledge of chemical engineering, who works principally in the chemical industry to convert basic raw materials into a variety of products and deals with the ...
from ETH Zurich in 1926, and 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 Sou ...
'' 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 ...
and chemistry) simultaneous with his chemical engineering degree. He then went to the
University of Göttingen
The University of Göttingen, officially the Georg August University of Göttingen, (german: Georg-August-Universität Göttingen, known informally as Georgia Augusta) is a public research university in the city of Göttingen, Germany. Founded ...
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 second-oldest major philanthropic institution in America, after the Carneg ...
to study mathematics under
David Hilbert
David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician, one of the most influential mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many a ...
.
Hermann Weyl
Hermann Klaus Hugo Weyl, (; 9 November 1885 – 8 December 1955) was a German mathematician, theoretical physicist and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, he is assoc ...
, in his obituary of
Emmy Noether, remembers how in the winter of 1926–1927 von Neumann, Noether, and he would take walks after his classes through "the cold, wet, rain-wet streets of Göttingen" discussing
hypercomplex number 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 many European countries. The candidate fulfills a university's set criteria of excellence in research, teaching and further education, usually including a ...
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 qualific ...
'' at the University of Berlin in 1928. He was the youngest person ever elected ''Privatdozent'' in the university's history in any subject. 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 (german: link=no, Universität Hamburg, also referred to as UHH) is a public research university in Hamburg, Germany. It was founded on 28 March 1919 by combining the previous General Lecture System ('' Allgemeines Vor ...
, 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 research university in Princeton, New Jersey. Founded in 1746 in Elizabeth, New Jersey, Elizabeth as the College of New Jersey, Princeton is the List of Colonial Colleges, fourth-oldest ins ...
as a visiting lecturer in
mathematical physics
Mathematical physics refers to 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 t ...
.
Von Neumann was baptized a Catholic in 1930. Shortly afterward, von Neumann 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 : ''marina'', "coast" or "shore") 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 o ...
, born in 1935. As of 2021 Marina is a distinguished professor emerita of business administration and public policy at the
University of Michigan
, mottoeng = "Arts, Knowledge, Truth"
, former_names = Catholepistemiad, or University of Michigania (1817–1821)
, budget = $10.3 billion (2021)
, endowment = $17 billion (2021)As o ...
. The couple divorced on November 2, 1937. On November 17, 1938, von Neumann married
Klara Dan.
In 1933 Von Neumann accepted a tenured professorship at the
Institute for Advanced Study
The Institute for Advanced Study (IAS), located in Princeton, New Jersey, in the United States, is an independent center for theoretical research and intellectual inquiry. It has served as the academic home of internationally preeminent scholar ...
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 and philosopher. Although much of his working life was spent in Zürich, Switzerland, and then Princeton, New Jersey, he is assoc ...
appeared to have failed. His mother, brothers and in-law followed von Neumann to the United States in 1939. Von Neumann
anglicized his first name to John, keeping the German-aristocratic surname
von
The term ''von'' () is used in German language surnames either as a nobiliary particle indicating a noble patrilineality, or as a simple preposition used by commoners that means ''of'' or ''from''.
Nobility directories like the ''Almanach de Go ...
Neumann. His brothers changed theirs to "Neumann" and "Vonneumann". Von Neumann became a
naturalized citizen of the United States in 1937, and immediately tried to become a
lieutenant
A lieutenant ( , ; abbreviated Lt., Lt, LT, Lieut and similar) is a commissioned officer rank in the armed forces of many nations.
The meaning of lieutenant differs in different militaries (see comparative military ranks), but it is often sub ...
in the United States Army's
Officers Reserve Corps. He passed the exams but was rejected because of his age.
He was also known for always being happy to provide others with scientific and mathematical advice, even when the recipient did not later credit him, which he did on many occasions with mathematicians and scientists of all ability levels. Wigner wrote that he perhaps supervised more work (in a casual sense) than any other modern mathematician. Collected works of colleagues at Princeton are full of references to hints or results from casual conversations with him.
Klara and John von Neumann were socially active within the local academic community. His white
clapboard house at 26 Westcott Road was one of Princeton's largest private residences. He always wore formal suits, including a three-piece pinstripe while riding down the
Grand Canyon
The Grand Canyon (, yuf-x-yav, Wi:kaʼi:la, , Southern Paiute language: Paxa’uipi, ) is a steep-sided canyon carved by the Colorado River in Arizona, United States. The Grand Canyon is long, up to wide and attains a depth of over a m ...
astride a mule.
Von Neumann held a lifelong passion for ancient history and was renowned for his historical knowledge. He enjoyed
Yiddish
Yiddish (, or , ''yidish'' or ''idish'', , ; , ''Yidish-Taytsh'', ) is a West Germanic language historically spoken by Ashkenazi Jews. It originated during the 9th century in Central Europe, providing the nascent Ashkenazi community with a ver ...
and
"off-color" humor (especially
limericks
A limerick ( ) is a form of verse, usually humorous and frequently rude, in five-line, predominantly trimeter with a strict rhyme scheme of AABBA, in which the first, second and fifth line rhyme, while the third and fourth lines are shorter and ...
). He was a non-smoker. In Princeton, he received complaints for playing extremely loud German
march music
A march, as a musical genre, is a piece of music with a strong regular rhythm which in origin was expressly written for marching to and most frequently performed by a military band. In mood, marches range from the moving death march in Wagner's ...
on his
phonograph
A phonograph, in its later forms also called a gramophone (as a trademark since 1887, as a generic name in the UK since 1910) or since the 1940s called a record player, or more recently a turntable, is a device for the mechanical and analogu ...
. Von Neumann did some of his best work in noisy, chaotic environments, including with his wife's phonograph playing loudly. Per
Churchill Eisenhart Churchill Eisenhart (1913–1994) was a United States mathematician. He was Chief of the Statistical Engineering Laboratory (SEL), Applied Mathematics Division of the National Bureau of Standards (NBS).
Biography
Eisenhart was the son of Luther Ei ...
, von Neumann could attend parties until the early hours of the morning and then deliver a lucid lecture at 8:30.
His daughter wrote in her memoirs that he was very concerned with his legacy in two aspects: her 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 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 a ...
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. He seemed to admire
generals and
admiral
Admiral is one of the highest ranks in some navies. In the Commonwealth nations and the United States, a "full" admiral is equivalent to a "full" general in the army or the air force, and is above vice admiral and below admiral of the fleet, ...
s and more generally those who wielded power in society.
Stanisław Ulam 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 at least a conversational level of Italian, Yiddish, Latin and Ancient Greek. His Spanish was less perfect, but once on a trip to Mexico he tried to create his own "neo-Castilian" mix of English and Spanish. He had an 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 ancient world from around 1500 BC to 300 BC. It is often roughly divided into the following periods: Mycenaean Greek (), Dark Ages (), the Archaic peri ...
historians such as
Thucydides
Thucydides (; grc, , }; BC) was an Athenian historian and general. His ''History of the Peloponnesian War'' recounts the fifth-century BC war between Sparta and Athens until the year 411 BC. Thucydides has been dubbed the father of "scientifi ...
and
Herodotus
Herodotus ( ; grc, , }; BC) was an ancient Greek historian and geographer from the Greek city of Halicarnassus, part of the Persian Empire (now Bodrum, Turkey) and a later citizen of Thurii in modern Calabria ( Italy). He is known f ...
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 Ulam. 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; the mass turned out to be cancer originating in the
skeleton
A skeleton is the structural frame that supports the body of an animal. There are several types of skeletons, including the exoskeleton, which is the stable outer shell of an organism, the endoskeleton, which forms the support structure inside ...
,
pancreas
The pancreas is an organ of the digestive system and endocrine system of vertebrates. In humans, it is located in the abdomen behind the stomach and functions as a gland. The pancreas is a mixed or heterocrine gland, i.e. it has both an end ...
or
prostate. (While there is general agreement that the tumour had
metastasis
Metastasis is a pathogenic agent's spread 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, then, ...
ed from elsewhere, 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 through a material medium. This includes:
* ''electromagnetic radiation'', such as radio waves, microwaves, infrared, visi ...
at
Los Alamos National Laboratory
Los Alamos National Laboratory (often shortened as Los Alamos and LANL) is one of the sixteen research and development laboratories of the United States Department of Energy (DOE), located a short distance northwest of Santa Fe, New Mexico, ...
. Unable to accept his impending death, Von Neumann was given
last rites by Father Strittmatter before dying. Father Strittmatter recalled that even after administering the last rites, von Neumann did not receive much peace or comfort from it, as he still remained terrified of death. 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 on February 8, 1957, at
Walter Reed Army Medical Hospital and was buried at
Princeton Cemetery
Princeton Cemetery is located in Princeton, New Jersey, United States. It is owned by the Nassau Presbyterian Church. John F. Hageman in his 1878 history of Princeton, New Jersey refers to the cemetery as "The Westminster Abbey of the United State ...
of Nassau Presbyterian Church in Princeton, New Jersey.
Mathematics
Set theory

The axiomatization of mathematics, on the model of
Euclid
Euclid (; grc-gre, Wikt:Εὐκλείδης, Εὐκλείδης; BC) was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the ''Euclid's Elements, Elements'' trea ...
's ''
Elements
Element or elements may refer to:
Science
* Chemical element, a pure substance of one type of atom
* Heating element, a device that generates heat by electrical resistance
* Orbital elements, parameters required to identify a specific orbit of ...
'', had reached new levels of rigour and breadth at the end of the 19th century, particularly in arithmetic, thanks to the
axiom schema of
Richard Dedekind
Julius Wilhelm Richard Dedekind (6 October 1831 – 12 February 1916) was a German mathematician who made important contributions to number theory, abstract algebra (particularly ring theory), and
the axiomatic foundations of arithmetic. His ...
and
Charles Sanders Peirce
Charles Sanders Peirce ( ; September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician and scientist who is sometimes known as "the father of pragmatism".
Educated as a chemist and employed as a scientist for t ...
, and in geometry, thanks to
Hilbert's axioms.
But 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 Set theory#Axiomatic set theory, axiomatic set theories, which are defined using Mathematical_logic#Formal_logical_systems, forma ...
suffered a setback due to
Russell's paradox (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 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 mathematics, is mostly conce ...
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 axiomatic se ...
and
Abraham Fraenkel.
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 such as ...
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 doctoral thesis of 1925, von Neumann demonstrated two techniques to exclude such sets—the ''
axiom of foundation'' and the notion of ''
class
Class 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 differentl ...
.''
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 principles of Zermelo and Fraenkel. 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 a method of demonstration called 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 = \langle \in \rangle be ...
s'', which became an essential instrument in set theory.
The second approach to the problem of sets belonging to themselves took as its base the notion of
class
Class 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 differentl ...
, 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, cardinal numbers, or cardinals for short, are a generalization of the natural numbers used to measure the cardinality (size) of sets. The cardinality of a finite set is a natural number: the number of elements in the set. Th ...
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 (1914),
Stefan Banach and
Alfred Tarski in 1924 showed how to subdivide a three-dimensional
ball
A ball is a round object (usually spherical, but can sometimes be 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 f ...
into
disjoint sets
In mathematics, two sets are said to be disjoint sets if they have no element in common. Equivalently, two disjoint sets are sets whose intersection is the empty set.. For example, and are ''disjoint sets,'' while and are not disjoint. A ...
, then translate and rotate these sets to form two identical copies of the same ball; this is the
Banach–Tarski paradox. 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 generally, ...
s instead of translations and rotations. The result depended on finding
free groups 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. 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 that could be used to prove a broader class of theorems.
By 1927, von Neumann was involving himself in discussions with others in Göttingen on whether
elementary arithmetic followed from
Peano axioms. Building on the work of
Ackermann, von Neumann began attempting to prove (using the
finistic methods of
Hilbert's school) the consistency of
first-order arithmetic
In first-order logic, a first-order theory is given by a set of axioms in some
language. This entry lists some of the more common examples used in model theory and some of their properties.
Preliminaries
For every natural mathematical structure ...
. He succeeded in proving the consistency of a fragment of arithmetic of natural numbers (through the use of restrictions on
induction
Induction, Inducible or Inductive may refer to:
Biology and medicine
* Labor induction (birth/pregnancy)
* Induction chemotherapy, in medicine
* Induced stem cells, stem cells derived from somatic, reproductive, pluripotent or other cell t ...
). 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 Wang (1981), pp. 3–4, proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. Jon Barwise, Barwise (1978) consists of four correspo ...
.
A strongly negative answer to whether it was definitive arrived in September 1930 at the historic
Second Conference on the Epistemology of the Exact Sciences of
Königsberg
Königsberg (, ) was the historic Prussian city that is now Kaliningrad, Russia. Königsberg was founded in 1255 on the site of the ancient Old Prussian settlement ''Twangste'' by the Teutonic Knights during the Northern Crusades, and was named ...
, 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 had an imme ...
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: that the usual axiomatic systems are unable to demonstrate their own consistency. Gödel replied, saying he had already discovered this consequence, now known as his
second incompleteness theorem
The second (symbol: s) is the unit of time in the International System of Units (SI), historically defined as of a day – this factor derived from the division of the day first into 24 hours, then to 60 minutes and finally to 60 seconds e ...
, 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 and
metamathematics
Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. Emphasis on metamathematics (and perhaps the creation of the ter ...
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 (Greek: ' "work", ' "way") is a branch of mathematics that studies statistical properties of deterministic dynamical systems; it is the study of ergodicity. In this context, statistical properties means properties which are expres ...
, a branch of mathematics that involves the states of
dynamical systems
In mathematics, a dynamical system is a system in which a function describes the time dependence of a point in an ambient space. Examples include the mathematical models that describe the swinging of a clock pendulum, the flow of water in a p ...
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 mapping, an ...
. Of the 1932 papers on ergodic theory,
Paul Halmos 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, and the application of this work was instrumental in his
mean ergodic theorem
Ergodic theory ( Greek: ' "work", ' "way") is a branch of mathematics that studies statistical properties of deterministic dynamical systems; it is the study of ergodicity. In this context, statistical properties means properties which are expr ...
.
The theorem is about arbitrary
one-parameter unitary groups
and states that for every vector
in the
Hilbert space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natural ...
,
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., th ...
. He also pointed out that
ergodicity had not yet been achieved and isolated this for future work.
Later in the year he published another long and influential paper that began the systematic study of ergodicity. In this paper 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 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 mass and probability of events. These seemingly distinct concepts have many simil ...
, the "problem of measure" for an -dimensional
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics ther ...
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 and
Stefan Banach had implied that the problem of measure has a positive solution if or and a negative solution (because of the
Banach–Tarski paradox) 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 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 transformations). ...
is a
solvable group 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
Dorothy Maharam Stone (July 1, 1917 – September 27, 2014)
was an American mathematician born in Parkersburg, West Virginia, who made important contributions to measure theory and became the namesake of Maharam's theorem and Maharam algebra.
L ...
how to prove that every
complete
Complete may refer to:
Logic
* Completeness (logic)
* Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable
Mathematics
* The completeness of the real numbers, which implies t ...
σ-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 i ...
has a multiplicative lifting, however 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 one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics.
Elementary a ...
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 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 groups. He had to create entirely new techniques to apply this to
locally compact groups. He also gave a new, ingenious proof for the
Radon–Nikodym theorem. 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 logically 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 str ...
s, beginning with a paper on almost periodic functions on groups, where von Neumann extended
Bohr's theory of
almost periodic functions to arbitrary
groups
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic iden ...
. He continued this work with another paper in conjunction with
Bochner that improved the theory of almost
periodicity
Periodicity or periodic may refer to:
Mathematics
* Bott periodicity theorem, addresses Bott periodicity: a modulo-8 recurrence relation in the homotopy groups of classical groups
* Periodic function, a function whose output contains values tha ...
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 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 was introduced by Alfréd Haar in 1933, though ...
in the solution of
Hilbert's fifth problem
Hilbert's fifth problem is the fifth mathematical problem from the problem list publicized in 1900 by mathematician David Hilbert, and concerns the characterization of Lie groups.
The theory of Lie groups describes continuous symmetry in mathemat ...
for the case of
compact groups. 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 pre ...
and found that closed
subgroups of a general
linear group are
Lie group
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additio ...
s. This was later extended by
Cartan to arbitrary Lie groups in the form of the
closed-subgroup theorem In mathematics, the closed-subgroup theorem (sometimes referred to as Cartan's theorem) is a theorem in the theory of Lie groups. It states that if is a closed subgroup of a Lie group , then is an embedded Lie group with the smooth structure (and ...
.
Functional analysis
Von Neumann was the first person to axiomatically define an abstract
Hilbert space
In mathematics, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natural ...
. He defined it as a
complex vector space with a
Hermitian scalar product, with the corresponding
norm
Naturally occurring radioactive materials (NORM) and technologically enhanced naturally occurring radioactive materials (TENORM) consist of materials, usually industrial wastes or by-products enriched with radioactive elements found in the envir ...
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 considered one of the most important and widely used inequalities in mathematics.
The inequality for sums was published by . The corresponding inequality fo ...
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 operators in a variety of mathematical spaces. It is a result o ...
of operators in Hilbert space in 3 seminal papers between 1929 and 1932. This work cumulated in his ''
Mathematical Foundations of Quantum Mechanics'' which among two other books by
Stone 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, and 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 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 a fundamental theory in physics that provides a description of the physical properties of nature at the scale of atoms and subatomic particles. It is the foundation of all quantum physics including quantum chemistry, ...
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 operators, the first abstract presentation of the
trace
Trace may refer to:
Arts and entertainment Music
* Trace (Son Volt album), ''Trace'' (Son Volt album), 1995
* Trace (Died Pretty album), ''Trace'' (Died Pretty album), 1993
* Trace (band), a Dutch progressive rock band
* The Trace (album), ''The ...
of a
positive operator, a generalisation of
Riesz's presentation of
Hilbert's spectral theorems at the time, and the discovery of
Hermitian operators in a Hilbert space, as distinct from
self-adjoint operators, which enabled him to give a description of all Hermitian operators which extend a given Hermitian operator. In addition 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 algebras.
His later work on rings of operators lead to him revisiting his earlier work on spectral theory and providing a new way of working through the geometric content of the spectral theory 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.
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 were told by him 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 var ...
.
With
I. J. Schoenberg he wrote several items investigating
translation invariant
In geometry, to translate a geometric figure is to move it from one place to another without rotating it. A translation "slides" a thing by .
In physics and mathematics, continuous translational symmetry is the invariance of a system of equat ...
Hilbertian
metrics
Metric or metrical may refer to:
* 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
In mathema ...
on the
real number line 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 together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general settin ...
s into Hilbert spaces.
With
Pascual Jordan 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 space, Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation (mathematics), operation called an inner product. The inner product of two ve ...
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 In mathematics, there are many kinds of inequalities involving matrices and linear operators on Hilbert spaces. This article covers some important operator inequalities connected with traces of matrices.E. Carlen, Trace Inequalities and Quantum E ...
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 ideal In functional analysis, a branch of mathematics, an operator ideal is a special kind of class of continuous linear operators between Banach spaces. If an operator T belongs to an operator ideal \mathcal, then for any operators A and B which can b ...
s and is the beginning point for modern studies of symmetric
operator space In functional analysis, a discipline within mathematics, an operator space is a normed vector space (not necessarily a Banach space) "given together with an isometric embedding into the space ''B(H)'' of all bounded operators on a Hilbert space ' ...
s.
Later with
Robert Schatten
Robert Schatten (January 28, 1911 – August 26, 1977) was an American mathematician.
Robert Schatten was born to a Jewish family in Lviv. His intellectual origins were at Lwów School of Mathematics, particularly well known for fundamental contr ...
he initiated the study of
nuclear operators on Hilbert spaces,
tensor products of Banach spaces, introduced and studied
trace class operators, their
ideals
Ideal may refer to:
Philosophy
* Ideal (ethics), values that one actively pursues as goals
* Platonic ideal, a philosophical idea of trueness of form, associated with Plato
Mathematics
* Ideal (ring theory), special subsets of a ring considered ...
, and their
duality
Duality may refer to:
Mathematics
* Duality (mathematics), a mathematical concept
** Dual (category theory), a formalization of mathematical duality
** Duality (optimization)
** Duality (order theory), a concept regarding binary relations
** Dual ...
with
compact operators, and
predual
In mathematics, the predual of an object ''D'' is an object ''P'' whose dual space is ''D''.
For example, the predual of the space of bounded operators is the space of trace class In mathematics, specifically functional analysis, a trace-class ope ...
ity with
bounded operators. The generalization of this topic to the study of
nuclear operators on Banach spaces was among the first achievements of
Alexander Grothendieck. 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 algebras (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, Hilbert spaces (named after David Hilbert) allow generalizing the methods of linear algebra and calculus from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise natural ...
that is closed in the
weak operator topology
In functional analysis, the weak operator topology, often abbreviated WOT, is the weakest topology on the set of bounded operators on a Hilbert space H, such that the functional sending an operator T to the complex number \langle Tx, y\rangle is ...
and contains the
identity operator. 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 parti ...
. 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 ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent ...
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. Most familiar as the name of ...
case, the general study of
factors
Factor, a Latin word meaning "who/which acts", may refer to:
Commerce
* Factor (agent), a person who acts for, notably a mercantile and colonial agent
* Factor (Scotland), a person or firm managing a Scottish estate
* Factors of production, suc ...
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". The nearly 500 pages that the papers span 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
Factor, a Latin word meaning "who/which acts", may refer to:
Commerce
* Factor (agent), a person who acts for, notably a mercantile and colonial agent
* Factor (Scotland), a person or firm managing a Scottish estate
* Factors of production, suc ...
. In addition in 1938 he proved that every von Neumann algebra on a separable Hilbert space is a direct integral of factors yet 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 was published in 1932.
Lattice theory
Between 1935 and 1937, von Neumann worked on
lattice theory, the theory of
partially ordered set
In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a Set (mathematics), set. A poset consists of a set toget ...
s in which every two elements have a greatest lower bound and a least upper bound. As
Garrett Birkhoff 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 matrices.
...
,
ring theory, lattice theory). Many previously geometric results could then be interpreted in the case of general
modules
Broadly speaking, modularity is the degree to which a system's components may be separated and recombined, often with the benefit of flexibility and variety in use. The concept of modularity is used primarily to reduce complexity by breaking a sy ...
over rings. His work laid the foundations for 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/math>. Von Ne ...
. It followed his path-breaking work on rings of operators. In mathematics, continuous geometry is a substitute of complex
projective geometry, where instead of the
dimension
In physics and mathematics, the dimension of a Space (mathematics), mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any Point (geometry), point within it. Thus, a Line (geometry), lin ...
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 analysis, ...