John von Neumann — "Mathematics is an experimental science, and definitions are its axioms."
Mathematics is an experimental science, and definitions are its axioms.
Get This Quote & Author's Image Illustrated On:
Click any product to generate a realistic preview. Up to 3 at a time.
* Initial load can take up to 90 seconds — revising the preview in another color is nearly instant.
Kitchen
Apparel
Other
More from John von Neumann
"The system 'logic' is not absolute, it is relative to the observer."
"Computers are like humans - they do everything except think."
"Mathematics is a game played according to certain simple rules with meaningless marks on paper."
"It would appear that we have reached the limits of what it is possible to achieve with computer technology, although one should be careful with such statements, as they tend to sound pretty silly in 5…"
"If people do not believe that mathematics is simple, it is only because they do not realize how complicated life is."
Verification
Unverifiable
Found in 1 providers: grok
1 source checked
Understanding this quote
What it means
Mathematics isn't purely deductive reasoning built from eternal, fixed truths — it works experimentally, like any science. Mathematicians choose definitions, observe what structures emerge, and revise. Those definitions function as axioms: foundational assumptions that determine everything built on top of them. The creative act in math isn't just proving theorems but choosing what to define and how. A well-chosen definition unlocks entire fields; a poor one leads nowhere useful.
Relevance to John von Neumann
Von Neumann lived this principle. His 1932 axiomatization of quantum mechanics chose definitions that made the theory rigorous. His game theory breakthrough lay in defining strategy, utility, and zero-sum precisely enough to generate theorems. His stored-program computer architecture was itself a definition of what computation is. He understood that mathematical power comes from choosing the right abstractions, not just proving from existing ones. His career was a series of definitional revolutions.
The era
Von Neumann worked through mathematics' foundational crisis — Russell's paradox, Hilbert's formalism, and Gödel's incompleteness theorems had shattered faith in fixed axiomatic truth. His era demanded pragmatic mathematics: WWII weapons design, quantum physics, and early computing all required inventing new mathematical frameworks rapidly. The question became not 'what are the true axioms?' but 'which definitions make this problem tractable?' His view reflected a generation that built math to solve problems, not to uncover eternal truth.
AI-generated insights based on extensive research and information for context. Factual errors? Email [email protected].