Richard Shore
Template:Short description Script error: No such module "For". Script error: No such module "Template wrapper".Script error: No such module "Check for clobbered parameters". 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 , 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]
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]
References
<templatestyles src="Reflist/styles.css" />
- ↑ Script error: No such module "Citation/CS1".
- ↑ Script error: No such module "Citation/CS1".
- ↑ Gödel Lectures, Association for Symbolic Logic
- ↑ List of Fellows of the American Mathematical Society, retrieved 2013-07-18.
Script error: No such module "Check for unknown parameters".