Richard Shore

För den engelska cricketspelaren och brittiska arméns officer, se Richard Shore (cricketspelare) .

Richard A. Shore
Född	18 augusti 1946 ( 1946-08-18 ) ( 76 år )
Medborgarskap	amerikansk
Alma mater	MIT
Vetenskaplig karriär
Fält	Matematik
institutioner	Cornell University
Avhandling	Priority Arguments in Alpha-Recursion Theory (1972)
Doktorand rådgivare	Gerald E. Sacks

Richard Arnold Shore (född 18 augusti 1946) är en professor i matematik vid Cornell University som arbetar med rekursionsteori . Han är särskilt känd för sitt arbete på ${\displaystyle {\mathcal {D}}} ,$ den partiella ordningen av Turinggraderna .

• Shore avgjorde Rogers homogenitetsförmodan genom att visa att det finns Turinggrader $a$ och $b$ så att ${\mathcal {D}}_{a}$ och ${\ displaystyle {\mathcal {D}}_{b}}$ , strukturerna för graderna ovanför $a$ respektive $b$ är inte isomorfa.
• I samarbete med Theodore Slaman visade Shore att Turing-hoppet är definierbart i ${\mathcal {D}}$ .

Karriär

Han var, 1983, en inbjuden talare vid International Congress of Mathematicians i Warszawa och höll ett föredrag The Degrees of Unsolvability: The Ordering of Functions by Relative Computability . 2009 var han Gödellektor ( Omvänd matematik: logikens lekplats ) . Han var redaktör från 1984 till 1993 för Journal of Symbolic Logic och från 1993 till 2000 för Bulletin of Symbolic Logic . 2012 blev han fellow i American Mathematical Society .

externa länkar

• Cornell Math - Richard A. Shore .
• Richard Shore vid Mathematics Genealogy Project