Abraham Robinson
contemporaryMathematical Logic / Analytic Philosophy1918 – 1974
Abraham Robinson (1918-1974) was a mathematician and logician best known for developing non-standard analysis, a rigorous framework for using infinitesimals in calculus. His work resolved centuries-old philosophical debates about the foundations of the infinitesimal calculus pioneered by Leibniz and Newton.
Notable Achievements
1
Developed non-standard analysis, providing a rigorous foundation for infinitesimals
2
Authored the seminal 1966 book Non-Standard Analysis
3
Made foundational contributions to model theory
4
Applied model-theoretic methods to algebra and differential algebra
5
Served as professor at Yale University and president of the Association for Symbolic Logic