La conjecture d'homogénéité de Rogers, un problème de longue date concernant l'ordre partiel des degrés de Turing, a été résolue par Richard Arnold Shore. Né en 1946, il a établi que les structures des degrés de Turing au-dessus de points spécifiques ne sont pas isomorphes, apportant une réponse définitive à une question qui défiait la communauté des logiciens depuis des décennies.
Parcours académique
Shore a complété sa formation dans deux institutions majeures, le Massachusetts Institute of Technology et l'Université Harvard. Ces années d'études l'ont préparé à une carrière centrée sur la théorie de la récursion, un domaine qui examine la calculabilité des fonctions et la structure des problèmes insolubles au sein de la logique mathématique.
Contributions à la logique
Au-delà de ses travaux sur la conjecture de Rogers, Shore a collaboré avec Theodore Slaman pour prouver la définissabilité du saut de Turing au sein de l'ordre partiel des degrés de Turing. Ses recherches portent fréquemment sur la complexité structurelle de ces degrés, contribuant à la compréhension mathématique de la calculabilité relative et de la hiérarchie de l'insolubilité.
Nominations professionnelles et services
Tout au long de sa carrière, Shore a maintenu une présence significative à l'Université Cornell, où il a été membre de la faculté de 1983 à 2013. Il a également contribué à l'administration de la logique par le biais de divers rôles éditoriaux, notamment ses mandats au Journal of Symbolic Logic entre 1984 et 1993 et au Bulletin of Symbolic Logic de 1993 à 2000.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →Reconnaissances et prix
Shore a été reconnu par la communauté mathématique pour ses contributions au domaine. Il a été conférencier invité au Congrès international des mathématiciens tenu à Varsovie en 1983, où il a présenté ses travaux sur l'ordonnancement des fonctions par calculabilité relative. En 2009, il a été sélectionné comme conférencier Gödel, prononçant un discours intitulé « Reverse mathematics: the playground of logic ». Il est devenu membre de l'American Mathematical Society en 2012.
Faits marquants
- Naissance : 1946 - Nationalité : États-Unis - Domaine principal : Théorie de la récursion - Institution académique : Université Cornell (1983-2013) - Conférencier Gödel : 2009 - Membre de l'American Mathematical Society : 2013
Questions fréquentes
### Où Richard Shore a-t-il étudié ?
Il a obtenu ses diplômes au Massachusetts Institute of Technology et à l'Université Harvard.
### Quel est le domaine de recherche principal de Richard Shore ?
C'est un logicien et mathématicien connu pour ses travaux sur la théorie de la récursion et l'ordre partiel des degrés de Turing.
