Die Rogers-Homogenitätsvermutung, ein langjähriges Problem bezüglich der Halbordnung der Turing-Grade, wurde von Richard Arnold Shore gelöst. Er wurde 1946 geboren und bewies, dass die Strukturen der Turing-Grade oberhalb bestimmter Punkte nicht isomorph sind, was eine endgültige Antwort auf eine Frage lieferte, die die Logik-Gemeinschaft jahrzehntelang beschäftigt hatte.
Akademischer Hintergrund
Shore absolvierte seine formale Ausbildung an zwei bedeutenden Institutionen, dem Massachusetts Institute of Technology und der Harvard University. Diese Studienjahre bereiteten ihn auf eine Karriere vor, die sich auf die Rekursionstheorie konzentrierte, ein Gebiet, das die Berechenbarkeit von Funktionen und die Struktur unlösbarer Probleme innerhalb der mathematischen Logik untersucht.
Beiträge zur Logik
Über seine Arbeit an der Rogers-Vermutung hinaus arbeitete Shore mit Theodore Slaman zusammen, um die Definierbarkeit des Turing-Sprungs innerhalb der Halbordnung der Turing-Grade zu beweisen. Seine Forschung konzentriert sich häufig auf die strukturelle Komplexität dieser Grade und trägt zum mathematischen Verständnis der relativen Berechenbarkeit und der Hierarchie der Unlösbarkeit bei.
Berufliche Laufbahn und Dienste
Während seines gesamten Berufslebens war Shore an der Cornell University tätig, wo er von 1983 bis 2013 Mitglied der Fakultät war. Er trug auch durch verschiedene redaktionelle Rollen zur Verwaltung der Logik bei, darunter seine Amtszeiten beim Journal of Symbolic Logic zwischen 1984 und 1993 und beim Bulletin of Symbolic Logic von 1993 bis 2000.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Anerkennungen und Auszeichnungen
Shore wurde von der mathematischen Gemeinschaft für seine Beiträge zum Fachgebiet anerkannt. Er war eingeladener Redner auf dem Internationalen Mathematikerkongress 1983 in Warschau, wo er über die Ordnung von Funktionen nach relativer Berechenbarkeit sprach. Im Jahr 2009 wurde er als Gödel-Dozent ausgewählt und hielt einen Vortrag mit dem Titel „Reverse mathematics: the playground of logic“. Im Jahr 2012 wurde er Fellow der American Mathematical Society.
Fakten
- Geboren: 1946 - Staatsangehörigkeit: Vereinigte Staaten - Hauptgebiet: Rekursionstheorie - Akademische Heimat: Cornell University (1983-2013) - Gödel-Dozent: 2009 - Fellow der American Mathematical Society: 2013
Häufige Fragen
### Wo hat Richard Shore studiert?
Er erwarb seine Abschlüsse am Massachusetts Institute of Technology und an der Harvard University.
### Was ist das Hauptforschungsgebiet von Richard Shore?
Er ist Logiker und Mathematiker, bekannt für seine Arbeit in der Rekursionstheorie und der Halbordnung der Turing-Grade.
