Авраам Робинсон (урождённый Робинсон ; [1] 6 октября 1918 г. – 11 апреля 1974 г.) был математиком , который наиболее широко известен разработкой нестандартного анализа , математически строгой системы, посредством которой бесконечно малые и бесконечные числа были повторно включены в современную математику. Почти половина статей Робинсона были посвящены прикладной математике, а не чистой математике . [2]
Он родился в еврейской семье с сильными сионистскими убеждениями в Вальденбурге , Германия , который сейчас Валбжих , в Польше . В 1933 году он эмигрировал в Британский мандат в Палестине , где получил первую степень в Еврейском университете . Робинсон был во Франции, когда нацисты вторглись во время Второй мировой войны , и бежал на поезде и пешком, поочередно подвергаясь допросам французских солдат, подозрительно относящихся к его немецкому паспорту, и прося их поделиться своей картой, которая была более подробной, чем их. Находясь в Лондоне , он присоединился к Свободным французским военно-воздушным силам и внес свой вклад в военные усилия, самостоятельно изучая аэродинамику и став экспертом по аэродинамическим профилям, используемым в крыльях истребителей.
После войны Робинсон работал в Лондоне , Торонто и Иерусалиме , но в 1962 году оказался в Калифорнийском университете в Лос-Анджелесе .
Он стал известен своим подходом использования методов математической логики для решения проблем анализа и абстрактной алгебры . Он «ввел многие из фундаментальных понятий теории моделей ». [3] Используя эти методы, он нашел способ использования формальной логики , чтобы показать, что существуют самосогласованные нестандартные модели действительной числовой системы , которые включают бесконечные и бесконечно малые числа. Другие, такие как Вильгельм Люксембург , показали, что тех же результатов можно достичь с помощью ультрафильтров , что сделало работу Робинсона более доступной для математиков, не имеющих подготовки в формальной логике. Книга Робинсона «Нестандартный анализ» была опубликована в 1966 году. Робинсон сильно интересовался историей и философией математики и часто замечал, что хотел бы проникнуть в голову Лейбница , первого математика, который попытался четко сформулировать концепцию бесконечно малых чисел .
В то время как в Калифорнийском университете в Лос-Анджелесе его коллеги вспоминают, что он усердно работал, чтобы разместить аспирантов всех уровней способностей, находя им проекты соответствующей сложности. Его пригласили в Йель , и после некоторого первоначального нежелания он переехал туда в 1967 году. Весной 1973 года он стал членом Института перспективных исследований . [4] Он умер от рака поджелудочной железы в 1974 году.
Медиа, связанные с Авраамом Робинсоном на Wikimedia Commons