Richard Costa

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 . ${\mathcal {D}}$

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] ${\estilo de visualización a}$ ${\estilo de visualización b}$ ${\mathcal {D}}_{a}$ ${\mathcal {D}}_{b}$ ${\estilo de visualización a}$ ${\estilo de visualización b}$
En un trabajo conjunto con Theodore Slaman , Shore demostró que el salto de Turing es definible en . ^[2] ${\mathcal {D}}$

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]

^ 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.