Richard A. Shore

from Wikipedia, the free encyclopedia
Richard A. Shore (2012)

Richard Arnold Shore (born August 18, 1946 ) is an American mathematical logician who mainly deals with recursion theory.

Shore received his doctorate in 1972 from the Massachusetts Institute of Technology with Gerald E. Sacks (Priority Arguments in Alpha-Recursion Theory), where he was an assistant from 1968. As a post-doc he was an instructor at the University of Chicago until 1974 and then assistant professor, from 1978 associate professor and from 1983 professor at Cornell University . He has been visiting scholar and visiting professor at Harvard University , Hebrew University , Chicago, MIT, Singapore, Siena and MSRI .

Shore refuted Hartley Rogers ' hypothesis of homogeneity by showing that there are Turing grades a, b for which the structure of the Turing grades above a, b is not isomorphic. With Theodore A. Slaman in 1999, he proved that Turing jumps can be defined in the structure of the Turing degrees.

He was invited speaker at the ICM in Warsaw 1983 (The Degrees of Unsolvability: the Ordering of Functions by Relative Computability). In 2009 he was a Gödel Lecturer (Reverse Mathematics: the playground of logic). From 1984 to 1993 he was editor of the Journal of Symbolic Logic and 1993 to 2000 of the Bulletin of Symbolic Logic. He is a fellow of the American Mathematical Society .

Fonts

  • with Anil Nerode : Logic for Applications, Springer 1993
  • alpha-Recursion theory, in Jon Barwise (Ed.): Handbook of mathematical logic, North Holland 1977, p. 653

Web links

Individual evidence

  1. ↑ Shore The homogenity conjecture , Proceedings National Academy of Sciences , Vol. 76, 1979, pp. 4218-4319
  2. ↑ Slaman, Shore, Defining the Turing jump, Math. Research Letters, Vol. 6, 1999, pp. 711–722, PDF file ( Memento of the original from July 9, 2008 in the Internet Archive ) Info: The archive link was inserted automatically and not yet checked. Please check the original and archive link according to the instructions and then remove this notice. @1@ 2Template: Webachiv / IABot / www.mrlonline.org
personal data
SURNAME Shore, Richard A.
ALTERNATIVE NAMES Shore, Richard Arnold (full name)
BRIEF DESCRIPTION American mathematical logician
DATE OF BIRTH August 18, 1946