Metadata
Author: WikiMatrix
Data
English[en]
Using these methods, he found a way of using formal logic to show that there are self-consistent nonstandard models of the real number system that include infinite and infinitesimal numbers.
Hebrew[he]
בעשותו שימוש בשיטות אלה, מצא רובינזון דרך לנצל לוגיקה פורמלית כדי להוכיח קיומם של מודלים לא סטנדרטיים עקביים של מערכת המספרים הממשיים, הכוללים מספרים אינסופיים ואינפיניטסימלים.