Rafael Mitchell Robinson | |
---|---|
Raphael Mitchel Robinson | |
Raphael Robinson în 1990 | |
Numele la naștere | Engleză Raphael Mitchel Robinson |
Data nașterii | 2 noiembrie 1911 [1] |
Locul nașterii | |
Data mortii | 27 ianuarie 1995 [1] (83 de ani) |
Un loc al morții |
|
Țară | |
Sfera științifică | matematică , logică |
Loc de munca | |
Alma Mater |
|
consilier științific | John Hector McDonald [d] [2] |
Fișiere media la Wikimedia Commons |
Raphael Mitchel Robinson ( ing. Raphael Mitchel Robinson , 2 noiembrie 1911 – 27 ianuarie 1995) a fost un matematician american care a adus o mare contribuție la dezvoltarea logicii matematice .
Născut în 1911 în National City , a fost cel mai mic dintre cei patru copii. Tatăl său, Bertram Robinson, a fost un avocat itinerant, iar Rafael a crescut cu mama sa, Bessie Stevenson, care a lucrat ca profesor de școală elementară. A intrat la Universitatea din California din Berkeley , unde a primit o diplomă de licență în 1932, o diplomă de master în 1933 și un doctorat în 1935 . În acest timp, țara a fost în strânsoarea Marii Depresiuni , un loc de muncă a fost foarte greu de găsit și a fost forțat să accepte un loc de muncă cu jumătate de normă la Universitatea Brown, în ciuda faptului că salariul rezultat nu era suficient pentru a trăi. Doi ani de viață în sărăcie l-au determinat pe Rafael Robinson să sufere de tuberculoză . În 1937 lucrurile s-au îmbunătățit și a devenit membru titular al facultății la Berkeley.
În 1939, Julia Bowman a început să urmeze un curs de teoria numerelor susținut de Robinson . Au început să petreacă mult timp împreună, iar când și-a pierdut slujba, Jerzy Neumann a reușit să găsească o sumă mică de bani pentru a o aranja ca asistentă, în urma căreia a reușit să obțină o diplomă de master în 1941. . Pe 22 decembrie 1941, Robinson s-a căsătorit cu Julia, dar după aceea, în conformitate cu regulile în vigoare, ea nu a mai putut rămâne printre profesorii facultății de matematică.
În 1949, Raphael Robinson a devenit profesor titular. În 1973 s-a pensionat. După ce soția sa a murit în iulie 1985, el a înființat Fondul Julia Bowman Robinson în anul următor . Pe 4 decembrie 1994, Rafael Robinson a suferit un accident vascular cerebral și a murit opt săptămâni mai târziu.
Robinson a lucrat în multe domenii ale matematicii. Teza sa de doctorat a fost pe analiză complexă, dar a lucrat și în domeniile logicii, teoriei mulțimilor, geometriei, teoriei numerelor și combinatoriei. El a adus o mare contribuție la fundamentele matematicii, arătând că un număr mare de teorii matematice sunt indecidabile: teoria grupurilor, teoria rețelelor, geometria proiectivă, algebrele închise. În 1950, el a construit un exemplu de aritmetică formală care era finit axiomatizabil, dar incomplet și indecidabil; astfel, s-a obținut un contraexemplu la conjectura că o teorie în esență indecidabilă trebuie să aibă în mod necesar un număr infinit de axiome. Folosind primele calculatoare pentru a rezolva probleme de teoria numerelor, el a programat testul Luc-Lehmer pe computerul SWAC și a verificat pentru toți n < 2304 dacă numerele de forma 2 n − 1 sunt prime, drept urmare cinci noi numere prime Mersenne. au fost gasite . De asemenea, s-a ocupat de problemele plăcuirii planului, iar în 1978 a publicat articolul „Indecidibilitatea problemei plăcirii planului hiperbolic”. De la indecidibilitatea problemei de tiling a urmat indecizia problemei de oprire pentru mașinile Turing , în 1991, Robinson, în vârstă de 80 de ani, a publicat „The Small Universal Turing Machine Second to Minsky”, în care a descris o mașină Turing universală, în programul căruia nu existau decât 4 simboluri și 7 stări. Robinson a publicat ultimul său articol important „Două figuri pe un plan hiperbolic” în 1994, când avea deja 83 de ani.
![]() | ||||
---|---|---|---|---|
Dicționare și enciclopedii | ||||
Genealogie și necropole | ||||
|