Richard Shore Explained

Richard A. Shore
Citizenship:American
Field:Mathematics
Work Institutions:Cornell University
Alma Mater:MIT
Doctoral Advisor:Gerald E. Sacks
Thesis Year:1972
Thesis Title:Priority Arguments in Alpha-Recursion Theory

Richard Arnold Shore (born August 18, 1946) is a professor of mathematics at Cornell University who works in recursion theory. He is particularly known for his work on

l{D}

, the partial order of the Turing degrees.

a

and

b

such that

l{D}a

and

l{D}b

, the structures of the degrees above

a

and

b

respectively, are not isomorphic.[1]

l{D}

.[2]

Career

He was, in 1983, an invited speaker at the International Congress of Mathematicians in Warsaw and gave a talk The Degrees of Unsolvability: the Ordering of Functions by Relative Computability. In 2009, he was the Gödel Lecturer (Reverse mathematics: the playground of logic).[3] He was an editor from 1984 to 1993 of the Journal of Symbolic Logic and from 1993 to 2000 of the Bulletin of Symbolic Logic. In 2012, he became a fellow of the American Mathematical Society.[4]

External links

Notes and References

  1. Shore, R.A. . 1979 . The homogeneity conjecture . . 76 . 9 . 4218–4219 . 10.1073/pnas.76.9.4218 . 16592707 . 411543. 70054. 1979PNAS...76.4218S . free .
  2. Shore, R.A. . Slaman, T.A. . 1999 . Defining the Turing jump . Math. Res. Lett. . 6 . 5–6 . 711–722 . 10.4310/MRL.1999.v6.n6.a10 . free .
  3. http://www.aslonline.org/Goedel_lecturers.html Gödel Lectures, Association for Symbolic Logic
  4. http://www.ams.org/profession/fellows-list List of Fellows of the American Mathematical Society