Рафаэль М. Робинсон | |
|---|---|
 | |
| Рожденный | 2 ноября 1911 г. |
| Умер | 27 января 1995 г. (83 года) |
| Альма-матер | Калифорния |
| Супруг (а) | Джулия Робинсон |
| Научная карьера | |
| Поля | Математика |
| Влияния | Джон фон Нейман Альфред Тарский |
Рафаэль Митчел Робинсон (2 ноября 1911 - 27 января 1995) был американским математиком .
Робинсон родился в городе Нэшнл-Сити , штат Калифорния , и был младшим из четырех детей юриста и учителя. Он был награжден Калифорнийским университетом в Беркли по математике: бакалавриат (1932 г.), магистр медицины (1933 г.) и докторская степень. (1935). Его доктор философии. Диссертация по комплексному анализу была озаглавлена « Некоторые результаты теории функций Шлихта» .
В 1941 году Робинсон женился на своей бывшей студентке Джулии Боуман . Она стала его коллегой в Беркли и первой женщиной-президентом Американского математического общества .
Робинсон работал над математической логикой , теорией множеств , геометрией , теорией чисел и комбинаторикой . В 1937 году он изложил более простую и более традиционную версию аксиоматической теории множеств Джона фон Неймана 1923 года . Вскоре после того, как Альфред Тарский присоединился к математическому факультету Беркли в 1942 году, Робинсон начал большую работу по основам математики , опираясь на концепцию существенной неразрешимости Тарского , доказывая ряд неразрешимых математических теорий.. В 1950 году Робинсон доказал , что существенно неразрешимая теория не должна иметь бесконечное число аксиом , придумывая контрпример: Robinson арифметическая Q . Q конечно аксиоматизируем, потому что ему не хватает схемы аксиом индукции арифметики Пеано ; тем не менее Q , как и арифметика Пеано, неполна и неразрешима в смысле Гёделя . Работа Робинсона о неразрешимости достигла высшей точки в его соавторстве Тарски и др. (1953), который установил, помимо прочего, неразрешимости теории групп , решетка теории , абстрактная проективная геометрия, и алгебры замыкания .
Робинсон работал в теории чисел , даже используя очень ранние компьютеры для получения результатов. Например, он закодировал тест простоты Лукаса-Лемера, чтобы определить, является ли 2 n - 1 простым для всех простых чисел n <2304 на SWAC . В 1952 году он показал, что все эти числа Мерсенна были составными, за исключением 17 значений n = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203. , 2281. Он открыл последние пять из этих простых чисел Мерсенна , самые большие из известных в то время.
Робинсон написал несколько статей о мозаиках на плоскости, в частности, ясную и замечательную статью 1971 года о неразрешимости и непериодичности мозаик на плоскости, упрощающую то, что раньше было запутанной теорией.
Робинсон стал профессором в Беркли в 1949 году, вышел на пенсию в 1973 году и оставался активным в своих образовательных интересах на протяжении всей своей жизни, опубликовав в конце своей жизни:
- (возраст 80 лет) малая универсальная машина Мински , описывающая универсальную машину Тьюринга с четырьмя символами и семью состояниями;
- (возраст 83 года) Две фигуры в гиперболической плоскости .
См. Также [ править ]
- Арифметика Робинсона
Ссылки [ править ]
- Робинсон, Р. (1937), "Теория классов: Модификация системы фон Неймана", журнал символической логики , 2 (1): 29-36, DOI : 10,2307 / 2268798 , JSTOR 2268798.
- ——— (1950), «По существу неразрешимая система аксиом», Труды Международного математического конгресса : 729–730.
- Альфред Тарский , А. Мостовски и Р. М. Робинсон, 1953. Неразрешимые теории . Северная Голландия.
- Леон Хенкин , 1995, " Памяти Рафаэля Митчелла Робинсона ", Bull. Символическая логика 1 : 340–43.
- «In memoriam: Рафаэль Митчелл Робинсон (1911–1995)», « Современная логика 5 : 329».
Внешние ссылки [ править ]
- О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. , "Рафаэль М. Робинсон" , архив истории математики MacTutor , Сент-Эндрюсский университет.. Источник большей части этой записи.
- Рафаэль М. Робинсон в проекте « Математическая генеалогия»
