Robert Irving Soare es un matemático estadounidense . Es profesor de servicio distinguido Paul Snowden Russell de matemáticas y ciencias de la computación en la Universidad de Chicago , donde ha estado en la facultad desde 1967. Demostró, junto con Carl Jockusch , el teorema de base baja , y ha realizado otros trabajos en matemática. lógica , principalmente en el área de la teoría de la computabilidad .
En 2012 se convirtió en miembro de la American Mathematical Society . [1]
Publicaciones Seleccionadas
- 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, "Π (0, 1) Clases y grados de teorías" en Transactions of the American Mathematical Society (1972). [1]
Ver también
Referencias
- ^ Lista de miembros de la American Mathematical Society , consultado el 26 de julio de 2013.