Search results
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.
Richard A. Shore. Goldwin Smith Professor of Mathematics Emeritus. Department of Mathematics Malott Hall Cornell University Ithaca NY 14853 shore@math.cornell.edu. 14 Kenwood Avenue Newton MA 02459 617-916-1035 607-279-6135. Research Interests (from Department's Faculty Web Page ) Curriculum Vitae. Education and Employment. Invited Talks.
Mathematical logic, recursion theory, effective and reverse mathematics, set theory. My major research interests have centered around analyzing the structures of relative complexity of computation of functions on the natural numbers.
Education. A. B. Summa cum laude in Mathematics, Harvard University, 1968. Ph.D. in Mathematics, M.I.T., 1972. Employment. M.I.T., Teaching Assistant, 9/68-6/72. University of Chicago, Instructor, 10/72-9/74.
Overview. Authors: Anil Nerode, Richard A. Shore. Part of the book series: Texts in Computer Science (TCS) 6512 Accesses. 31 Citations. 1 Altmetric. About this book.
Abstract. This paper is essentially the author's Gödel Lecture at the ASL Logic Colloquium '09 in Sofia extended and supplemented by material from some other papers. After a brief description of traditional reverse mathematics, a computational approach to is presented.
Anil Nerode, Richard A. Shore. Springer Science & Business Media, Dec 6, 2012 - Computers - 456 pages. In writing this book, our goal was to produce a text suitable for a first course in...
