Рафаэль М. Робинсон
-
Биография и образование
- Рафаэль Митчел Робинсон родился 2 ноября 1911 года в Нэшнл-Сити, Калифорния.
- Получил степень бакалавра, магистра и доктора философии в Калифорнийском университете в Беркли.
- Его докторская диссертация была посвящена комплексному анализу.
-
Личная жизнь и карьера
- В 1941 году женился на Джулии Боумен, которая стала его коллегой и первой женщиной-президентом Американского математического общества.
- Работал над математической логикой, теорией множеств, геометрией, теорией чисел и комбинаторикой.
- В 1937 году изложил более простую версию аксиоматической теории множеств Джона фон Неймана.
-
Работа над неразрешимостью
- В 1950 году доказал, что принципиально неразрешимая теория не обязательно должна содержать бесконечное число аксиом.
- В 1953 году в соавторстве с Тарским и другими установил неразрешимость теории групп, теории решеток, абстрактной проективной геометрии и замыкающих алгебр.
-
Работа в теории чисел
- Использовал ранние компьютеры для получения результатов, например, закодировал тест на простоту Лукаса–Лемера.
- В 1952 году показал, что все числа Мерсенна, кроме 17 значений, были составными.
- Открыл последние пять из этих простых чисел Мерсенна.
-
Другие работы
- Написал статьи о наклонах плоскости, включая статью 1971 года «Неразрешимость и непериодичность наклонов плоскости».
- Стал полноправным профессором в Беркли в 1949 году, вышел на пенсию в 1973 году.
- Активно занимался вопросами образования до конца жизни.
-
Наследие
- В 1995 году Леон Хенкин опубликовал статью «В память о Рафаэле Митчелле Робинсоне».
- В 2005 году «Современная логика» опубликовала статью «Памяти Рафаэля Митчелла Робинсона (1911-1995)».