Robert I. Soare
Robert Irving Soare är en amerikansk matematiker . Han är Paul Snowden Russell Distinguished Service Professor i matematik och datavetenskap vid University of Chicago , där han har varit på fakulteten sedan 1967. Han bevisade, tillsammans med Carl Jockusch , lågbassatsen , och har gjort annat arbete inom matematik . logik , främst inom området beräkningsteori .
2012 blev han fellow i American Mathematical Society .
Utvalda publikationer
- Soare, R. (2016). Turing beräkningsbarhet - teori och tillämpningar . Springer-Verlag. ISBN 978-3-642-31932-7 .
- Soare, R. (1987). Rekursivt uppräknade mängder och grader . Perspektiv i matematisk logik. Springer-Verlag. ISBN 3-540-15299-7 .
- CG Jockusch Jr. och RI Soare, "Π(0, 1) Classes and Degrees of Theories" i Transactions of the American Mathematical Society (1972). [1]
Se även
externa länkar
| Allmän | |
|---|---|
| Nationalbibliotek | |
| Vetenskapliga databaser | |
| Övrig | |
