Metadata
Author: WikiMatrix
Data
English[en]
Beginning in 1960, Abraham Robinson worked out a rigorous foundation for Leibniz's infinitesimals, using model theory, in the context of a field of hyperreal numbers.
Hebrew[he]
החל מ-1960, אברהם רובינזון עבד על בסיס ריגורוזי לאינפיניטסימלים של לייבניץ, באמצעות תורת המודלים, ובהקשר של hyperreal numbers.