| Property |
Value |
| dbo:abstract
|
- Richard Arnold Shore (né le 18 août 1946) est un mathématicien logicien américain qui travaille surtout en théorie de la récursivité. 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 (« Priority Arguments in Alpha-Recursion Theory »), 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 (juin 2012). Shore donne un contre-exemple à la conjecture d'homogénéité de (en) 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 (« The Degrees of Unsolvability: the Ordering of Functions by Relative Computability »). En 2009, il est Gödel Lecturer (« Reverse Mathematics: the playground of logic »). 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. (fr)
- Richard Arnold Shore (né le 18 août 1946) est un mathématicien logicien américain qui travaille surtout en théorie de la récursivité. 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 (« Priority Arguments in Alpha-Recursion Theory »), 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 (juin 2012). Shore donne un contre-exemple à la conjecture d'homogénéité de (en) 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 (« The Degrees of Unsolvability: the Ordering of Functions by Relative Computability »). En 2009, il est Gödel Lecturer (« Reverse Mathematics: the playground of logic »). 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. (fr)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:citizenship
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4572 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1977 (xsd:integer)
- 1997 (xsd:integer)
- 2107 (xsd:integer)
|
| prop-fr:annéePremièreÉdition
| |
| prop-fr:auteur
| |
| prop-fr:auteurOuvrage
| |
| prop-fr:collection
|
- Texts in Computer Science (fr)
- Memoirs of the American Mathemactial Society (fr)
- Texts in Computer Science (fr)
- Memoirs of the American Mathemactial Society (fr)
|
| prop-fr:fr
|
- Hartley Rogers (fr)
- Hartley Rogers (fr)
|
| prop-fr:isbn
| |
| prop-fr:langue
| |
| prop-fr:lireEnLigne
| |
| prop-fr:numéroD'édition
| |
| prop-fr:numéroDansCollection
| |
| prop-fr:pagesTotales
|
- vi + 101 (fr)
- xiii+456 (fr)
- vi + 101 (fr)
- xiii+456 (fr)
|
| prop-fr:passage
| |
| prop-fr:titre
|
- Logic for Applications (fr)
- alpha-Recursion theory (fr)
- Induction, Bounding, Weak Combinatorial Principles, and The Homogeneous Model Theorem (fr)
- Logic for Applications (fr)
- alpha-Recursion theory (fr)
- Induction, Bounding, Weak Combinatorial Principles, and The Homogeneous Model Theorem (fr)
|
| prop-fr:titreOuvrage
|
- Handbook of mathematical logic (fr)
- Handbook of mathematical logic (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
|
- Springer (fr)
- North Holland (fr)
- American Mathematical Society, Providence, R.I. (fr)
- Springer (fr)
- North Holland (fr)
- American Mathematical Society, Providence, R.I. (fr)
|
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Richard Arnold Shore (né le 18 août 1946) est un mathématicien logicien américain qui travaille surtout en théorie de la récursivité. 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 (« Priority Arguments in Alpha-Recursion Theory »), 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 (fr)
- Richard Arnold Shore (né le 18 août 1946) est un mathématicien logicien américain qui travaille surtout en théorie de la récursivité. 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 (« Priority Arguments in Alpha-Recursion Theory »), 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 (fr)
|
| rdfs:label
|
- Richard Shore (fr)
- Richard Shore (en)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:cinematography
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
