Robert Soare

US-amerikanischer Mathematiker

Robert Irving Soare (* 22. Dezember 1940 in Orange (New Jersey))[1] ist ein US-amerikanischer Mathematiker, Informatiker und mathematischer Logiker.

Robert Soare

Jockusch studierte an der Princeton University mit dem Bachelor-Abschluss 1963 und wurde 1967 an der Cornell University bei Anil Nerode promoviert (Recursion theory on Dedekind cuts).[2] 1967 wurde er Assistant Professor und 1975 Professor für Mathematik und Informatik an der University of Chicago. Von 1983 bis 1987 stand er der Abteilung Informatik vor. Er war dort Paul Snowden Russell Distinguished Service Professor.

Er befasst sich mit mathematischer Logik (Berechenbarkeitstheorie, Rekursionstheorie).

1972 bewies er mit Carl Jockusch das Low basis theorem in der mathematischen Logik und Berechenbarkeitstheorie.[3] Dazu führten sie eine eigene Forcing-Methode (Jockusch-Soare Forcing) ein.

2012 wurde er Fellow der American Mathematical Society.

Schriften

Bearbeiten
  • Recursively enumerable sets and degrees. Perspectives in Mathematical Logic. Springer 1987, ISBN 3-540-15299-7.
  • Turing Computability – Theory and Applications, Springer 2016, ISBN 978-3-642-31932-7.
Bearbeiten

Einzelnachweise

Bearbeiten
  1. Geburts- und Karrieredaten American Men and Women of Science, Thomson Gale 2005
  2. Robert Soare im Mathematics Genealogy Project (englisch) Vorlage:MathGenealogyProject/Wartung/id verwendet
  3. Jockusch,Soare, Π(0, 1) Classes and Degrees of Theories, Transactions of the American Mathematical Society, Band 173, 1972, S. 33–56.