Richard Shore
Richard Arnold Shore (né le ) est un mathématicien logicien américain qui travaille surtout en théorie de la récursivité.

Biographie 
Richard Shore obtient un B. Sc. à l'université Harvard en 1968 puis un Ph. D. en 1972 au Massachusetts Institute of Technology sous la supervision de Gerald E. Sacks (), où il était assistant depuis 1968. Il est post-doc en tant qu'instructeur jusqu'en 1974 à l'université de Chicago et ensuite à l'université Cornell successivement professeur assistant, professeur associé depuis 1978 et enfin professeur à partir de 1983. En 2013, il est nommé Goldwin Smith Professor of Mathematics. Il était professeur invité et chercheur invité entre autres à l'université Harvard, à l'université hébraïque de Jérusalem, à Chicago, au MIT, à Singapour, à Sienne, au MSRI, et au Isaac Newton Institute for Mathematical Sciences de Cambridge ().

Shore donne un contre-exemple à la conjecture d'homogénéité de  en montrant qu'il existe des degrés de Turing a, b pour lesquels les structures des degrés de Turing au dessus de a et b ne sont pas isomorphes. Avec Theodore A. Slaman, il démontre en 1999 que les sauts de Turing sont définissables dans la structure des degrés de Turing.

Shore est conférencier invité au Congrès international des mathématiciens de Varsovie en 1983 (). En 2009, il est Gödel Lecturer (). De 1984 à 1993, il est éditeur du Journal of Symbolic Logic et de 1993 à 2000 du Bulletin of Symbolic Logic. En 2012, il devient Fellow de l'American Mathematical Society. Son nombre d'Erdős est 2.

Travaux

Notes et références

Liens externes 

 Page personnelle à l'université Cornell

Mathématicien américain du XXe siècle
Mathématicien américain du XXIe siècle
Logicien américain
Professeur à l'université Cornell
Membre de l'American Mathematical Society
Gödel Lecturer
Naissance en août 1946
Richard Arnold Shore ( né le ) est un mathématicien logicien américain qui travaille surtout en théorie de la récursivité . Biographie Richard Shore obtient un B. Sc . à l' université Harvard enpuis un Ph . D. enau Massachusetts Institute of Technology sous la supervision de Gerald E. Sacks ( ) , où il était assistant depuis Il est post-doc en tant qu' instructeur jusqu' enà l' université de Chicago et ensuite à l' université Cornell successivement professeur assistant , professeur associé depuiset enfin professeur à partir de En il est nommé Goldwin Smith Professor of Mathematics . Il était professeur invité et chercheur invité entre autres à l' université Harvard , à l' université hébraïque de Jérusalem , à Chicago , à le MIT , à Singapour , à Sienne , à le MSRI , et à le Isaac Newton Institute for Mathematical Sciences de Cambridge ( ) . Shore donne un contre-exemple à la conjecture d' homogénéité de en montrant qu' il existe de les degrés de Turing a , b pour lesquels les structures de les degrés de Turing à le dessus de a et b ne sont pas isomorphes . Avec Theodore A. Slaman , il démontre enque les sauts de Turing sont définissables dans la structure de les degrés de Turing . Shore est conférencier invité à le Congrès international de les mathématiciens de Varsovie en ( ) . En il est Gödel Lecturer ( ) . Deà il est éditeur de le Journal of Symbolic Logic et deàdu Bulletin of Symbolic Logic . En il devient Fellow de l' American Mathematical Society . Son nombre d' Erdős est Travaux Notes et références Liens externes Page personnelle à l' université Cornell Mathématicien américain de le XXe siècle Mathématicien américain de le XXIe siècle Logicien américain Professeur à l' université Cornell Membre de l' American Mathematical Society Gödel Lecturer Naissance en août