Robert I. Soare - Robert I. Soare

Robert I. Soare

Robert Irving Soare jest amerykańskim matematykiem . Jest profesorem matematyki i informatyki Paul Snowden Russell Distinguished Service na Uniwersytecie w Chicago , gdzie wykłada od 1967 roku. Razem z Carlem Jockuschem udowodnił twierdzenie o niskiej podstawie i wykonał inne prace z zakresu matematyki logika , przede wszystkim w obszarze teorii obliczalności .

W 2012 roku został członkiem Amerykańskiego Towarzystwa Matematycznego .

Wybrane publikacje

  • Soare, R. (1987). Rekurencyjnie wyliczalne zbiory i stopnie . Perspektywy w logice matematycznej. Springer-Verlag. ISBN   3-540-15299-7 .
  • CG Jockusch Jr. and RI Soare, „Π (0, 1) Classes and Degrees of Theories” w Transactions of the American Mathematical Society (1972). [1]

Zobacz też

Bibliografia

Zewnętrzne linki