Кіріспе
Американдық математик Абрахам Робинсон (туған Robinsohn; 6 қазан 1918 – 11 сәуір 1974) – стандартты емес анализді жасауымен әйгілі математик, бұл математикалық тұрғыдан қатаң жүйе, осының арқасында инфинитезималь және шексіз сандар заманауи математикаға қайта енгізілді. Робинсонның жарияланған еңбектерінің шамамен жартысы таза математика емес, қолданбалы математика саласында болды.
Abraham Robinson (born Robinsohn; October 6, 1918 – April 11, 1974) was a mathematician who is most widely known for development of nonstandard analysis, a mathematically rigorous system whereby infinitesimal and infinite numbers were reincorporated into modern mathematics. Nearly half of Robinson's papers were in applied mathematics rather than in pure mathematics.
Өмірбаян
Ол Германияның Вальденбург қаласында, қазіргі Польшаның Вальбрих қаласында, зор зейнеттік нанымдары бар яһуди отбасында дүниеге келген. 1933 жылы ол Британдық Палестинаға көшіп, еврей университетінде бірінші дәрежелі білім алды. Робинсон Францияда болған кезде екінші дүниежүзілік соғыс басталды, нацистер шапқылап кірді, ол пойызбен және жаяу қашып құтылды. Оның неміс паспортына күдікпен қараған француз сарбаздары оны кезекпен сұраққа тартып, өз карталарынан гөрі толықтырақ болған картасын ортақтасуын сұрады. Лондонға келген соң ол еркін француз әуе күштеріне қосылып, аэродинамиканы өздігінен үйреніп, соғысқа көмектесті, және іскерлік ұшақтардың қанаттарында қолданылатын аэродинамикалық профильдер бойынша сарапшы болды. Соғыстан кейін Робинсон Лондон, Торонто және Иерусалимде жұмыс істеді, бірақ 1962 жылы Лос-Анджелестегі Калифорния университетінде қызметін бастады.
Модель теориясы бойынша жұмыс
Ол математикалық логика әдістерін талдау және абстрактілік алгебра салаларындағы мәселелерді шешуге қолдану арқылы танымал болды. Ол "модель теориясының көптеген негізгі ұғымдарын енгізді". Осы әдістерді пайдаланып, ол формалды логиканы қолдану арқылы нақты сандар жүйесінде шексіз және инфинитезималь сандарды қамтитын, өзіне сәйкес келетін стандартты емес модельдердің бар екенін көрсетті. Вильгельмус Люксембург сияқты басқалар формалды логикада дайындығы жетілмеген математиктерге Роббинсонның жұмысын жеңілдету үшін ультрафильтрлерді қолдану арқылы осы нәтижелерге қол жеткізуге болатынын көрсетті. Робинсонның "Стандартты емес талдау" кітабы 1966 жылы жарық көрді. Робинсон математиканың тарихы мен философиясына қызығушылық танытып, инфинитезималь сандар тұжырымдамасын тұңғыш рет нақты айқындауға тырысқан Лейбництің ой-өрісіне енгісі келетінін жиі айтатын. UCLA-дағы әріптестері оны барлық деңгейдегі докторанттарға олардың қабілеттеріне сай жобаларды тауып беруге тырысқан жанкешті еңбегін еске алады. Ол Йель университетінен шақыру алды, бірақ бастапқыда тартынғанмен, 1967 жылы сонда көшті. 1973 жылғы көктемде ол Жоғары оқу институтының мүшесі болды. Ол 1974 жылы қарын безінің қатерлі ісігінен қайтыс болды.