Robert I. Soare

Robert Irving Soare es un matemático estadounidense . Es profesor distinguido Paul Snowden Russell de Matemáticas e Informática en la Universidad de Chicago , donde forma parte del profesorado desde 1967. Demostró, junto con Carl Jockusch , el teorema de la base baja y ha realizado otros trabajos en lógica matemática , principalmente en el área de la teoría de la computabilidad . Entre sus estudiantes de doctorado en la Universidad de Chicago se encuentra Barbara Csima . ^{[ 1 ]}

En 2012 se convirtió en miembro de la Sociedad Matemática Estadounidense . ^{[ 2 ]}

• Soare, R. (2016). Computabilidad de Turing: teoría y aplicaciones . Springer-Verlag. ISBN 978-3-642-31932-7.
• Soare, R. (1987). Conjuntos y grados recursivamente enumerables . Perspectivas en lógica matemática. Springer-Verlag. ISBN 3-540-15299-7.
• CG Jockusch Jr. y RI Soare, "Clases y grados de teorías Π(0, 1)" en Transactions of the American Mathematical Society (1972).

• Forzamiento Jockusch-Soare

• Página de inicio profesional