FREE HISTORICAL FIGURES OF COMPUTING PROFILE
Abraham Robinson
1918–1974 · Mathematician
Mathematician
Non-standard analysis; contributed to model theory used in formal verification
FREE HISTORICAL FIGURES OF COMPUTING PROFILE
1918–1974 · Mathematician
Non-standard analysis; contributed to model theory used in formal verification