Rafał M. Robinson

Rafał M. Robinson
Urodzić się	( 1911-11-02 ) 2 listopada 1911 Narodowe miasto, Kalifornia
Zmarł	27 stycznia 1995 ( w wieku 83) ( 27.01.1995 ) Berkeley w Kalifornii
Alma Mater	Kalifornia
Współmałżonek	Julia Robinson
Kariera naukowa
Pola	Matematyka
Wpływy	Johna von Neumanna Alfreda Tarskiego

Raphael Mitchel Robinson (2 listopada 1911 - 27 stycznia 1995) był amerykańskim matematykiem .

Urodzony w National City w Kalifornii Robinson był najmłodszym z czworga dzieci prawnika i nauczyciela . Odznaczony przez University of California, Berkeley w matematyce: BA (1932), MA (1933) i Ph.D. (1935). Jego doktorat praca magisterska dotycząca analizy zespolonej nosiła tytuł Niektóre wyniki w teorii funkcji Schlichta .

W 1941 roku Robinson poślubił swoją byłą uczennicę Julię Bowman . Została jego koleżanką z Berkeley i pierwszą kobietą prezesem Amerykańskiego Towarzystwa Matematycznego .

Robinson zajmował się logiką matematyczną , teorią mnogości , geometrią , teorią liczb i kombinatoryką . W 1937 przedstawił prostszą i bardziej konwencjonalną wersję aksjomatycznej teorii mnogości Johna von Neumanna z 1923 roku . Wkrótce po tym, jak Alfred Tarski dołączył do wydziału matematyki Berkeley w 1942 r., Robinson zaczął wykonywać główne prace nad podstawami matematyki , opierając się na koncepcji Tarskiego dotyczącej zasadniczej nierozstrzygalności , udowadniając, że wiele teorii matematycznych jest nierozstrzygalnych . W 1950 roku Robinson udowodnił, że zasadniczo nierozstrzygalna teoria nie musi mieć nieskończonej liczby aksjomatów , podając kontrprzykład: arytmetykę Robinsona Q . Q jest skończenie aksjomatyzowalne, ponieważ brakuje mu schematu aksjomatów indukcji arytmetyki Peano ; niemniej jednak Q , podobnie jak arytmetyka Peano, jest niezupełne i nierozstrzygalne w sensie Gödla . Kulminacją pracy Robinsona nad nierozstrzygalnością było współautorstwo pracy Tarski et al. (1953), który ustalił między innymi nierozstrzygalność teorii grup , teorii krat , abstrakcyjnej geometrii rzutowej i algebr domknięć .

Robinson zajmował się teorią liczb , wykorzystując nawet bardzo wczesne komputery do uzyskiwania wyników. Na przykład zakodował test pierwszości Lucasa-Lehmera , aby określić, czy 2 ⁿ - 1 jest liczbą pierwszą dla wszystkich liczb pierwszych n <2304 na SWAC . W 1952 roku wykazał, że wszystkie te liczby Mersenne'a były złożone, z wyjątkiem 17 wartości n = 2, 3, 5, 7, 13, 17, 19, 31, 61, 89, 107, 127, 521, 607, 1279, 2203 , 2281. Odkrył ostatnich pięć z tych liczb pierwszych Mersenne'a , największych znanych w tamtym czasie.

Robinson napisał kilka artykułów na temat nachyleń płaszczyzny , w szczególności jasny i niezwykły artykuł z 1971 r. Nierozstrzygalność i nieokresowość dla nachyleń płaszczyzny, upraszczając to, co było splątaną teorią.

Robinson został profesorem zwyczajnym w Berkeley w 1949 r., Przeszedł na emeryturę w 1973 r. I pozostał aktywny w swoich zainteresowaniach edukacyjnych przez całe życie, publikując późno w swoim życiu:

• (wiek 80 lat) mała uniwersalna maszyna Turinga Minsky'ego , opisująca uniwersalną maszynę Turinga z czterema symbolami i siedmioma stanami;
• (wiek 83 lata) Dwie postacie w płaszczyźnie hiperbolicznej .

Zobacz też

• Arytmetyka Robinsona

•   Robinson, RM (1937), „Teoria klas: modyfikacja systemu Von Neumanna”, Journal of Symbolic Logic , 2 (1): 29–36, doi : 10.2307/2268798 , JSTOR 2268798 .
• ——— (1950), „Zasadniczo nierozstrzygalny system aksjomatów”, Proceedings of the International Congress of Mathematics : 729–730 .
• Alfred Tarski , A. Mostowski i RM Robinson, 1953. Nierozstrzygalne teorie . Północna Holandia.
• Leon Henkin , 1995, " In memoriam: Raphael Mitchell Robinson ", Bull. Logika symboliczna 1 : 340–43.
• „In memoriam: Raphael Mitchell Robinson (1911–1995)” Modern Logic 5 : 329.

Linki zewnętrzne

• O'Connor, John J.; Robertson, Edmund F. , „Raphael M. Robinson” , archiwum MacTutor History of Mathematics , University of St Andrews . Źródło większości tego wpisu.
• Raphael M. Robinson w Mathematics Genealogy Project