Matemático estadounidense (nacido en 1946)
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 recursión . Es especialmente conocido por su trabajo sobre el orden parcial de los grados de Turing .
- Shore resolvió la conjetura de homogeneidad de Rogers al demostrar que hay grados de Turing y tales que y , las estructuras de los grados anteriores y respectivamente, no son isomorfas. [1]
- En un trabajo conjunto con Theodore Slaman , Shore demostró que el salto de Turing es definible en . [2]
Carrera
Fue, en 1983, orador invitado en el Congreso Internacional de Matemáticos en Varsovia y dio una charla Los grados de insolubilidad: el ordenamiento de funciones por computabilidad relativa . En 2009, fue el Gödel Lecturer ( 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 homogeneidad". Actas de la Academia Nacional de Ciencias de los Estados Unidos de América . 76 (9): 4218–4219. Bibcode :1979PNAS...76.4218S. doi : 10.1073/pnas.76.9.4218 . JSTOR 70054. PMC 411543 . PMID 16592707.
- ^ Shore, RA; Slaman, TA (1999). "Definición del salto de Turing". Math. Res. Lett . 6 (5–6): 711–722. doi : 10.4310/MRL.1999.v6.n6.a10 .
- ^ 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.
Enlaces externos