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