Войти
| Рафаэль М. Робинсон | |
|---|---|
 | |
| Родился | (1911-11-02) 2 ноября 1911 г.. Нэшнл-Сити, Калифорния |
| Умер | 27 января 1995 г. (1995-01-27) (83 года). Беркли, Калифорния |
| Alma mater | Калифорния |
| Супруг (а) | Джулия Робинсон |
| Научная карьера | |
| Поля | Математика |
| Влияния | Джон фон Нейман. Альфред Тарски |
Рафаэль Митчел Робинсон (2 ноября 1911 - 27 января 1995) был американцем математиком.
Родился в National City, California, Робинсон был младший из четырех детей юриста и учителя. Он был награжден Калифорнийским университетом в Беркли по математике: BA (1932), MA (1933) и Ph.D. (1935). Его доктор философии. Диссертация по комплексному анализу была озаглавлена «Некоторые результаты в теории функций Шлихта.
. В 1941 году Робинсон женился на своей бывшей ученице Джулии Боуман. Она стала его коллегой в Беркли и первой женщиной-президентом Американского математического общества.
Робинсон работала над математической логикой, теорией множеств, геометрией, теория чисел и комбинаторика. В 1937 году он изложил более простую и более традиционную версию аксиоматической теории множеств Джона фон Неймана 1923 . Вскоре после того, как Альфред Тарский присоединился к математическому факультету Беркли в 1942 году, Робинсон начал большую работу по основам математики, опираясь на концепцию Тарского о существенной неразрешимости. доказательство ряда математических теорий неразрешимых. В 1950 году Робинсон доказал, что по существу неразрешимая теория не обязательно должна иметь бесконечное количество аксиом, придумав контрпример: арифметика Робинсона Q. Q конечно аксиоматизируем, потому что ему не хватает схемы аксиом арифметики Пеано индукции ; тем не менее Q, как и арифметика Пеано, неполна и неразрешима в смысле Гёделя. Работа Робинсона о неразрешимости завершилась его соавторством Тарски и др. (1953), который установил, среди прочего, неразрешимость теории групп, теории решеток, абстрактной проективной геометрии и алгебр замыкания <129.>Робинсон работал в теории чисел, даже используя очень первые компьютеры для получения результатов. Например, он закодировал критерий простоты Лукаса-Лемера, чтобы определить, является ли 2-1 простым для всех простых чисел n < 2304 on a SWAC. В 1952 году он показал, что все эти числа Мерсенна были составными, за исключением 17 значений n = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203., 2281. Он обнаружил последние пять из этих простых чисел Мерсенна, самых больших из известных в то время.
Робинсон написал несколько статей о мозаиках на плоскости, в частности, ясную и замечательную статью 1971 года о неразрешимости и непериодичности мозаик на плоскости, упрощающую то, что раньше было запутанной теорией.
Робинсон стал профессором в Беркли в 1949 году, вышел на пенсию в 1973 году и оставался активным в своих образовательных интересах на протяжении всей своей жизни, опубликовав в конце своей жизни:
