Richard Shore
| Richard A. Shore | |
|---|---|
 | |
| Born | August 18, 1946 |
| Citizenship |
 United States |
| Fields | Mathematics |
| Institutions | Cornell University |
| Alma mater | MIT |
| Doctoral advisor | Gerald E. Sacks |
Richard A. Shore is a professor of mathematics at Cornell University who works in recursion theory. He is particularly known for his work on 
, the partial order of the Turing degrees.
- Shore settled the Rogers Homogeneity Conjecture by showing that there are Turing degrees
and 
such that 
and 
, the structures of the degrees above and respectively, are not isomorphic.[1] - In joint work with Theodore Slaman, Shore showed that the Turing jump is definable in .[2]
In 2012 he became a fellow of the American Mathematical Society.[3]
References
- ↑ Shore, R.A. (1979). "The homogeneity conjecture". Proceedings of the National Academy of Sciences of the United States of America 76 (9): 4218–4219. doi:10.1073/pnas.76.9.4218. JSTOR 70054. PMC 411543. PMID 16592707.
- ↑ Shore, R.A.; Slaman, T.A. (1999). "Defining the Turing jump". Math. Res. Lett 6 (5–6): 711–722. Retrieved 2008-07-14.
- ↑ List of Fellows of the American Mathematical Society, retrieved 2013-07-18.