# Abraham Robinson

> 1918–1974 · Mathematician
>
> **Recorded contribution:** Non-standard analysis; contributed to model theory used in formal verification

## How to use this dossier

Read for a causal chain, not a hero story: inherited problem → contribution → mechanism → downstream capability → limit. Then close the page and complete the reconstruction exercise from memory.

## 1. Historical orientation

Abraham Robinson (1918–1974) was a logician and mathematician whose work in model theory culminated in nonstandard analysis. Nineteenth-century calculus had used infinitesimals intuitively, but standard real analysis rebuilt the subject with epsilon–delta limits. Robinson showed that infinitesimal and infinitely large numbers could nevertheless be handled rigorously inside enlarged number systems constructed with mathematical logic. His direct place in computing is more conceptual than the registry wording suggests: model theory and nonstandard methods inform logic, semantics, and some verification research, but he did not found formal verification. His achievement is a case study in using formal models to make an apparently informal mechanism precise.

## 2. The problem inherited

Infinitesimals were useful for reasoning about change but lacked an accepted rigorous foundation, while first-order model theory had not yet been turned into a practical reconstruction of calculus.

## 3. The central contribution

Robinson used model-theoretic constructions and the transfer principle to build hyperreal systems in which nonzero infinitesimals exist and ordinary first-order facts about real arithmetic continue to hold.

## 4. Reconstruct the mechanism

1. Construct an enlarged ordered field, commonly through an ultrapower of sequences of real numbers modulo an ultrafilter.
2. Treat a sequence such as 1, 1/2, 1/3, ... as a hyperreal number that is positive yet smaller than every positive standard real.
3. Use the transfer principle to carry suitable first-order statements from the real system into the hyperreal system.
4. Recover ordinary real-valued answers with the standard-part map, for example taking the standard part of a difference quotient at an infinitesimal step.

## 5. What changed downstream

- Nonstandard analysis restored infinitesimal reasoning without abandoning formal rigor.
- It supplied alternative proofs and models in analysis, probability, economics, and mathematical physics.
- Robinson's synthesis strengthened the bridge between model theory and mainstream mathematics.

## 6. Attribution, limits, and uncertainty

- The construction normally relies on substantial set-theoretic machinery and is not automatically more computational than epsilon–delta analysis.
- Transfer applies to appropriately formalized internal statements, not every property one can express informally about sets.
- Connections to software verification are downstream and indirect; they should not be represented as Robinson's personal engineering contribution.

## 7. Reconstruction lab

Represent a hyperreal informally as a sequence and compute the derivative of x² at x=3 using h=(1,1/2,1/3,...). Simplify ((3+h)²−9)/h to 6+h and take its standard part. Then list exactly which step would require an ultrafilter in a rigorous construction.

## 8. Evidence trail

- [Abraham Robinson](https://mathshistory.st-andrews.ac.uk/Biographies/Robinson/) — MacTutor History of Mathematics, University of St Andrews
- [Nonstandard Analysis: Its Creator and Place](https://arxiv.org/abs/1306.4049) — arXiv

---

*Research checked 2026-08-09. Dates, roles, and claims about living people are historical snapshots. Linked sources remain the authority; this dossier is original instructional synthesis.*