Nacimiento | 18 de agosto de 1946 |
---|---|
Nacionalidad | americano |
Capacitación | Instituto de Tecnología de Massachusetts |
Ocupaciones | Matemático , lógico , profesor universitario |
Trabajé para | Universidad de Cornell |
---|---|
Miembro de | Sociedad Americana de Matemáticas |
Director de tesis | Gerald Sacks |
Premios |
Miembro de la American Mathematical Society Gödel Lecturer (2009) |
Richard Arnold Shore (nacido el18 de agosto de 1946) es un lógico matemático estadounidense que trabaja principalmente en la teoría de la recursividad .
Richard Shore obtuvo una licenciatura en ciencias en la Universidad de Harvard en 1968 y luego un doctorado en 1972 en el Instituto de Tecnología de Massachusetts bajo la supervisión de Gerald E. Sacks ( " Argumentos de prioridad en la teoría de la recursividad alfa " ), donde estuvo asistente desde 1968. Fue postdoctorado como instructor hasta 1974 en la Universidad de Chicago y luego en la Universidad de Cornell sucesivamente profesor asistente, profesor asociado desde 1978 y finalmente profesor desde 1983. En 2013, fue nombrado profesor de Matemáticas Goldwin Smith . Fue profesor invitado e investigador invitado, entre otros, en la Universidad de Harvard , en la Universidad Hebrea de Jerusalén , Chicago, MIT, Singapur, Siena, en MSRI y en el Instituto Isaac Newton de Ciencias Matemáticas en Cambridge (junio 2012).
Shore da una contra-ejemplo a la conjetura homogeneidad Hartley Rogers (in) mostrando que hay grados de Turing 's , b para el que las estructuras de grado de Turing anteriores una y b no son isomorfos. Con Theodore A. Slaman , demostró en 1999 que los saltos de Turing son definibles en la estructura de los grados de Turing.
Shore es conferenciante invitado en el Congreso Internacional de Matemáticos de Varsovia de 1983 ( " Los grados de insolubilidad: el ordenamiento de funciones por computabilidad relativa " ). En 2009, fue Gödel Lecturer ( “ Matemáticas inversas: el patio de recreo de la lógica ” ). De 1984 a 1993 fue editor del Journal of Symbolic Logic y de 1993 a 2000 del Bulletin of Symbolic Logic . En 2012, se convirtió en miembro de la American Mathematical Society . Su número de nombres Erd es 2.