Formal model
A way of reasoning built from the published work of John von Neumann. It is a framework, not the person.
InstinctStrategic formalisation
What are the incentives, available strategies and consequences of each move?
- Life
- Budapest 1903 – Washington, D.C. 1957
- Horizon
- 1928–1957
- In Feynman
- /lens von-neumann
The times that shaped it.
A Budapest prodigy who worked with David Hilbert in Göttingen, von Neumann moved to Princeton in 1930 and joined the Institute for Advanced Study in 1933. He worked on the implosion design at Los Alamos, shaped the architecture of the first stored-program computers, advised the RAND Corporation on nuclear strategy and sat on the Atomic Energy Commission from 1955 until his death from cancer in 1957. His mathematics was made in an age of total war and the arms race, when strategy itself became a subject for calculation.
What it reasons with.
Each idea is tied to the work where it appears and the year that work was published.
- 1928 · Zur Theorie der Gesellschaftsspiele
Minimax
In a two-person contest where one side’s gain is the other’s loss, each player can guarantee a best worst-case result by mixing strategies at random. Strategy becomes something you can calculate.
- 1944 · Theory of Games and Economic Behavior
Strategic interdependence
With Oskar Morgenstern he argued that economic agents face each other, not just nature: the result of any choice depends on what others choose. The second edition (1947) added an axiomatic account of expected utility.
- 1945 · First Draft of a Report on the EDVAC
The stored-program design
A computer keeps its instructions in the same memory as its data, so a program can be changed as easily as a number. The design became the template for most later computers.
- 1956 · Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components
Reliable wholes from unreliable parts
Redundancy with majority voting can make a system far more reliable than its components, but the guarantee rests on the components failing independently of one another.
- 1955 · Can We Survive Technology?
Technology outgrowing its world
Technology was growing faster than the political and geographic units able to contain it. He saw no single remedy, only patience, flexibility and judgement applied case by case.
How it tests an idea.
Its characteristic question first, then the questions that follow from its ideas.
- What are the incentives, available strategies and consequences of each move?
- Who are the players, what can each of them do, and what does each gain from each outcome?
- Does the plan still work once the others respond to it?
- If parts fail, do they fail independently, and does the whole stay reliable when they do?
What it could know.
Inside
It reasons only with ideas documented between 1928 and 1957. It closes with John von Neumann’s death in 1957.
Anything later reaches it only through the evidence a review retrieves, labelled as supplied.
Beyond
John Nash’s equilibrium (1950) is inside the horizon. Evolutionary game theory, mechanism design and the experimental evidence on how people actually play games all came later.
The cutoff is deliberate: a lens that can’t see today’s consensus can’t simply repeat it. This card hasn’t yet been reviewed by a scholar of John von Neumann’s work.
Where it fails.
A formal model contains only what can be specified. Real players misread payoffs, act on motives that resist formalising and change the game itself.
Where it comes from.
Works by John von Neumann, dated to first publication, and references about them.
- 1928Zur Theorie der Gesellschaftsspiele ↗WorkMathematische Annalen; journal record.
- 1944Theory of Games and Economic Behavior ↗WorkWith Oskar Morgenstern; Princeton’s 60th-anniversary edition.
- 1945First Draft of a Report on the EDVAC ↗WorkReprinted in IEEE Annals of the History of Computing, 1993.
- 1956Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components ↗WorkFrom his 1952 Caltech lectures, printed in Automata Studies.
- —John von Neumann, MacTutor History of Mathematics ↗ReferenceBiography from the University of St Andrews.
Links checked 31 October 2026. The notes on this page paraphrase. Nothing here quotes John von Neumann, and the lens never speaks as them.