Richard Arnold Shore (nacido el 18 de agosto de 1946) es un profesor de matemáticas en la Universidad de Cornell que trabaja en la teoría de la recursividad . Es particularmente conocido por su trabajo en, el orden parcial de los grados de Turing .
- Shore resolvió la conjetura de homogeneidad de Rogers mostrando que hay grados de Turing y tal que y , las estructuras de los grados superiores y respectivamente, no son isomorfos. [1]
- En trabajo conjunto con Theodore Slaman , Shore demostró que el salto de Turing se puede definir en. [2]
Richard A. Shore | |
---|---|
Nació | 18 de agosto de 1946 (edad | 74)
Ciudadanía | americano |
alma mater | MIT |
Carrera científica | |
Campos | Matemáticas |
Instituciones | Universidad de Cornell |
Tesis | Argumentos de prioridad en la teoría de la recursividad alfa (1972) |
Asesor de doctorado | Gerald E. Sacks |
En 1983 fue orador invitado en el Congreso Internacional de Matemáticos en Varsovia y pronunció una charla Los grados de insolubilidad: el ordenamiento de funciones por computabilidad relativa . En 2009 fue profesor de Gödel ( Matemáticas inversas: el patio de recreo de la lógica ). [3] Fue editor de 1984 a 1993 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 . [4]
Referencias
- ^ Shore, RA (1979). "La conjetura de la homogeneidad" . Actas de la Academia Nacional de Ciencias de los Estados Unidos de América . 76 (9): 4218–4219. doi : 10.1073 / pnas.76.9.4218 . JSTOR 70054 . PMC 411543 . PMID 16592707 .
- ^ Shore, RA; Slaman, TA (1999). "Definición del salto de Turing" (PDF) . Matemáticas. Res. Lett . 6 (5–6): 711–722. doi : 10.4310 / MRL.1999.v6.n6.a10 . Archivado desde el original (PDF) el 2008-07-09 . Consultado el 14 de julio de 2008 .
- ^ Conferencias de Gödel, Asociación de lógica simbólica
- ^ Lista de miembros de la American Mathematical Society , consultado el 18 de julio de 2013.