Nonstandard analysis, developed by Abraham Robinson, assigns infinitesimal but non-zero probabilities to individual points in continuous distributions, dissolving the tension without restricting additivity.
?Rate how convincing each reason is below to see the overall strength.
No one has weighed in yet. Be the first to share reasons for or against this statement.
Sign in or register to share your perspective on this statement.
nonstandard analysis(Built on the expressive strength (can formalize calculus) and expressive weakness (cannot rule out infinitesimals) of first-order logic)
Abraham Robinson's framework that uses the compactness theorem of first-order logic to construct a model R' elementarily equivalent to the real numbers R but containing infinitesimals, thereby giving rigorous foundations to Leibniz-style infinitesimal reasoning