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}
a
b
l{D}a
l{D}b
a
b
l{D}
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]