Робинсон Рафаэль (Robinson Rafael).

Родившиеся в январе
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в феврале
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29            

Родившиеся в марте
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в апреле
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в мае
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в июне
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          
 


 

Робинсон Рафаэль.

 ›

Рафаэль Митчел Робинсон
Raphael Mitchel Robinson
Рафаэль Робинсон в 1990 году
Дата рождения:

2 ноября 1911(1911-11-02)

Место рождения:

Нэшенл-Сити, США

Дата смерти:

27 января 1995(1995-01-27) (83 года)

Место смерти:

Беркли, США

Страна:

 США

Научная сфера:

математика, логика

Место работы:

Калифорнийский университет в Беркли

Альма-матер:

Калифорнийский университет в Беркли

Рафаэль Митчел Робинсон

Рафаэль Митчел Робинсон (англ. Raphael Mitchel Robinson, 2 ноября 1911 - 27 января 1995) - американский математик, внёсший большой вклад в развитие математической логики.

Содержание
  • Биография
  • Научные достижения
  • См. также
  • Ссылки
Биография

Родился в 1911 году в Нэшенл-Сити, был младшим из четырёх детей. Его отец Бертрам Робинсон был адвокатом, постоянно находившимся в разъездах, и Рафаэль вырос с матерью Бесси Стивенсон, которая работала учительницей начальных классов. Поступил в Калифорнийский университет в Беркли, где в 1932 году получил степень бакалавра, в 1933 - магистра, а в 1935 Ph.D. В это время в стране царила Великая депрессия, работу было найти очень трудно, и он был вынужден согласиться работать на полставки в Брауновском университете несмотря на то, что получаемой в результате зарплаты не хватало на жизнь. Два года жизни в нищете привели к тому, что Рафаэль Робинсон стал страдать туберкулёзом. В 1937 году ситуация улучшилась, и он стал штатным преподавателем в Беркли.

В 1939 году на курс теории чисел, который читал Робинсон, стала ходить Джулия Боумэн. Они стали проводить много времени вместе, а когда она лишилась работы, то Ежи Нейман смог найти небольшое количество денег чтобы устроить её своей ассистенткой, в результате чего она смогла в 1941 году получить степень магистра. 22 декабря 1941 года они поженились, однако после этого, в соответствии с действовавшими правилами, Джулия не могла оставаться в числе преподавателей математического факультета.

В 1949 году Рафаэль Робинсон стал полным профессором. В 1973 году ушёл на пенсию. После того, как в июле 1985 года скончалась его супруга, в следующем году он учредил Фонд Джулии Боумэн-Робинсон (англ. Julia Bowman Robinson Fund). 4 декабря 1994 года Рафаэль Робинсон перенёс инсульт, и восемь недель спустя скончался.

Научные достижения

Робинсон работал во многих областях математики. Его докторская диссертация была посвящена комплексному анализу, однако он также работал в области логики, теории множеств, геометрии, теории чисел и комбинаторики. Он внёс большой вклад в основания математики, показав, что большое количество математических теорий являются неразрешимыми: теория групп, теория решёток, проективная геометрия, замкнутые алгебры. В 1950 году им был построен пример формальной арифметики, которая была конечно аксиоматизируема, но неполна и неразрешима; таким образом был получен контрпример к гипотезе о том, что существенно неразрешимая теория обязательно должна иметь бесконечное число аксиом. Используя первые компьютеры для решения проблем теории чисел, он запрограммировал на компьютере SWAC тест Люка - Лемера и проверил для всех n < 2304 являются ли числа вида 2n − 1 простыми, в результате чего было найдено пять новых простых чисел Мерсенна. Также он занимался проблемами замощения плоскости, и в 1978 году опубликовал статью «Неразрешимость проблемы замощения гиперболической плоскости». Из неразрешимости проблемы замощения следовала неразрешимость проблемы остановки для машин Тьюринга, в 1991 году 80-летний Робинсон опубликовал «Малая универсальная машина Тьюринга по Минскому», в которой описал универсальную машину Тьюринга, в программе которой было всего 4 символа и 7 состояний. Последнюю свою крупную статью «Две фигуры на гиперболической плоскости» Робинсон опубликовал в 1994 году, когда ему было уже 83 года.

См. также
  • Арифметика Робинсона (англ.)

Доп. информация

 

 








Родившиеся в июле
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в августе
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в сентябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в октябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

Родившиеся в ноябре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30          

Родившиеся в декабре
01 02 03 04 05 06 07
08 09 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31        

© 2015 famous-birthdays.ru
При использовании материалов сайта прямая, активная ссылка на источник обязательна!
Дата последнего обновления каталога именинников: 2018-07-16