Robinson, Rafael

Rafael Mitchell Robinson
Raphael Mitchel Robinson

Raphael Robinson în 1990
Numele la naștere Engleză  Raphael Mitchel Robinson
Data nașterii 2 noiembrie 1911( 02.11.1911 ) [1]
Locul nașterii
Data mortii 27 ianuarie 1995( 27-01-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 .

Biografie

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.

Realizări științifice

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.

Vezi și

Note

  1. ↑ 1 2 3 4 5 6 Arhiva MacTutor Istoria Matematicii
  2. ↑ Genealogia matematică  (engleză) - 1997.

Link -uri

  Accesați articolul Wikidata  Site-uri tematice
Dicționare și enciclopedii
Genealogie și necropole