HOME

TheInfoList



OR:

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 \mathit \to \mathit and states that for every vector \phi 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 ...
, \lim_ \frac \int_^ V_t(\phi) \, dt exists in the sense of the metric defined by the Hilbert norm and is a vector \psi which is such that V_t(\psi) = \psi for all t. 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 \textit\,_2^n\otimes\textit\,_2^n 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 0, 1, ..., \mathit 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, ...
,1/math>. Earlier,
Menger Menger is a surname. Notable people with the surname include: * Andreas Menger (born 1972), former German football player * Anton Menger (1841–1906), Austrian economist and author; brother of Carl Menger * Carl Menger (1840–1921), Austrian eco ...
and Birkhoff had axiomatized complex projective geometry in terms of the properties of its lattice of linear subspaces. Von Neumann, following his work on rings of operators, weakened those
axiom 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 ...
s to describe a broader class of lattices, the continuous geometries. While the dimensions of the subspaces of projective geometries are a discrete set (the
non-negative integers In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country"). Numbers used for counting are called ''cardinal n ...
), the dimensions of the elements of a continuous geometry can range continuously across the unit interval ,1/math>. Von Neumann was motivated by his discovery of von Neumann algebras with a dimension function taking a continuous range of dimensions, and the first example of a continuous geometry other than projective space was the projections of the
hyperfinite type II factor In mathematics, there are up to isomorphism exactly two separably acting hyperfinite type II factors; one infinite and one finite. Murray and von Neumann proved that up to isomorphism there is a unique von Neumann algebra that is a factor of type I ...
. In more pure lattice theoretical work, he solved the difficult problem of characterizing the class of \mathit (continuous-dimensional projective geometry over an arbitrary division ring \mathit\,) in abstract language of lattice theory. Von Neumann provided an abstract exploration of dimension in completed complemented
modular 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 ...
topological lattices (properties that arise in the lattices of subspaces of
inner product space 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, often den ...
s): "Dimension is determined, up to a positive linear transformation, by the following two properties. It is conserved by perspective mappings ("perspectivities") and ordered by inclusion. The deepest part of the proof concerns the equivalence of perspectivity with "projectivity by decomposition"—of which a corollary is the transitivity of perspectivity." For any integer n > 3 every \mathit-dimensional abstract projective geometry is
isomorphic In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word is ...
to the subspace-lattice of an \mathit-dimensional
vector space In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...
V_n(F) over a (unique) corresponding division ring F. This is known as the
Veblen–Young theorem In mathematics, the Veblen–Young theorem, proved by , states that a projective space of dimension at least 3 can be constructed as the projective space associated to a vector space over a division ring. Non-Desarguesian planes give examples of 2 ...
. Von Neumann extended this fundamental result in projective geometry to the continuous dimensional case. This coordinatization theorem is a deep and important result that stimulated considerable work in abstract projective geometry and lattice theory, much of which continued using von Neumann's techniques. Birkhoff described this theorem as follows:"Any complemented modular lattice having a "basis" of pairwise perspective elements, is isomorphic with the lattice of all principal right-ideals of a suitable regular ring . This conclusion is the culmination of 140 pages of brilliant and incisive algebra involving entirely novel axioms. Anyone wishing to get an unforgettable impression of the razor edge of von Neumann's mind, need merely try to pursue this chain of exact reasoning for himself—realizing that often five pages of it were written down before breakfast, seated at a living room writing-table in a bathrobe." This work required the creation of regular rings. A von Neumann regular ring is a
ring Ring may refer to: * Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry * To make a sound with a bell, and the sound made by a bell :(hence) to initiate a telephone connection Arts, entertainment and media Film and ...
where for every a, an element x exists such that axa = a. These rings came from and have connections to his work on von Neumann algebras, as well as
AW*-algebra In mathematics, an AW*-algebra is an algebraic generalization of a W*-algebra. They were introduced by Irving Kaplansky in 1951. As operator algebras, von Neumann algebras, among all C*-algebras, are typically handled using one of two means: they ...
s and various kinds of
C*-algebra In mathematics, specifically in functional analysis, a C∗-algebra (pronounced "C-star") is a Banach algebra together with an involution satisfying the properties of the adjoint. A particular case is that of a complex algebra ''A'' of continuous ...
s. Many smaller technical results were proven during the creation and proof of the above theorems, particularly regarding distributivity (such as infinite distributivity), von Neumann developing them as needed. He also developed a theory of valuations in lattices, and shared in developing the general theory of
metric lattice In the mathematical study of order, a metric lattice is a lattice that admits a positive valuation: a function satisfying, for any , v(a)+v(b)=v(a\wedge b)+v(a\vee b) and \Rightarrow v(a)>v(b)\text Relation to other notions A Boolean algebra ...
s. Birkhoff noted in his posthumous article on von Neumann that most of these results were developed in an intense two year period of work, and that while his interests continued in lattice theory after 1937, they became peripheral and mainly occurred in letters to other mathematicians. A final contribution in 1940 was for a joint seminar he conducted with Birkhoff at the Institute for Advanced Study on the subject where he developed a theory of σ-complete lattice ordered rings. He never wrote up the work for publication and afterwards became busy with war work and his interests moved to computers. He finished his article by saying, "One wonders what would have been the effect on lattice theory, if von Neumann's intense two-year preoccupation with lattice theory had continued for twenty years!"


Mathematical statistics

Von Neumann made fundamental contributions to mathematical statistics. In 1941, he derived the exact distribution of the ratio of the mean square of successive differences to the sample variance for independent and identically normally distributed variables. This ratio was applied to the residuals from regression models and is commonly known as the
Durbin–Watson statistic In statistics, the Durbin–Watson statistic is a test statistic used to detect the presence of autocorrelation at lag 1 in the residuals (prediction errors) from a regression analysis. It is named after James Durbin and Geoffrey Watson. The sm ...
for testing the null hypothesis that the errors are serially independent against the alternative that they follow a stationary first order
autoregression In statistics, econometrics and signal processing, an autoregressive (AR) model is a representation of a type of random process; as such, it is used to describe certain time-varying processes in nature, economics, etc. The autoregressive model spe ...
. Subsequently,
Denis Sargan John Denis Sargan, FBA (23 August 1924 – 13 April 1996) was a British econometrician who specialized in the analysis of economic time-series. Sargan was born in Doncaster, Yorkshire in 1924, and was educated at Doncaster Grammar School and ...
and Alok Bhargava extended the results for testing whether the errors on a regression model follow a Gaussian
random walk In mathematics, a random walk is a random process that describes a path that consists of a succession of random steps on some mathematical space. An elementary example of a random walk is the random walk on the integer number line \mathbb Z ...
(''i.e.'', possess a unit root) against the alternative that they are a stationary first order autoregression.


Other work

In his early years, von Neumann published several papers related to set-theoretical real analysis and number theory. In a paper from 1925, he proved that for any dense sequence of points in ,1/math>, there existed a rearrangement of those points that is uniformly distributed. In 1926 his sole publication was on Prüfer's theory of ideal algebraic numbers where he found a new way of constructing them, thus extending Prüfer's theory to the
field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grass ...
of all
algebraic number An algebraic number is a number that is a root of a non-zero polynomial in one variable with integer (or, equivalently, rational) coefficients. For example, the golden ratio, (1 + \sqrt)/2, is an algebraic number, because it is a root of the po ...
s, and clarified their relation to p-adic numbers. In 1928 he published two additional papers continuing with these themes. The first dealt with partitioning an interval into countably many congruent
subset In mathematics, Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are ...
s. It solved a problem of
Hugo Steinhaus Hugo Dyonizy Steinhaus ( ; ; January 14, 1887 – February 25, 1972) was a Polish mathematician and educator. Steinhaus obtained his PhD under David Hilbert at Göttingen University in 1911 and later became a professor at the Jan Kazimierz Unive ...
asking whether an interval is \aleph_0-divisible. Von Neumann proved that indeed that all intervals, half-open, open, or closed are \aleph_0-divisible by translations (i.e. that these intervals can be decomposed into \aleph_0 subsets that are congruent by translation). His next paper dealt with giving a constructive proof without the
axiom of choice In mathematics, the axiom of choice, or AC, is an axiom of set theory equivalent to the statement that ''a Cartesian product of a collection of non-empty sets is non-empty''. Informally put, the axiom of choice says that given any collectio ...
that 2^
algebraically independent In abstract algebra, a subset S of a field L is algebraically independent over a subfield K if the elements of S do not satisfy any non-trivial polynomial equation with coefficients in K. In particular, a one element set \ is algebraically ind ...
reals exist. He proved that A_r = \textstyle\sum_^ 2^\! \big/ \, 2^ are algebraically independent for r > 0. Consequently, there exists a perfect algebraically independent set of reals the size of the
continuum Continuum may refer to: * Continuum (measurement), theories or models that explain gradual transitions from one condition to another without abrupt changes Mathematics * Continuum (set theory), the real line or the corresponding cardinal number ...
. Other minor results from his early career include a proof of a
maximum principle In the mathematical fields of partial differential equations and geometric analysis, the maximum principle is any of a collection of results and techniques of fundamental importance in the study of elliptic and parabolic differential equations. ...
for the gradient of a minimizing function in the field of
calculus of variations The calculus of variations (or Variational Calculus) is a field of mathematical analysis that uses variations, which are small changes in functions and functionals, to find maxima and minima of functionals: mappings from a set of functions t ...
, and a small simplification of
Hermann Minkowski Hermann Minkowski (; ; 22 June 1864 – 12 January 1909) was a German mathematician and professor at Königsberg, Zürich and Göttingen. He created and developed the geometry of numbers and used geometrical methods to solve problems in number t ...
's theorem for linear forms in
geometric number theory Geometry of numbers is the part of number theory which uses geometry for the study of algebraic numbers. Typically, a ring of algebraic integers is viewed as a lattice in \mathbb R^n, and the study of these lattices provides fundamental information ...
. Later in his career together with Pascual Jordan and Eugene Wigner he wrote a foundational paper classifying all
finite-dimensional In mathematics, the dimension of a vector space ''V'' is the cardinality (i.e., the number of vectors) of a basis of ''V'' over its base field. p. 44, §2.36 It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to disti ...
formally real Jordan algebras and discovering the
Albert algebra In mathematics, an Albert algebra is a 27-dimensional exceptional Jordan algebra. They are named after Abraham Adrian Albert, who pioneered the study of non-associative algebras, usually working over the real numbers. Over the real numbers, there a ...
s while attempting to look for a better mathematical formalism for quantum theory. A couple years later in 1936 he wrote another paper by himself in an attempt to further the program of replacing the axioms of his previous Hilbert space program with those of Jordan algebras. In this paper he investigated the infinite-dimensional case and planned to write at least one further paper on the topic however this paper never came to fruition. Nevertheless these axioms formed the basis for further investigations of algebraic quantum mechanics started by
Irving Segal Irving Ezra Segal (1918–1998) was an American mathematician known for work on theoretical quantum mechanics. He shares credit for what is often referred to as the Segal–Shale–Weil representation. Early in his career Segal became known for h ...
.


Physics


Quantum mechanics

Von Neumann was the first to establish a rigorous mathematical framework for
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, ...
, known as the Dirac–von Neumann axioms, in his widely influential 1932 work '' Mathematical Foundations of Quantum Mechanics''. After having completed the axiomatization of set theory, he began to confront the axiomatization of quantum mechanics. He realized in 1926 that a state of a quantum system could be represented by a point in a (complex) Hilbert space that, in general, could be infinite-dimensional even for a single particle. In this formalism of quantum mechanics, observable quantities such as position or momentum are represented as linear operators acting on the Hilbert space associated with the quantum system. The ''physics'' of quantum mechanics was thereby reduced to the ''mathematics'' of Hilbert spaces and linear operators acting on them. For example, the
uncertainty principle In quantum mechanics, the uncertainty principle (also known as Heisenberg's uncertainty principle) is any of a variety of mathematical inequalities asserting a fundamental limit to the accuracy with which the values for certain pairs of physic ...
, according to which the determination of the position of a particle prevents the determination of its momentum and vice versa, is translated into the ''non-commutativity'' of the two corresponding operators. This new mathematical formulation included as special cases the formulations of both Heisenberg and Schrödinger. When Heisenberg was informed von Neumann had clarified the difference between an unbounded operator that was a self-adjoint operator and one that was merely symmetric, Heisenberg replied "Eh? What is the difference?" Von Neumann's abstract treatment permitted him also to confront the foundational issue of determinism versus non-determinism, and in the book he presented a proof that the statistical results of quantum mechanics could not possibly be averages of an underlying set of determined "hidden variables", as in classical statistical mechanics. In 1935, Grete Hermann published a paper arguing that the proof contained a conceptual error and was therefore invalid. Hermann's work was largely ignored until after
John S. Bell John Stewart Bell FRS (28 July 1928 – 1 October 1990) was a physicist from Northern Ireland and the originator of Bell's theorem, an important theorem in quantum physics regarding hidden-variable theories. In 2022, the Nobel Prize in Ph ...
made essentially the same argument in 1966. In 2010,
Jeffrey Bub Jeffrey Bub (born 1942) is a physicist and philosopher of physics, and Distinguished Professor in the Department of Philosophy, the Joint Center for Quantum Information and Computer Science, and the Institute for Physical Science and Technology a ...
argued that Bell had misconstrued von Neumann's proof, and pointed out that the proof, though not valid for all hidden variable theories, does rule out a well-defined and important subset. Bub also suggests that von Neumann was aware of this limitation and did not claim that his proof completely ruled out hidden variable theories. The validity of Bub's argument is, in turn, disputed.
Gleason's theorem In mathematical physics, Gleason's theorem shows that the rule one uses to calculate probabilities in quantum physics, the Born rule, can be derived from the usual mathematical representation of measurements in quantum physics together with the ...
of 1957 provided an argument against hidden variables along the lines of von Neumann's, but founded on assumptions seen as better motivated and more physically meaningful. Von Neumann's proof inaugurated a line of research that ultimately led, through Bell's theorem and the experiments of Alain Aspect in 1982, to the demonstration that quantum physics either requires a ''notion of reality'' substantially different from that of classical physics, or must include nonlocality in apparent violation of special relativity. In a chapter of ''The Mathematical Foundations of Quantum Mechanics'', von Neumann deeply analyzed the so-called
measurement problem In quantum mechanics, the measurement problem is the problem of how, or whether, wave function collapse occurs. The inability to observe such a collapse directly has given rise to different interpretations of quantum mechanics and poses a key se ...
. He concluded that the entire physical universe could be made subject to the universal wave function. Since something "outside the calculation" was needed to collapse the wave function, von Neumann concluded that the collapse was caused by the consciousness of the experimenter. He argued that the mathematics of quantum mechanics allows the collapse of the wave function to be placed at any position in the causal chain from the measurement device to the "subjective consciousness" of the human observer. In other words, while the line between observer and observed could be drawn in different places, the theory only makes sense if an observer exists somewhere. Although the idea of consciousness causing collapse was accepted by Eugene Wigner, the
Von Neumann–Wigner interpretation The von Neumann–Wigner interpretation, also described as "''consciousness causes collapse''", is an interpretation of quantum mechanics in which consciousness is postulated to be necessary for the completion of the process of quantum measurement. ...
never gained acceptance among the majority of physicists. Though theories of quantum mechanics continue to evolve, there is a basic framework for the mathematical formalism of problems in quantum mechanics underlying most approaches that can be traced back to the mathematical formalisms and techniques first used by von Neumann. In other words, discussions about interpretation of the theory, and extensions to it, are now mostly conducted on the basis of shared assumptions about the mathematical foundations. Viewing von Neumann's work on quantum mechanics as a part of the fulfilment of
Hilbert's sixth problem Hilbert's sixth problem is to axiomatize those branches of physics in which mathematics is prevalent. It occurs on the widely cited list of Hilbert's problems in mathematics that he presented in the year 1900. In its common English translation, ...
, noted mathematical physicist
A. S. Wightman Arthur Strong Wightman (March 30, 1922 – January 13, 2013) was an American mathematical physicist. He was one of the founders of the axiomatic approach to quantum field theory, and originated the set of Wightman axioms. With his rigorous treatm ...
said in 1974 his axiomization of quantum theory was perhaps the most important axiomization of a physical theory to date. In the publication of his 1932 book, quantum mechanics became a mature theory in the sense it had a precise mathematical form, which allowed for clear answers to conceptual problems. Nevertheless, von Neumann in his later years felt he had failed in this aspect of his scientific work as despite all the mathematics he developed (operator theory, von Neumann algebras, continuous geometries, etc.), he did not find a satisfactory mathematical framework for quantum theory as a whole (including quantum field theory).


Von Neumann entropy

Von Neumann entropy is extensively used in different forms ( conditional entropy, relative entropy, etc.) in the framework of quantum information theory. Entanglement measures are based upon some quantity directly related to the von Neumann entropy. Given a statistical ensemble of quantum mechanical systems with the density matrix \rho, it is given by S(\rho) = -\operatorname(\rho \ln \rho). \, Many of the same entropy measures in classical information theory can also be generalized to the quantum case, such as Holevo entropy and conditional quantum entropy. Quantum information theory is largely concerned with the interpretation and uses of von Neumann entropy, a cornerstone in the former's development; the
Shannon entropy Shannon may refer to: People * Shannon (given name) * Shannon (surname) * Shannon (American singer), stage name of singer Shannon Brenda Greene (born 1958) * Shannon (South Korean singer), British-South Korean singer and actress Shannon Arrum Wi ...
applies to classical information theory.


Density matrix

The formalism of density operators and matrices was introduced by von Neumann in 1927 and independently, but less systematically by Lev Landau and Felix Bloch in 1927 and 1946 respectively. The density matrix is an alternative way to represent the state of a quantum system including statistical probabilities, which are not easily represented using wavefunctions.


Von Neumann measurement scheme

The von Neumann measurement scheme, the ancestor of quantum decoherence theory, represents measurements projectively by taking into account the measuring apparatus which is also treated as a quantum object. The 'projective measurement' scheme introduced by von Neumann led to the development of quantum decoherence theories.


Quantum logic

Von Neumann first proposed a quantum logic in his 1932 treatise '' Mathematical Foundations of Quantum Mechanics'', where he noted that projections 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 ...
can be viewed as propositions about physical observables. The field of quantum logic was subsequently inaugurated, in a famous paper of 1936 by von Neumann and Garrett Birkhoff, the first work ever to introduce quantum logics, wherein von Neumann and Birkhoff first proved that quantum mechanics requires a
propositional calculus Propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions (which can be true or false) and relations b ...
substantially different from all classical logics and rigorously isolated a new algebraic structure for quantum logics. The concept of creating a propositional calculus for quantum logic was first outlined in a short section in von Neumann's 1932 work, but in 1936, the need for the new propositional calculus was demonstrated through several proofs. For example, photons cannot pass through two successive filters that are polarized perpendicularly (e.g., horizontally and vertically), and therefore, ''
a fortiori ''Argumentum a fortiori'' (literally "argument from the stronger
eason Eason is a surname. The name comes from Aythe where the first recorded spelling of the family name is that of Aythe Filius Thome which was dated circa 1630, in the "Baillie of Stratherne". Aythe ''filius'' Thome received a charter of the lands of F ...
) (, ) is a form of Argumentation theory, argumentation that draws upon existing confidence in a proposition to argue in favor of a second proposition that is held to be Logi ...
'', it cannot pass if a third filter polarized diagonally is added to the other two, either before or after them in the succession, but if the third filter is added ''between'' the other two, the photons will indeed pass through. This experimental fact is translatable into logic as the ''non-commutativity'' of conjunction (A\land B)\ne (B\land A). It was also demonstrated that the laws of distribution of classical logic, P\lor(Q\land R) = (P\lor Q)\land(P\lor R) and P\land (Q\lor R) =(P\land Q)\lor(P\land R), are not valid for quantum theory. The reason for this is that a quantum disjunction, unlike the case for classical disjunction, can be true even when both of the disjuncts are false and this is in turn attributable to the fact that it is frequently the case in quantum mechanics that a pair of alternatives are semantically determinate, while each of its members is necessarily indeterminate. Consequently, the distributive law of classical logic must be replaced with a weaker condition. Instead of a distributive lattice, propositions about a quantum system form an
orthomodular lattice In the mathematical discipline of order theory, a complemented lattice is a bounded lattice (with least element 0 and greatest element 1), in which every element ''a'' has a complement, i.e. an element ''b'' satisfying ''a'' ∨ ''b''&nbs ...
isomorphic to the lattice of subspaces of the Hilbert space associated with that system. Nevertheless, he was never satisfied with his work on quantum logic. He intended it to be a joint synthesis of formal logic and probability theory and when he attempted to write up a paper for the Henry Joseph Lecture he gave at the
Washington Philosophical Society Founded in 1871, the Philosophical Society of Washington is the oldest scientific society in Washington, D.C. It continues today as PSW Science. Since 1887, the Society has met regularly in the assembly hall of the Cosmos Club. In the Club's pr ...
in 1945 he found that he could not, especially given that he was busy with war work at the time. He just could not make himself write something he did not fully understand to his satisfaction. During his address at the 1954
International Congress of Mathematicians The International Congress of Mathematicians (ICM) is the largest conference for the topic of mathematics. It meets once every four years, hosted by the International Mathematical Union (IMU). The Fields Medals, the Nevanlinna Prize (to be rename ...
he gave this issue as one of the unsolved problems that future mathematicians could work on. However, the problems mentioned were well established in the scientific community by then, prompting one audience member to say in a voice loud enough to be heard all over the hall, "Aufgewärmte Suppe", which is German for "warmed-up soup".


Fluid dynamics

Von Neumann made fundamental contributions in the field of
fluid dynamics In physics and engineering, fluid dynamics is a subdiscipline of fluid mechanics that describes the flow of fluids— liquids and gases. It has several subdisciplines, including ''aerodynamics'' (the study of air and other gases in motion) an ...
, including the classic flow solution to blast waves, and the co-discovery (independently by
Yakov Borisovich Zel'dovich Yakov Borisovich Zeldovich ( be, Я́каў Бары́савіч Зяльдо́віч, russian: Я́ков Бори́сович Зельдо́вич; 8 March 1914 – 2 December 1987), also known as YaB, was a leading Soviet physicist of Bel ...
and Werner Döring) of the ZND detonation model of explosives. During the 1930s, von Neumann became an authority on the mathematics of
shaped charges A shaped charge is an explosive charge shaped to form an explosively formed penetrator (EFP) to focus the effect of the explosive's energy. Different types of shaped charges are used for various purposes such as cutting and forming metal, init ...
. Later with
Robert D. Richtmyer Robert Davis Richtmyer (October 10, 1910 – September 24, 2003) was an American physicist, mathematician, educator, author, and musician. Biography Richtmyer was born on October 10, 1910 in Ithaca, New York. His father was physicist Floyd K. R ...
, von Neumann developed an algorithm defining ''artificial
viscosity The viscosity of a fluid is a measure of its resistance to deformation at a given rate. For liquids, it corresponds to the informal concept of "thickness": for example, syrup has a higher viscosity than water. Viscosity quantifies the inte ...
'' that improved the understanding of
shock wave In physics, a shock wave (also spelled shockwave), or shock, is a type of propagating disturbance that moves faster than the local speed of sound in the medium. Like an ordinary wave, a shock wave carries energy and can propagate through a med ...
s. When computers solved hydrodynamic or aerodynamic problems, they put too many computational grid points at regions of sharp discontinuity (shock waves). The mathematics of ''artificial viscosity'' smoothed the shock transition without sacrificing basic physics. Von Neumann soon applied computer modelling to the field, developing software for his ballistics research. During World War II, he arrived one day at the office of R. H. Kent, the director of the US Army's Ballistic Research Laboratory, with a computer program for calculating a one-dimensional model of 100 molecules to simulate a shock wave. Von Neumann gave a seminar on his computer program to an audience which included his friend Theodore von Kármán. After von Neumann had finished, von Kármán said "Well, Johnny, that's very interesting. Of course you realize
Lagrange Joseph-Louis Lagrange (born Giuseppe Luigi Lagrangiacontinuum mechanics Continuum mechanics is a branch of mechanics that deals with the mechanical behavior of materials modeled as a continuous mass rather than as discrete particles. The French mathematician Augustin-Louis Cauchy was the first to formulate such m ...
." It was evident from von Neumann's face, that he had been unaware of Lagrange's .


Other work

While not as prolific in physics as he was in mathematics, he nevertheless made several other notable contributions to it. His pioneering papers with
Subrahmanyan Chandrasekhar Subrahmanyan Chandrasekhar (; ) (19 October 1910 – 21 August 1995) was an Indian-American theoretical physicist who spent his professional life in the United States. He shared the 1983 Nobel Prize for Physics with William A. Fowler for "... ...
on the statistics of a fluctuating
gravitational field In physics, a gravitational field is a model used to explain the influences that a massive body extends into the space around itself, producing a force on another massive body. Thus, a gravitational field is used to explain gravitational phenome ...
generated by randomly distributed
star A star is an astronomical object comprising a luminous spheroid of plasma (physics), plasma held together by its gravity. The List of nearest stars and brown dwarfs, nearest star to Earth is the Sun. Many other stars are visible to the naked ...
s were considered a ''tour de force''. In this paper they developed a theory of two-body relaxation and used the Holtsmark distribution to model the dynamics of stellar systems. He wrote several other unpublished manuscripts on topics in stellar structure, some of which were included in Chandrasekhar's other works. In some earlier work led by
Oswald Veblen Oswald Veblen (June 24, 1880 – August 10, 1960) was an American mathematician, geometer and topologist, whose work found application in atomic physics and the theory of relativity The theory of relativity usually encompasses two interrelat ...
von Neumann helped develop basic ideas involving spinors that would lead to
Roger Penrose Sir Roger Penrose (born 8 August 1931) is an English mathematician, mathematical physicist, philosopher of science and Nobel Laureate in Physics. He is Emeritus Rouse Ball Professor of Mathematics in the University of Oxford, an emeritus fello ...
's
twistor theory In theoretical physics, twistor theory was proposed by Roger Penrose in 1967 as a possible path to quantum gravity and has evolved into a branch of theoretical and mathematical physics. Penrose proposed that twistor space should be the basic arena ...
. Much of this was done in seminars conducted at the
IAS IAS may refer to: Science * Institute for Advanced Study, in Princeton, New Jersey, United States * Image Analysis & Stereology, the official journal of the International Society for Stereology & Image Analysis. * Iowa Archeological Society, Uni ...
during the 1930s. From this work he wrote a paper with A. H. Taub and Veblen extending the Dirac equation to projective relativity, with a key focus on maintaining invariance with regards to coordinate,
spin Spin or spinning most often refers to: * Spinning (textiles), the creation of yarn or thread by twisting fibers together, traditionally by hand spinning * Spin, the rotation of an object around a central axis * Spin (propaganda), an intentionally b ...
, and
gauge Gauge ( or ) may refer to: Measurement * Gauge (instrument), any of a variety of measuring instruments * Gauge (firearms) * Wire gauge, a measure of the size of a wire ** American wire gauge, a common measure of nonferrous wire diameter, es ...
transformations, as a part of early research into potential theories of
quantum gravity Quantum gravity (QG) is a field of theoretical physics that seeks to describe gravity according to the principles of quantum mechanics; it deals with environments in which neither gravitational nor quantum effects can be ignored, such as in the vi ...
in the 1930s. In the same time period he made several proposals to colleagues for dealing with the problems in the newly created
quantum theory of fields In theoretical physics, quantum field theory (QFT) is a theoretical framework that combines classical field theory, special relativity, and quantum mechanics. QFT is used in particle physics to construct physical models of subatomic particles and ...
and for quantizing
spacetime In physics, spacetime is a mathematical model that combines the three dimensions of space and one dimension of time into a single four-dimensional manifold. Spacetime diagrams can be used to visualize relativistic effects, such as why differen ...
; however, both his colleagues and he did not consider the ideas fruitful and did not work on them further. Nevertheless, he maintained at least some interest in these ideas in 1940 writing a manuscript on the Dirac equation in
de Sitter space In mathematical physics, ''n''-dimensional de Sitter space (often abbreviated to dS''n'') is a maximally symmetric Lorentzian manifold with constant positive scalar curvature. It is the Lorentzian analogue of an ''n''-sphere (with its canoni ...
.


Economics


Game theory

Von Neumann founded the field of
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 ...
as a mathematical discipline. He proved his
minimax theorem In the mathematical area of game theory, a minimax theorem is a theorem providing conditions that guarantee that the max–min inequality is also an equality. The first theorem in this sense is von Neumann's minimax theorem from 1928, which was c ...
in 1928. It establishes that in
zero-sum game Zero-sum game is a mathematical representation in game theory and economic theory of a situation which involves two sides, where the result is an advantage for one side and an equivalent loss for the other. In other words, player one's gain is e ...
s with
perfect information In economics, perfect information (sometimes referred to as "no hidden information") is a feature of perfect competition. With perfect information in a market, all consumers and producers have complete and instantaneous knowledge of all market pr ...
(i.e., in which players know at each time all moves that have taken place so far), there exists a pair of strategies for both players that allows each to minimize his maximum losses. When examining every possible strategy, a player must consider all the possible responses of his adversary. The player then plays out the strategy that will result in the minimization of his maximum loss. Such strategies, which minimize the maximum loss for each player, are called optimal. Von Neumann showed that their minimaxes are equal (in absolute value) and contrary (in sign). He improved and extended the
minimax theorem In the mathematical area of game theory, a minimax theorem is a theorem providing conditions that guarantee that the max–min inequality is also an equality. The first theorem in this sense is von Neumann's minimax theorem from 1928, which was c ...
to include games involving imperfect information and games with more than two players, publishing this result in his 1944 ''
Theory of Games and Economic Behavior ''Theory of Games and Economic Behavior'', published in 1944 by Princeton University Press, is a book by mathematician John von Neumann and economist Oskar Morgenstern which is considered the groundbreaking text that created the interdisciplinar ...
'', written with Oskar Morgenstern. The public interest in this work was such that ''
The New York Times ''The New York Times'' (''the Times'', ''NYT'', or the Gray Lady) is a daily newspaper based in New York City with a worldwide readership reported in 2020 to comprise a declining 840,000 paid print subscribers, and a growing 6 million paid ...
'' ran a front-page story. In this book, von Neumann declared that economic theory needed to use
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 ...
, especially
convex set In geometry, a subset of a Euclidean space, or more generally an affine space over the reals, is convex if, given any two points in the subset, the subset contains the whole line segment that joins them. Equivalently, a convex set or a convex r ...
s and the topological fixed-point theorem, rather than the traditional differential calculus, because the maximum-operator did not preserve differentiable functions. Von Neumann's functional-analytic techniques—the use of duality pairings of real
vector space In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...
s to represent prices and quantities, the use of supporting and separating hyperplanes and convex sets, and fixed-point theory—have been primary tools of mathematical economics ever since.


Mathematical economics

Von Neumann raised the intellectual and mathematical level of economics in several influential publications. For his model of an expanding economy, he proved the existence and uniqueness of an equilibrium using his generalization of the Brouwer fixed-point theorem. Von Neumann's model of an expanding economy considered the
matrix pencil In linear algebra, if A_0, A_1,\dots,A_\ell are n\times n complex matrices for some nonnegative integer \ell, and A_\ell \ne 0 (the zero matrix), then the matrix pencil of degree \ell is the matrix-valued function defined on the complex numbers L(\ ...
 '' A − λB'' with nonnegative matrices A and B; von Neumann sought
probability Probability is the branch of mathematics concerning numerical descriptions of how likely an Event (probability theory), event is to occur, or how likely it is that a proposition is true. The probability of an event is a number between 0 and ...
vectors ''p'' and ''q'' and a positive number ''λ'' that would solve the complementarity equation p^T (A - \lambda B) q = 0 along with two inequality systems expressing economic efficiency. In this model, the ( transposed) probability vector ''p'' represents the prices of the goods while the probability vector q represents the "intensity" at which the production process would run. The unique solution ''λ'' represents the growth factor which is 1 plus the rate of growth of the economy; the rate of growth equals the
interest rate An interest rate is the amount of interest due per period, as a proportion of the amount lent, deposited, or borrowed (called the principal sum). The total interest on an amount lent or borrowed depends on the principal sum, the interest rate, th ...
. Von Neumann's results have been viewed as a special case of
linear programming Linear programming (LP), also called linear optimization, is a method to achieve the best outcome (such as maximum profit or lowest cost) in a mathematical model whose requirements are represented by linear function#As a polynomial function, li ...
, where his model uses only nonnegative matrices. The study of his model of an expanding economy continues to interest mathematical economists with interests in computational economics. This paper has been called the greatest paper in mathematical economics by several authors, who recognized its introduction of fixed-point theorems,
linear inequalities Linearity is the property of a mathematical relationship (''function (mathematics), function'') that can be graph of a function, graphically represented as a straight Line (geometry), line. Linearity is closely related to ''Proportionality (mat ...
, complementary slackness, and saddlepoint duality. In the proceedings of a conference on von Neumann's growth model, Paul Samuelson said that many mathematicians had developed methods useful to economists, but that von Neumann was unique in having made significant contributions to economic theory itself. The lasting importance of the work on general equilibria and the methodology of fixed point theorems is underscored by the awarding of
Nobel prize The Nobel Prizes ( ; sv, Nobelpriset ; no, Nobelprisen ) are five separate prizes that, according to Alfred Nobel's will of 1895, are awarded to "those who, during the preceding year, have conferred the greatest benefit to humankind." Alfr ...
s in 1972 to
Kenneth Arrow Kenneth Joseph Arrow (23 August 1921 – 21 February 2017) was an American economist, mathematician, writer, and political theorist. He was the joint winner of the Nobel Memorial Prize in Economic Sciences with John Hicks in 1972. In economics ...
, in 1983 to
Gérard Debreu Gérard Debreu (; 4 July 1921 – 31 December 2004) was a French-born economist and mathematician. Best known as a professor of economics at the University of California, Berkeley, where he began work in 1962, he won the 1983 Nobel Memorial Prize ...
, and in 1994 to John Nash who used fixed point theorems to establish equilibria for
non-cooperative game In game theory, a non-cooperative game is a game with competition between individual players, as opposed to cooperative games, and in which alliances can only operate if self-enforcing (e.g. through credible threats). However, 'cooperative' and ...
s and for
bargaining problem Cooperative bargaining is a process in which two people decide how to share a surplus that they can jointly generate. In many cases, the surplus created by the two players can be shared in many ways, forcing the players to negotiate which division o ...
s in his Ph.D. thesis. Arrow and Debreu also used linear programming, as did Nobel laureates
Tjalling Koopmans Tjalling Charles Koopmans (August 28, 1910 – February 26, 1985) was a Dutch-American mathematician and economist. He was the joint winner with Leonid Kantorovich of the 1975 Nobel Memorial Prize in Economic Sciences for his work on the theory o ...
,
Leonid Kantorovich Leonid Vitalyevich Kantorovich ( rus, Леони́д Вита́льевич Канторо́вич, , p=lʲɪɐˈnʲit vʲɪˈtalʲjɪvʲɪtɕ kəntɐˈrovʲɪtɕ, a=Ru-Leonid_Vitaliyevich_Kantorovich.ogg; 19 January 19127 April 1986) was a Soviet ...
, Wassily Leontief, Paul Samuelson,
Robert Dorfman Robert Dorfman (27 October 1916 – 24 June 2002) was professor of political economy at Harvard University. Dorfman made great contributions to the fields of economics, statistics, group testing and in the process of coding theory. His paper� ...
,
Robert Solow Robert Merton Solow, GCIH (; born August 23, 1924) is an American economist whose work on the theory of economic growth culminated in the exogenous growth model named after him. He is currently Emeritus Institute Professor of Economics at the Ma ...
, and
Leonid Hurwicz Leonid Hurwicz (; August 21, 1917 – June 24, 2008) was a Polish-American economist and mathematician, known for his work in game theory and mechanism design. He originated the concept of incentive compatibility, and showed how desired outcomes ...
. Von Neumann's famous 9-page paper started life as a talk at Princeton and then became a paper in German that was eventually translated into English. His interest in economics that led to that paper began while he was lecturing at Berlin in 1928 and 1929. He spent his summers back home in Budapest, as did the economist
Nicholas Kaldor Nicholas Kaldor, Baron Kaldor (12 May 1908 – 30 September 1986), born Káldor Miklós, was a Cambridge economist in the post-war period. He developed the "compensation" criteria called Kaldor–Hicks efficiency for welfare comparisons (1939), d ...
, and they hit it off. Kaldor recommended that von Neumann read a book by the mathematical economist
Léon Walras Marie-Esprit-Léon Walras (; 16 December 1834 – 5 January 1910) was a French mathematical economist and Georgist. He formulated the marginal theory of value (independently of William Stanley Jevons and Carl Menger) and pioneered the developmen ...
. Von Neumann found some faults in the book and corrected them–for example, replacing equations by inequalities. He noticed that Walras's
General Equilibrium Theory In economics, general equilibrium theory attempts to explain the behavior of supply, demand, and prices in a whole economy with several or many interacting markets, by seeking to prove that the interaction of demand and supply will result in an ov ...
and
Walras's law Walras's law is a principle in general equilibrium theory asserting that budget constraints imply that the ''values'' of excess demand (or, conversely, excess market supplies) must sum to zero regardless of whether the prices are general equilibr ...
, which led to systems of simultaneous linear equations, could produce the absurd result that profit could be maximized by producing and selling a negative quantity of a product. He replaced the equations by inequalities, introduced dynamic equilibria, among other things, and eventually produced the paper.


Linear programming

Building on his results on matrix games and on his model of an expanding economy, von Neumann invented the theory of duality in linear programming when George Dantzig described his work in a few minutes, and an impatient von Neumann asked him to get to the point. Dantzig then listened dumbfounded while von Neumann provided an hourlong lecture on convex sets, fixed-point theory, and duality, conjecturing the equivalence between matrix games and linear programming. Later, von Neumann suggested a new method of
linear programming Linear programming (LP), also called linear optimization, is a method to achieve the best outcome (such as maximum profit or lowest cost) in a mathematical model whose requirements are represented by linear function#As a polynomial function, li ...
, using the homogeneous linear system of Paul Gordan (1873), which was later popularized by
Karmarkar's algorithm Karmarkar's algorithm is an algorithm introduced by Narendra Karmarkar in 1984 for solving linear programming problems. It was the first reasonably efficient algorithm that solves these problems in polynomial time. The ellipsoid method is also pol ...
. Von Neumann's method used a pivoting algorithm between
simplices In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. ...
, with the pivoting decision determined by a nonnegative
least squares The method of least squares is a standard approach in regression analysis to approximate the solution of overdetermined systems (sets of equations in which there are more equations than unknowns) by minimizing the sum of the squares of the res ...
subproblem with a convexity constraint ( projecting the zero-vector onto the
convex hull In geometry, the convex hull or convex envelope or convex closure of a shape is the smallest convex set that contains it. The convex hull may be defined either as the intersection of all convex sets containing a given subset of a Euclidean space ...
of the active simplex). Von Neumann's algorithm was the first
interior point method Interior-point methods (also referred to as barrier methods or IPMs) are a certain class of algorithms that solve linear and nonlinear convex optimization problems. An interior point method was discovered by Soviet mathematician I. I. Dikin in 1 ...
of linear programming.


Computer science

Von Neumann was a founding figure in
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 ...
, with significant contributions to computing hardware design, to
theoretical computer science Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumsc ...
to
scientific computing Computational science, also known as scientific computing or scientific computation (SC), is a field in mathematics that uses advanced computing capabilities to understand and solve complex problems. It is an area of science that spans many disc ...
, and to the
philosophy of computer science The philosophy of computer science is concerned with the philosophical questions that arise within the study of computer science. There is still no common understanding of the content, aim, focus, or topic of the philosophy of computer science, des ...
.


Hardware

Von Neumann consulted for the Army's Ballistic Research Laboratory, most notably on the ENIAC project, as a member of its Scientific Advisory Committee. Although the single-memory, stored program architecture is commonly called
von Neumann architecture The von Neumann architecture — also known as the von Neumann model or Princeton architecture — is a computer architecture based on a 1945 description by John von Neumann, and by others, in the ''First Draft of a Report on the EDVAC''. The ...
, the architecture was based on the work of
J. Presper Eckert John Adam Presper Eckert Jr. (April 9, 1919 – June 3, 1995) was an American electrical engineer and computer pioneer. With John Mauchly, he designed the first general-purpose electronic digital computer (ENIAC), presented the first course in co ...
and John Mauchly, inventors of ENIAC and its successor, EDVAC. While consulting for the EDVAC project at the
University of Pennsylvania The University of Pennsylvania (also known as Penn or UPenn) is a private research university in Philadelphia. It is the fourth-oldest institution of higher education in the United States and is ranked among the highest-regarded universitie ...
, von Neumann wrote an incomplete '' First Draft of a Report on the EDVAC''. The paper, whose premature distribution nullified the patent claims of Eckert and Mauchly, described a computer that stored both its data and its program in the same address space, unlike the earliest computers which stored their programs separately on
paper tape Five- and eight-hole punched paper tape Paper tape reader on the Harwell computer with a small piece of five-hole tape connected in a circle – creating a physical program loop Punched tape or perforated paper tape is a form of data storage ...
or plugboards. This architecture became the basis of most modern computer designs. Next, von Neumann designed the IAS machine at the Institute for Advanced Study in Princeton, New Jersey. He arranged its financing, and the components were designed and built at the RCA Research Laboratory nearby. Von Neumann recommended that the
IBM 701 The IBM 701 Electronic Data Processing Machine, known as the Defense Calculator while in development, was IBM’s first commercial scientific computer and its first series production mainframe computer, which was announced to the public on May ...
, nicknamed ''the defense computer'', include a magnetic drum. It was a faster version of the IAS machine and formed the basis for the commercially successful
IBM 704 The IBM 704 is a large digital mainframe computer introduced by IBM in 1954. It was the first mass-produced computer with hardware for floating-point arithmetic. The IBM 704 ''Manual of operation'' states: The type 704 Electronic Data-Pro ...
.


Algorithms

Von Neumann was the inventor, in 1945, of the merge sort algorithm, in which the first and second halves of an array are each sorted recursively and then merged. As part of Von Neumann's hydrogen bomb work, he and Stanisław Ulam developed simulations for hydrodynamic computations. He also contributed to the development of the
Monte Carlo method Monte Carlo methods, or Monte Carlo experiments, are a broad class of computational algorithms that rely on repeated random sampling to obtain numerical results. The underlying concept is to use randomness to solve problems that might be determi ...
, which used random numbers to approximate the solutions to complicated problems. Von Neumann's algorithm for simulating a fair coin with a biased coin is used in the "software whitening" stage of some hardware random number generators. Because obtaining "truly" random numbers was impractical, von Neumann developed a form of pseudorandomness, using the
middle-square method In mathematics and computer science, the middle-square method is a method of generating pseudorandom numbers. In practice it is a highly flawed method for many practical purposes, since its period is usually very short and it has some severe wea ...
. He justified this crude method as faster than any other method at his disposal, writing that "Anyone who considers arithmetical methods of producing random digits is, of course, in a state of sin." He also noted that when this method went awry it did so obviously, unlike other methods which could be subtly incorrect.
Stochastic computing Stochastic computing is a collection of techniques that represent continuous values by streams of random bits. Complex computations can then be computed by simple bit-wise operations on the streams. Stochastic computing is distinct from the study of ...
was introduced by von Neumann in 1953. but could not be implemented until advances in computing of the 1960s. Around 1950 he was also among the first people to talk about the
time complexity In computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm. Time complexity is commonly estimated by counting the number of elementary operations performed by ...
of
computation Computation is any type of arithmetic or non-arithmetic calculation that follows a well-defined model (e.g., an algorithm). Mechanical or electronic devices (or, historically, people) that perform computations are known as ''computers''. An es ...
s, which eventually evolved into the field of
computational complexity theory In theoretical computer science and mathematics, computational complexity theory focuses on classifying computational problems according to their resource usage, and relating these classes to each other. A computational problem is a task solved by ...
.


Cellular automata, DNA and the universal constructor

Von Neumann's rigorous mathematical analysis of the structure of self-replication preceded the discovery of the structure of DNA. Ulam and von Neumann are also generally credited with creating the field of cellular automata, beginning in the 1940s, as a simplified mathematical model of biological systems. In lectures in 1948 and 1949, von Neumann proposed a
kinematic Kinematics is a subfield of physics, developed in classical mechanics, that describes the motion of points, bodies (objects), and systems of bodies (groups of objects) without considering the forces that cause them to move. Kinematics, as a fie ...
self-reproducing automaton. By 1952, John von Neumann was treating the problem more abstractly. He designed an elaborate 2D cellular automaton that would automatically make a copy of its initial configuration of cells. The Von Neumann universal constructor based on the von Neumann cellular automaton was fleshed out in his posthumous ''Theory of Self Reproducing Automata''. The
von Neumann neighborhood In cellular automata, the von Neumann neighborhood (or 4-neighborhood) is classically defined on a two-dimensional square lattice and is composed of a central cell and its four adjacent cells. The neighborhood is named after John von Neumann, ...
, in which each cell in a two-dimensional grid has the four orthogonally adjacent grid cells as neighbors, continues to be used for other cellular automata.


Scientific computing and numerical analysis

Considered to be possibly "the most influential researcher in
scientific computing Computational science, also known as scientific computing or scientific computation (SC), is a field in mathematics that uses advanced computing capabilities to understand and solve complex problems. It is an area of science that spans many disc ...
of all time", von Neumann made several contributions to the field, both technically and administratively. He developed the Von Neumann stability analysis procedure, still commonly used to avoid errors from building up in numerical methods for linear partial differential equations. His paper with
Herman Goldstine Herman Heine Goldstine (September 13, 1913 – June 16, 2004) was a mathematician and computer scientist, who worked as the director of the IAS machine at Princeton University's Institute for Advanced Study and helped to develop ENIAC, the ...
in 1947 was the first to describe
backward error analysis In mathematics, error analysis is the study of kind and quantity of error, or uncertainty, that may be present in the solution to a problem. This issue is particularly prominent in applied areas such as numerical analysis and statistics. Error a ...
, although implicitly. He was also one of the first to write about the Jacobi method. At Los Alamos, he wrote several classified reports on solving problems of gas dynamics numerically. However, he was frustrated by the lack of progress with analytic methods for these
nonlinear In mathematics and science, a nonlinear system is a system in which the change of the output is not proportional to the change of the input. Nonlinear problems are of interest to engineers, biologists, physicists, mathematicians, and many other ...
problems. As a result, he turned towards computational methods. Under his influence Los Alamos became the undisputed leader in computational science during the 1950s and early 1960s. From this work von Neumann realized that computation was not just a tool to
brute force Brute Force or brute force may refer to: Techniques * Brute force method or proof by exhaustion, a method of mathematical proof * Brute-force attack, a cryptanalytic attack * Brute-force search, a computer problem-solving technique People * Brut ...
the solution to a problem numerically, but could also provide insight for solving problems analytically, and that there was an enormous variety of scientific and engineering problems towards which computers would be useful, most significant of which were nonlinear problems. In June 1945 at the First Canadian Mathematical Congress he gave his first talk on general ideas of how to solve problems, particularly of fluid dynamics numerically. He also described how
wind tunnel Wind tunnels are large tubes with air blowing through them which are used to replicate the interaction between air and an object flying through the air or moving along the ground. Researchers use wind tunnels to learn more about how an aircraft ...
s were actually analog computers, and how digital computers would replace them and bring a new era of fluid dynamics. Garrett Birkhoff described it as "an unforgettable sales pitch". He expanded this talk with Goldstine into the manuscript "On the Principles of Large Scale Computing Machines" and used it to promote the support of scientific computing. His papers also developed the concepts of inverting matrices, random matrices and automated relaxation methods for solving
elliptic boundary value problem In mathematics, an elliptic boundary value problem is a special kind of boundary value problem which can be thought of as the stable state of an evolution problem. For example, the Dirichlet problem for the Laplacian gives the eventual distribut ...
s.


Weather systems and global warming

As part of his research into possible applications of computers, von Neumann became interested in weather prediction, noting the similarities between the problems in the field and previous problems he had worked on during the Manhattan Project, both of which involved nonlinear fluid dynamics. In 1946 von Neumann founded the "Meteorological Project" at the Institute for Advanced Study, securing funding for his project from the Weather Bureau along with the
US Air Force The United States Air Force (USAF) is the air service branch of the United States Armed Forces, and is one of the eight uniformed services of the United States. Originally created on 1 August 1907, as a part of the United States Army Signal ...
and US Navy weather services.''Weather Architecture'' By Jonathan Hill (Routledge, 2013), page 216 With Carl-Gustaf Rossby, considered the leading theoretical meteorologist at the time, he gathered a twenty strong group of meteorologists who began to work on various problems in the field. However, as other postwar work took up considerable portions of his time he was not able to devote enough of it to proper leadership of the project and little was done during this time period. This changed when a young
Jule Gregory Charney Jule Gregory Charney (January 1, 1917 – June 16, 1981) was an American meteorologist who played an important role in developing numerical weather prediction and increasing understanding of the general circulation of the atmosphere by devisin ...
took up co-leadership of the project from Rossby. By 1950 von Neumann and Charney wrote the world's first climate modelling software, and used it to perform the world's first numerical
weather forecasts Weather forecasting is the application of science and technology to predict the conditions of the atmosphere for a given location and time. People have attempted to predict the weather informally for millennia and formally since the 19th centu ...
on the ENIAC computer that von Neumann had arranged to be used; von Neumann and his team published the results as ''Numerical Integration of the Barotropic Vorticity Equation''. Together they played a leading role in efforts to integrate sea-air exchanges of energy and moisture into the study of climate. Though primitive, news of the ENIAC forecasts quickly spread around the world and a number of parallel projects in other locations were initiated. In 1955 von Neumann, Charney and their collaborators convinced their funders to open up the Joint Numerical Weather Prediction Unit (JNWPU) in
Suitland, Maryland Suitland is an unincorporated community and census designated place (CDP) in Prince George's County, Maryland, United States, approximately one mile (1.6 km) southeast of Washington, D.C. As of the 2020 census, its population was 25,839. Prio ...
which began routine real-time weather forecasting. Next up, von Neumann proposed a research program for climate modeling: "The approach is to first try short-range forecasts, then long-range forecasts of those properties of the circulation that can perpetuate themselves over arbitrarily long periods of time, and only finally to attempt forecast for medium-long time periods which are too long to treat by simple hydrodynamic theory and too short to treat by the general principle of equilibrium theory." Positive results of
Norman A. Phillips Norman A. Phillips (July 9, 1923 – March 15, 2019) was an American meteorologist notable for his contributions to geophysical fluid dynamics. In 1956, he developed a mathematical model that could realistically depict monthly and seasonal pattern ...
in 1955 prompted immediate reaction and von Neumann organized a conference at Princeton on "Application of Numerical Integration Techniques to the Problem of the General Circulation". Once again he strategically organized the program as a predictive one in order to ensure continued support from the Weather Bureau and the military, leading to the creation of the General Circulation Research Section (now known as the Geophysical Fluid Dynamics Laboratory) next to the JNWPU in Suitland, Maryland. He continued work both on technical issues of modelling and in ensuring continuing funding for these projects, which, like many others, were enormously helped by von Neumann's unwavering support to legitimize them. During the late 19th century, Svante Arrhenius suggested that human activity could cause
global warming In common usage, climate change describes global warming—the ongoing increase in global average temperature—and its effects on Earth's climate system. Climate change in a broader sense also includes previous long-term changes to E ...
by adding
carbon dioxide Carbon dioxide (chemical formula ) is a chemical compound made up of molecules that each have one carbon atom covalently double bonded to two oxygen atoms. It is found in the gas state at room temperature. In the air, carbon dioxide is transpar ...
to the atmosphere. In 1955, von Neumann observed that this may already have begun: "Carbon dioxide released into the atmosphere by industry's burning of
coal Coal is a combustible black or brownish-black sedimentary rock, formed as rock strata called coal seams. Coal is mostly carbon with variable amounts of other elements, chiefly hydrogen, sulfur, oxygen, and nitrogen. Coal is formed when dea ...
and oil - more than half of it during the last generation - may have changed the atmosphere's composition sufficiently to account for a general warming of the world by about one degree Fahrenheit."''Engineering: Its Role and Function in Human Society'' edited by William H. Davenport, Daniel I. Rosenthal (Elsevier 2016), page 266 His research into weather systems and meteorological prediction led him to propose manipulating the environment by spreading colorants on the
polar ice cap A polar ice cap or polar cap is a high-latitude region of a planet, dwarf planet, or natural satellite that is covered in ice. There are no requirements with respect to size or composition for a body of ice to be termed a polar ice cap, nor a ...
s to enhance absorption of solar radiation (by reducing the
albedo Albedo (; ) is the measure of the diffuse reflection of sunlight, solar radiation out of the total solar radiation and measured on a scale from 0, corresponding to a black body that absorbs all incident radiation, to 1, corresponding to a body ...
). However, he urged caution in any program of atmosphere modification: "What ''could'' be done, of course, is no index to what ''should'' be done... In fact, to evaluate the ultimate consequences of either a general cooling or a general heating would be a complex matter. Changes would affect the level of the seas, and hence the habitability of the continental coastal shelves; the evaporation of the seas, and hence general precipitation and glaciation levels; and so on... But there is little doubt that one ''could'' carry out the necessary analyses needed to predict the results, intervene on any desired scale, and ultimately achieve rather fantastic results." He also warned that weather and climate control could have military uses, telling
Congress A congress is a formal meeting of the representatives of different countries, constituent states, organizations, trade unions, political parties, or other groups. The term originated in Late Middle English to denote an encounter (meeting of a ...
in 1956 that they could pose an even bigger risk than
ICBMs 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 ...
.


Technological singularity hypothesis

The first use of the concept of a singularity in the technological context is attributed to von Neumann, who according to Ulam discussed the "ever accelerating progress of technology and changes in the mode of human life, which gives the appearance of approaching some essential singularity in the history of the race beyond which human affairs, as we know them, could not continue." This concept was fleshed out later in the book '' Future Shock'' by Alvin Toffler.


Defense work


Manhattan Project

Beginning in the late 1930s, von Neumann developed an expertise in explosions—phenomena that are difficult to model mathematically. During this period, von Neumann was the leading authority of the mathematics of
shaped charge A shaped charge is an explosive charge shaped to form an explosively formed penetrator (EFP) to focus the effect of the explosive's energy. Different types of shaped charges are used for various purposes such as cutting and forming metal, init ...
s. This led him to a large number of military consultancies, primarily for the Navy, which in turn led to his involvement in 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 ...
. The involvement included frequent trips by train to the project's secret research facilities at the Los Alamos Laboratory in a remote part of New Mexico. Von Neumann made his principal contribution to the
atomic bomb 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 bomb ...
in the concept and design of the explosive lenses that were needed to compress the
plutonium Plutonium is a radioactive chemical element with the symbol Pu and atomic number 94. It is an actinide metal of silvery-gray appearance that tarnishes when exposed to air, and forms a dull coating when oxidized. The element normally exhibi ...
core of the
Fat Man "Fat Man" (also known as Mark III) is the codename for the type of nuclear bomb the United States detonated over the Japanese city of Nagasaki on 9 August 1945. It was the second of the only two nuclear weapons ever used in warfare, the fir ...
weapon that was later dropped on
Nagasaki is the capital and the largest city of Nagasaki Prefecture on the island of Kyushu in Japan. It became the sole port used for trade with the Portuguese and Dutch during the 16th through 19th centuries. The Hidden Christian Sites in the ...
. In addition, he helped determine which Japanese cities the atomic bombs would be used on, and was also the singular person responsible for the complex calculations needed to determine at which height the bombs would be detonated over Hiroshima and Nagasaki to achieve the maximum kill rate—. While von Neumann did not originate the " implosion" concept, he was one of its most persistent proponents, encouraging its continued development against the instincts of many of his colleagues, who felt such a design to be unworkable. He also eventually came up with the idea of using more powerful shaped charges and less fissionable material to greatly increase the speed of "assembly". When it turned out that there would not be enough
uranium-235 Uranium-235 (235U or U-235) is an isotope of uranium making up about 0.72% of natural uranium. Unlike the predominant isotope uranium-238, it is fissile, i.e., it can sustain a nuclear chain reaction. It is the only fissile isotope that exis ...
to make more than one bomb, the implosive lens project was greatly expanded and von Neumann's idea was implemented. Implosion was the only method that could be used with the plutonium-239 that was available from the Hanford Site. He established the design of the explosive lenses required, but there remained concerns about "edge effects" and imperfections in the explosives. His calculations showed that implosion would work if it did not depart by more than 5% from spherical symmetry. After a series of failed attempts with models, this was achieved by
George Kistiakowsky George may refer to: People * George (given name) * George (surname) * George (singer), American-Canadian singer George Nozuka, known by the mononym George * George Washington, First President of the United States * George W. Bush, 43rd President ...
, and the construction of the Trinity bomb was completed in July 1945. In a visit to Los Alamos in September 1944, von Neumann showed that the pressure increase from explosion shock wave reflection from solid objects was greater than previously believed if the angle of incidence of the shock wave was between 90° and some limiting angle. As a result, it was determined that the effectiveness of an atomic bomb would be enhanced with detonation some kilometers above the target, rather than at ground level. Von Neumann, four other scientists, and various military personnel were included in the target selection committee that was responsible for choosing the Japanese cities of
Hiroshima is the capital of Hiroshima Prefecture in Japan. , the city had an estimated population of 1,199,391. The gross domestic product (GDP) in Greater Hiroshima, Hiroshima Urban Employment Area, was US$61.3 billion as of 2010. Kazumi Matsui h ...
and Nagasaki as the first targets of the atomic bomb. Von Neumann oversaw computations related to the expected size of the bomb blasts, estimated death tolls, and the distance above the ground at which the bombs should be detonated for optimum shock wave propagation and thus maximum effect. The cultural capital
Kyoto Kyoto (; Japanese: , ''Kyōto'' ), officially , is the capital city of Kyoto Prefecture in Japan. Located in the Kansai region on the island of Honshu, Kyoto forms a part of the Keihanshin metropolitan area along with Osaka and Kobe. , the ci ...
, which had been spared the bombing inflicted upon militarily significant cities, was von Neumann's first choice, a selection seconded by Manhattan Project leader General Leslie Groves. However, this target was dismissed by Secretary of War
Henry L. Stimson Henry Lewis Stimson (September 21, 1867 – October 20, 1950) was an American statesman, lawyer, and Republican Party politician. Over his long career, he emerged as a leading figure in U.S. foreign policy by serving in both Republican and D ...
. On July 16, 1945, von Neumann and numerous other Manhattan Project personnel were eyewitnesses to the first test of an atomic bomb detonation, which was code-named
Trinity The Christian doctrine of the Trinity (, from 'threefold') is the central dogma concerning the nature of God in most Christian churches, which defines one God existing in three coequal, coeternal, consubstantial divine persons: God the F ...
. The event was conducted as a test of the implosion method device, at the bombing range near
Alamogordo Army Airfield Alamogordo () is the seat of Otero County, New Mexico, United States. A city in the Tularosa Basin of the Chihuahuan Desert, it is bordered on the east by the Sacramento Mountains and to the west by Holloman Air Force Base. The population was ...
, southeast of
Socorro, New Mexico Socorro (, '' sə-KOR-oh'') is a city in Socorro County in the U.S. state of New Mexico. It is in the Rio Grande Valley at an elevation of . In 2010 the population was 9,051. It is the county seat of Socorro County. Socorro is located south of A ...
. Based on his observation alone, von Neumann estimated the test had resulted in a blast equivalent to but
Enrico Fermi Enrico Fermi (; 29 September 1901 – 28 November 1954) was an Italian (later naturalized American) physicist and the creator of the world's first nuclear reactor, the Chicago Pile-1. He has been called the "architect of the nuclear age" and ...
produced a more accurate estimate of 10 kilotons by dropping scraps of torn-up paper as the shock wave passed his location and watching how far they scattered. The actual power of the explosion had been between 20 and 22 kilotons. It was in von Neumann's 1944 papers that the expression "kilotons" appeared for the first time. After the war, Robert Oppenheimer remarked that the physicists involved in the Manhattan project had "known sin". Von Neumann's response was that "sometimes someone confesses a sin in order to take credit for it." Von Neumann continued unperturbed in his work and became, along with Edward Teller, one of those who sustained the Thermonuclear weapon, hydrogen bomb project. He collaborated with Klaus Fuchs on further development of the bomb, and in 1946 the two filed a secret patent on "Improvement in Methods and Means for Utilizing Nuclear Energy", which outlined a scheme for using a fission bomb to compress fusion fuel to initiate nuclear fusion. The Fuchs–von Neumann patent used radiation implosion, but not in the same way as is used in what became the final hydrogen bomb design, the History of the Teller–Ulam design, Teller–Ulam design. Their work was, however, incorporated into the "George" shot of Operation Greenhouse, which was instructive in testing out concepts that went into the final design. The Fuchs–von Neumann work was passed on to the Soviet Union by Fuchs as part of his nuclear espionage, but it was not used in the Soviets' own, independent development of the Teller–Ulam design. The historian Jeremy Bernstein has pointed out that ironically, "John von Neumann and Klaus Fuchs, produced a brilliant invention in 1946 that could have changed the whole course of the development of the hydrogen bomb, but was not fully understood until after the bomb had been successfully made." For his wartime services, von Neumann was awarded the Navy Distinguished Civilian Service Award in July 1946, and the Medal for Merit in October 1946.


Post war

In 1950, von Neumann became a consultant to the Weapons Systems Evaluation Group (WSEG), whose function was to advise the Joint Chiefs of Staff and the United States Secretary of Defense on the development and use of new technologies. He also became an adviser to the Armed Forces Special Weapons Project (AFSWP), which was responsible for the military aspects 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 ...
s. Over the following two years, he became a consultant across the US government. This included the Central Intelligence Agency (CIA), a member of the influential General Advisory Committee of the Atomic Energy Commission, a consultant to the newly established Lawrence Livermore National Laboratory, and a member of the Scientific Advisory Group of the United States Air Force During this time he became a "superstar" 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 ...
. His authority was considered infallible at the highest levels of the US government and military. During several meetings of the advisory board of the US Air Force von Neumann and Edward Teller predicted that by 1960 the US would be able to build a hydrogen bomb, one not only powerful but light enough to fit on top of a rocket. In 1953
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 ...
, who was present at the meeting with Teller and von Neumann, paid a personal visit to von Neumann at Princeton in order to confirm this possibility. Schriever would then enlist
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 ...
, who in turn would also personally visit von Neumann several weeks later in order to fully understand the future possibilities before beginning his campaign for such a weapon in Washington. Now either chairing or serving on several boards dealing with strategic missiles and nuclear weaponry, von Neumann was able to inject several crucial arguments regarding potential Soviet Union, Soviet advancements in both these areas and in strategic defenses against American bombers into government reports in order to argue for the creation of
ICBMs 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 ...
. Gardner on several occasions would bring von Neumann to meetings with the US Department of Defense to discuss with various senior officials his reports. Several design decisions in these reports such as inertial guidance mechanisms would form the basis for all ICBMs thereafter. By 1954, von Neumann was also regularly testifying to various United States Congress, Congressional military subcommittees to ensure continued support for the ICBM program, which would later expand to include senior officials from all over the US government. However, this was not enough. In order to have the ICBM program run at full throttle they needed direct action by the President of the United States. They managed to convince Dwight D. Eisenhower, President Eisenhower in a direct meeting in July 1955, which resulted in a presidential directive on September 13, 1955. It stated that "there would be the gravest repercussions on the national security and on the cohesion of the free world" if the Soviet Union developed the ICBM before America did and therefore designated the ICBM project "a research and development program of the highest priority above all others." The Secretary of Defense was ordered to commence the project with "maximum urgency". From the first time Schriever heard the presentation of von Neumann and Teller to the signing of the presidential directive the trio had moved heaven and earth in order to make the ICBM program a reality. Evidence would later show that the Soviets indeed were already testing their own intermediate-range ballistic missiles at the time of the presentation to President Eisenhower at the White House. Von Neumann would continue to meet the President, including at his home in Gettysburg, Pennsylvania, and other high-level government officials as a key advisor on ICBMs until his death.


Atomic Energy Commission

In 1955, von Neumann became a commissioner of the Atomic Energy Commission (AEC), which at the time was the highest official position available to scientists in the government. (While his appointment formally required that he sever all his other consulting contracts, an exemption was made for von Neumann to continue working with several critical military committees after the
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 ...
and several key United States Senate, senators raised concerns.) He accepted this position and used it to further the production of compact hydrogen bombs suitable for intercontinental ballistic missile (ICBM) delivery. He involved himself in correcting the severe shortage of tritium and lithium 6 needed for these compact weapons, and he argued against settling for the intermediate-range missiles that the Army wanted. He was adamant that H-bombs delivered into the heart of enemy territory by an ICBM would be the most effective weapon possible, and that the relative inaccuracy of the missile wouldn't be a problem with an H-bomb. He said the Russians would probably be building a similar weapon system, which turned out to be the case. Despite his disagreement with Oppenheimer over the need for a crash program to develop the hydrogen bomb, he testified on the latter's behalf at the 1954 Oppenheimer security hearing, at which he asserted that Oppenheimer was loyal, and praised him for his helpfulness once the program went ahead. While Lewis Strauss was away in the second half of 1955 von Neumann took over as acting chairman of the commission. In his final years before his death from cancer, von Neumann headed the United States government's top secret ICBM committee, which would sometimes meet in his home. Its purpose was to decide on the feasibility of building an ICBM large enough to carry a thermonuclear weapon. Von Neumann had long argued that while the technical obstacles were sizable, they could be overcome in time. The SM-65 Atlas passed its first fully functional test in 1959, two years after his death. The more advanced Titan (rocket family), Titan rockets were deployed in 1962. Both had been proposed in the ICBM committees von Neumann chaired. The feasibility of the ICBMs owed as much to improved, smaller warheads that did not have guidance or heat resistance issues as it did to developments in rocketry, and his understanding of the former made his advice invaluable. Von Neumann entered government service primarily because he felt that, if freedom and civilization were to survive, it would have to be because the United States would triumph over totalitarianism from Nazism, Fascism and Ideology of the Communist Party of the Soviet Union, Soviet Communism. During a United States Senate, Senate committee hearing he described his political ideology as "violently Anti-communism, anti-communist, and much more militaristic than the norm".


Personality


Work habits

Herman Goldstine Herman Heine Goldstine (September 13, 1913 – June 16, 2004) was a mathematician and computer scientist, who worked as the director of the IAS machine at Princeton University's Institute for Advanced Study and helped to develop ENIAC, the ...
commented on von Neumann's ability to intuit hidden errors and to remember old material perfectly. When he had difficulties he would not labor on and struggle; instead, he would go home and sleep on it and come back later with a solution. This style, 'taking the path of least resistance', sometimes meant that he could go off on tangents. It also meant that if the difficulty was great from the very beginning, he would simply switch to another problem, not trying to find weak spots from which he could break through. At times he could be ignorant of the standard mathematical literature, finding it easier to rederive basic information he needed rather than chase references. After
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 ...
began, he became extremely busy with both academic and military commitments. His habit of not writing up talks or publishing results he found worsened. He did not find it easy to discuss a topic formally in writing to others unless it was already mature in his mind; if it was not, he would, in his own words, "develop the worst traits of pedantism and inefficiency".


Mathematical range

The mathematician Jean Dieudonné said that von Neumann "may have been the last representative of a once-flourishing and numerous group, the great mathematicians who were equally at home in pure and applied mathematics and who throughout their careers maintained a steady production in both directions". According to Dieudonné, his specific genius was in analysis and "combinatorics", with combinatorics being understood in a very wide sense that described his ability to organize and axiomize complex works that previously seemed to have little connection with mathematics. His style in analysis followed the German school, based on foundations in
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. ...
and general topology. While von Neumann had an encyclopedic background, his range in pure mathematics was not as wide as Henri Poincaré, Poincaré, Hilbert or even Hermann Weyl, Weyl: von Neumann never did significant work in number theory, algebraic topology, algebraic geometry or differential geometry; however, in applied mathematics his work equalled that of legendary mathematicians such as Carl Friedrich Gauss, Gauss, Augustin-Louis Cauchy, Cauchy or Henri Poincaré, Poincaré. During the 1930s when von Neumann's work in pure mathematics was at its peak, there was hardly an important area he didn't have at least passing acquaintance with. According to Wigner, "Nobody knows all science, not even von Neumann did. But as for mathematics, he contributed to every part of it except number theory and topology. That is, I think, something unique." Likewise, Halmos noted that while von Neumann knew lots of mathematics, the most notable gaps were in algebraic topology and number theory; he recalled an incident where von Neumann failed to recognize the topological definition of a torus written on a blackboard. Von Neumann admitted to Herman Goldstine that he had no facility at all in topology and he was never comfortable with it, with Goldstine later bringing this up when comparing him to
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 ...
, who he thought was deeper and broader than von Neumann. Similarly, Albert W. Tucker, Albert Tucker said he never saw von Neumann work on anything he would call "topological" and described how once von Neumann was giving a proof of a topological theorem, which he thought, while ingenious, was the kind of proof an analyst would give rather than someone who worked on combinatorial topology. In his biography of von Neumann, Salomon Bochner wrote that much of von Neumann's works in pure mathematics involved finite and infinite dimensional
vector space In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...
s in one way or another, which at the time, covered much of the total area of mathematics. However he pointed out this still did not cover an important part of the mathematical landscape, in particular, anything that involved geometry "in the global sense", topics such as topology, differential geometry and Hodge theory, harmonic integrals, algebraic geometry and other such fields. Von Neumann rarely worked in these fields and, as Bochner saw it, had little affinity for them. In one of von Neumann's last articles, he lamented that pure mathematicians could no longer attain deep knowledge of even a fraction of the field. In the early 1940s, Ulam had concocted for him a doctoral-style examination in various fields to find weaknesses in his knowledge; von Neumann was unable to answer satisfactorily a question each in differential geometry, number theory, and algebra. They concluded that doctoral exams might have "little permanent meaning". However, when Weyl turned down an offer to write a history of mathematics of the 20th century, arguing that no one person could do it, Ulam thought von Neumann could have aspired to do so.


Preferred problem-solving techniques

Ulam remarked that most mathematicians could master one technique that they then used repeatedly, whereas von Neumann had mastered three: # A facility with the symbolic manipulation of linear operators; # An intuitive feeling for the logical structure of any new mathematical theory; # An intuitive feeling for the combinatorial superstructure of new theories. Although he was commonly described as an analyst, he once classified himself an algebraist, and his style often displayed a mix of algebraic technique and set-theoretical intuition. He loved obsessive detail and had no issues with excess repetition or overly explicit notation. An example of this was a paper of his on rings of operators, where he extended the normal functional notation, \phi (x) to \phi ((x)). However, this process ended up being repeated several times, where the final result were equations such as (\psi((((a)))))^2 = \phi((((a)))). The 1936 paper became known to students as "von Neumann's onion" because the equations "needed to be peeled before they could be digested". Overall, although his writings were clear and powerful, they were not clean, or elegant. Although powerful technically, his primary concern seemed to be more with the clear and viable formation of fundamental issues and questions of science rather than just the solution of mathematical puzzles. According to Ulam, von Neumann surprised physicists by doing dimensional estimates and algebraic computations in his head with fluency Ulam likened to blindfold chess. His impression was that von Neumann analyzed physical situations by abstract logical deduction rather than concrete visualization.


Lecture style

Goldstine compared his lectures to being on glass, smooth and lucid. By comparison, Goldstine thought his scientific articles were written in a much harsher manner, and with much less insight. Paul Halmos, Halmos described his lectures as "dazzling", with his speech clear, rapid, precise and all encompassing. Like Goldstine, he also described how everything seemed "so easy and natural" in lectures but puzzling on later reflection. He was a quick speaker: Banesh Hoffmann found it very difficult to take notes, even in shorthand, and Albert W. Tucker, Albert Tucker said that people often had to ask von Neumann questions in order to slow him down so they could think through the ideas he was going through. Von Neumann knew about this and was grateful for his audience telling him when he was going too quickly. Although he did spend time preparing for lectures, he rarely used notes, instead jotting down points of what he would discuss and how long he would spend on it.


Eidetic memory

Von Neumann was also noted for his eidetic memory, particularly of the symbolic kind.
Herman Goldstine Herman Heine Goldstine (September 13, 1913 – June 16, 2004) was a mathematician and computer scientist, who worked as the director of the IAS machine at Princeton University's Institute for Advanced Study and helped to develop ENIAC, the ...
writes: Von Neumann was reportedly able to memorize the pages of telephone directories. He entertained friends by asking them to randomly call out page numbers; he then recited the names, addresses and numbers therein. Per Stanisław Ulam, von Neumann's memory was auditory rather than visual.


Mathematical quickness

Von Neumann's mathematical fluency, calculation speed, and general problem-solving ability were widely noted by his peers. Paul Halmos called his speed "awe-inspiring." Lothar Wolfgang Nordheim described him as the "fastest mind I ever met".
Enrico Fermi Enrico Fermi (; 29 September 1901 – 28 November 1954) was an Italian (later naturalized American) physicist and the creator of the world's first nuclear reactor, the Chicago Pile-1. He has been called the "architect of the nuclear age" and ...
told physicist Herbert L. Anderson: "You know, Herb, Johnny can do calculations in his head ten times as fast as I can! And I can do them ten times as fast as you can, Herb, so you can see how impressive Johnny is!" Edward Teller admitted that he "never could keep up with him", and Israel Halperin described trying to keep up as like riding a "tricycle chasing a racing car." He had an unusual ability to solve novel problems quickly. George Pólya, whose lectures at ETH Zürich von Neumann attended as a student, said, "Johnny was the only student I was ever afraid of. If in the course of a lecture I stated an unsolved problem, the chances were he'd come to me at the end of the lecture with the complete solution scribbled on a slip of paper." When George Dantzig brought von Neumann an unsolved problem in linear programming "as I would to an ordinary mortal", on which there had been no published literature, he was astonished when von Neumann said "Oh, that!", before offhandedly giving a lecture of over an hour, explaining how to solve the problem using the hitherto unconceived Linear programming#Duality, theory of duality. A story about von Neumann's encounter with the famous fly puzzle has entered Mathematical folklore#Stories, sayings and jokes, mathematical folklore. In this puzzle, two bicycles begin 20 miles apart, and each travels toward the other at 10 miles per hour until they collide; meanwhile, a fly travels continuously back and forth between the bicycles at 15 miles per hour until it is squashed in the collision. The questioner asks how far the fly traveled in total; the "trick" for a quick answer is to realize that the fly's individual transits do not matter, only that it has been traveling at 15 miles per hour for one hour. As Eugene Wigner tells it, it was Max Born who posed the riddle to von Neumann. The other scientists to whom he had posed it had laboriously computed the distance, so when von Neumann was immediately ready with the correct answer of 15 miles, Born observed that he must have guessed the trick. "What trick?" von Neumann replied. "All I did was sum the geometric series."


Self-doubts

Gian-Carlo Rota, Rota, in describing von Neumann's relationship with his friend Stanisław Ulam, wrote that von Neumann had "deep-seated and recurring self-doubts". As an example on one occasion he said in the future he would be forgotten while Kurt Gödel, Gödel would be remembered with Pythagoras. Ulam suggests that some of his self-doubts with regard for his own creativity may have come from the fact he had not discovered several important ideas that others had, even though he was more than capable of doing so, giving the Gödel's incompleteness theorems, incompleteness theorems and George David Birkhoff, Birkhoff's Ergodic theory#Ergodic theorems, pointwise ergodic theorem as examples. Von Neumann had a virtuosity in following complicated reasoning and had supreme insights, yet he perhaps felt he did not have the gift for seemingly irrational proofs and theorems or intuitive insights that came from nowhere. Ulam describes how during one of his stays at Princeton while von Neumann was working on rings of operators, continuous geometries and quantum logic he felt that von Neumann was not convinced of the importance of his work, and only when finding some ingenious technical trick or new approach that he took some pleasure from his work that satiated his concerns. However, according to Rota, von Neumann still had an "incomparably stronger technique" compared to his friend, despite describing Ulam as the more creative mathematician.


Legacy


Accolades

Nobel Laureate Hans Bethe said "I have sometimes wondered whether a brain like von Neumann's does not indicate a species superior to that of man". Edward Teller observed "von Neumann would carry on a conversation with my 3-year-old son, and the two of them would talk as equals, and I sometimes wondered if he used the same principle when he talked to the rest of us." Peter Lax wrote "Von Neumann was addicted to thinking, and in particular to thinking about mathematics". Eugene Wigner said, "He understood mathematical problems not only in their initial aspect, but in their full complexity." Claude Shannon called him "the smartest person I've ever met", a common opinion. Jacob Bronowski wrote "He was the cleverest man I ever knew, without exception. He was a genius." "It seems fair to say that if the influence of a scientist is interpreted broadly enough to include impact on fields beyond science proper, then John von Neumann was probably the most influential mathematician who ever lived," wrote Miklós Rédei. Peter Lax commented that von Neumann would have won a Nobel Prize in Economics had he lived longer, and that "if there were Nobel Prizes in computer science and mathematics, he would have been honored by these, too." Rota writes that "he was the first to have a vision of the boundless possibilities of computing, and he had the resolve to gather the considerable intellectual and engineering resources that led to the construction of the first large computer" and consequently that "No other mathematician in this century has had as deep and lasting an influence on the course of civilization." He is widely regarded as one of the greatest and most influential mathematicians and scientists of the 20th century. Accolades and anecdotes were not limited to those from the physical or mathematical sciences. Neurophysiology, Neurophysiologist Leon Harmon described him in a similar manner, calling him the only "true genius" he had ever met: "The others were supersmart .... And great prima donnas. But von Neumann's mind was all-encompassing. He could solve problems in any domain. ... And his mind was always working, always restless." While consulting for non-academic projects von Neumann's combination of outstanding scientific ability and practicality gave him a high credibility with military officers, engineers, industrialists and scientists that no other scientist could match. In Nuclear weapon, nuclear missilery he was considered "the clearly dominant advisory figure" according to Herbert York. Economist
Nicholas Kaldor Nicholas Kaldor, Baron Kaldor (12 May 1908 – 30 September 1986), born Káldor Miklós, was a Cambridge economist in the post-war period. He developed the "compensation" criteria called Kaldor–Hicks efficiency for welfare comparisons (1939), d ...
said he was "unquestionably the nearest thing to a genius I have ever encountered." Likewise, Paul Samuelson wrote, "We economists are grateful for von Neumann's genius. It is not for us to calculate whether he was a Carl Friedrich Gauss, Gauss, or a Henri Poincaré, Poincaré, or a Hilbert. He was the incomparable Johnny von Neumann. He darted briefly into our domain and it has never been the same since."


Honors and awards

Events and awards named in recognition of von Neumann include the annual John von Neumann Theory Prize of the Institute for Operations Research and the Management Sciences, IEEE John von Neumann Medal, and the John von Neumann Prize of the Society for Industrial and Applied Mathematics. Both the crater Von Neumann (crater), von Neumann on the Moon and the asteroid 22824 von Neumann are named in his honor. Von Neumann received awards including the Medal for Merit in 1947, the Medal of Freedom in 1956, and the Enrico Fermi Award also in 1956. He was elected a member of multiple honorary societies, including the American Academy of Arts and Sciences and the National Academy of Sciences, and he held eight honorary doctorates. On May 4, 2005, the United States Postal Service issued the ''American Scientists'' commemorative postage stamp series, a set of four 37-cent self-adhesive stamps in several configurations designed by artist Victor Stabin. The scientists depicted were von Neumann, Barbara McClintock, Josiah Willard Gibbs, and Richard Feynman. was established in Kecskemét, Hungary in 2016, as a successor to Kecskemét College.


Selected works

Von Neumann's first published paper was ''On the position of zeroes of certain minimum polynomials'', co-authored with Michael Fekete and published when von Neumann was 18. At 19, his solo paper ''On the introduction of transfinite numbers'' was published. He expanded his second solo paper, ''An axiomatization of set theory'', to create his PhD thesis. His first book, ''Mathematical Foundations of Quantum Mechanics'', was published in 1932. Following this, von Neumann switched from publishing in German to publishing in English, and his publications became more selective and expanded beyond pure mathematics. His 1942 ''Theory of Detonation Waves'' contributed to military research, his work on computing began with the unpublished 1946 ''On the principles of large scale computing machines'', and his publications on weather prediction began with the 1950 ''Numerical integration of the barotropic vorticity equation''. Alongside his later papers were informal essays targeted at colleagues and the general public, such as his 1947 ''The Mathematician'', described as a "farewell to pure mathematics", and his 1955 ''Can we survive technology?'', which considered a bleak future including nuclear warfare and deliberate climate change. His complete works have been compiled into a six-volume set.


See also

* List of pioneers in computer science * Teapot Committee * ''The MANIAC (book), The MANIAC'', 2023 book about von Neumann


Notes


References

* * * * * * * * * * * * * * * * * * * * * * * * * * * * *
Descriptioncontents, incl. arrow-scrollable preview
&
review
* * * * * * * * * * * * * * * * * * * * *


Further reading

Books * * * * * * * * * * * * * Popular periodicals * ''Good Housekeeping, Good Housekeeping Magazine'', September 1956, "Married to a Man Who Believes the Mind Can Move the World" Journals * *


External links


A more or less complete bibliography of publications of John von Neumann
by Nelson H. F. Beebe *
von Neumann's profile
at Google Scholar
Oral History Project
- The Princeton Mathematics Community in the 1930s, contains many interviews that describe contact and anecdotes of von Neumann and others at the Princeton University and Institute for Advanced Study community. * Oral history interviews (from the Charles Babbage Institute, University of Minnesota) with
Alice R. Burks and Arthur W. BurksEugene P. Wigner
an
Nicholas C. Metropolis

zbMATH profile

Query for "von neumann"
on the digital repository of the Institute for Advanced Study.
Von Neumann vs. Dirac on Quantum Theory and Mathematical Rigor
– from ''Stanford Encyclopedia of Philosophy''
Quantum Logic and Probability Theory
- from ''Stanford Encyclopedia of Philosophy''
FBI files on John von Neumann released via FOI

Biographical video
by David Brailsford (John Dunford Professor Emeritus of computer science at the University of Nottingham)
John von Neumann: Prophet of the 21st Century
2013 Arte documentary on John von Neumann and his influence in the modern world (in German and French with English subtitles).
John von Neumann - A Documentary
1966 detailed documentary by the Mathematical Association of America containing remarks by several of his colleagues including Ulam, Wigner, Halmos, Morgenstern, Bethe, Goldstine, Strauss and Teller. {{DEFAULTSORT:Neumann, John von John von Neumann, 1903 births 1957 deaths 20th-century American mathematicians 20th-century American physicists Algebraists American anti-communists American computer scientists American nuclear physicists American operations researchers American people of Hungarian-Jewish descent American Roman Catholics American systems scientists Austrian nobility Mathematicians from Austria-Hungary Ballistics experts Burials at Princeton Cemetery Deaths from cancer in Washington, D.C. Carl-Gustaf Rossby Research Medal recipients Cellular automatists Computer designers Converts to Roman Catholicism from Judaism Cyberneticists Elected Members of the International Statistical Institute Enrico Fermi Award recipients ETH Zurich alumni Fasori Gimnázium alumni Fellows of the American Physical Society Fellows of the Econometric Society Fluid dynamicists Functional analysts Game theorists Hungarian anti-communists Hungarian computer scientists Hungarian emigrants to the United States Hungarian inventors Hungarian Jews 20th-century Hungarian mathematicians 20th-century Hungarian physicists Hungarian nobility Hungarian nuclear physicists Hungarian Roman Catholics Institute for Advanced Study faculty Jewish American scientists Jewish anti-communists Jewish physicists Lattice theorists Manhattan Project people Mathematical economists Mathematical physicists Mathematicians from Budapest Measure theorists Medal for Merit recipients Members of the American Philosophical Society Members of the Lincean Academy Members of the Royal Netherlands Academy of Arts and Sciences Members of the United States National Academy of Sciences Mental calculators Monte Carlo methodologists Naturalized citizens of the United States Numerical analysts Oak Ridge National Laboratory people Operations researchers Operator theorists People from Pest, Hungary Presidents of the American Mathematical Society Princeton University faculty Probability theorists Quantum physicists RAND Corporation people Recipients of the Medal of Freedom Researchers of artificial life Set theorists Theoretical physicists Academic staff of the University of Göttingen Von Neumann family, John Yiddish-speaking people