Richard Shore

Richard Shore Životopis

Narození	18. srpna 1946
Státní příslušnost	americký
Výcvik	Massachusetts Institute of Technology
Činnosti	Matematik , logik , univerzitní profesor

Jiná informace

Pracoval pro	Cornell University
Člen	Americká matematická společnost
Dozorce	Gerald Sacks
Ocenění	Člen americké matematické společnosti Gödel lektor (2009)

Richard Arnold Shore (narozen dne18. srpna 1946) je americký matematik logik, který pracuje hlavně v teorii rekurze .

Richard Shore získal B. Sc. At Harvard University v roce 1968 pak Ph. D. v roce 1972 v Massachusetts Institute of Technology pod dohledem Gerald E. Pytle ( "  Prioritní Argumenty Alpha-rekurze teorie  " ), kde byl asistent od roku 1968. Byl postdoktorem jako instruktor do roku 1974 na University of Chicago a poté na Cornell University postupně asistentem, docentem od roku 1978 a nakonec profesorem od roku 1983. V roce 2013 byl jmenován profesorem matematiky Goldwin Smith . Byl hostujícím profesorem a hostujícím výzkumníkem mimo jiné na Harvardově univerzitě , na Hebrejské univerzitě v Jeruzalémě , Chicagu, MIT, Singapuru, Sieně, v MSRI a Isaac Newton Institute for Mathematical Sciences v Cambridge (Červen 2012).

Shore dává proti-příklad dohadu homogenity Hartley Rogers  (v), což ukazuje, že jsou stupně Turingova ‚s , b , pro které Turingovy stupeň struktury výše a b nejsou izomorfní. S Theodorem A. Slamanem v roce 1999 demonstroval, že Turingovy skoky jsou definovatelné ve struktuře Turingových stupňů.

Shore je hostujícím lektorem na varšavském mezinárodním kongresu matematiků z roku 1983 ( „  Stupně neřešitelnosti: Řazení funkcí podle relativní vypočítatelnosti  “ ). V roce 2009 byl lektorem Gödel ( „  Reverzní matematika: hřiště logiky  “ ). V letech 1984 až 1993 byl redaktorem časopisu Journal of Symbolic Logic a v letech 1993 až 2000 Bulletin of Symbolic Logic . V roce 2012 se stal Fellow na Americké matematické společnosti . Jeho počet Erd nombres je 2.

Funguje

• Anil Nerode a Richard Shore, Logic for Applications , Springer, al.  "Texty v informatice",1997, 2 nd  ed. ( 1 st  ed. , 1993), xii + 456  s. ( ISBN  978-0-387-94893-5 , číst online )
• Richard Shore, „teorie alfa-rekurze“ , v Jon Barwise (editor), Příručka matematické logiky , Severní Holandsko,1977, str.  653-680
• D. Hirschfeldt, K. Lange a Richard Shore, Induction, Bounding, Weak Combinatorial Principles, and The Homogeneous Model Theorem , American Mathematical Society, Providence, RI, coll.  "Monografie American Society Mathemactial" ( n o  249)2107, vi + 101  str. ( číst online )

Poznámky a odkazy

1. Životopis Richarda Shora .
2. (in) „  Richard Shore  “ na webových stránkách projektu Mathematics Genealogy Project .
3. Richard Shore, „  Domněnka o homogenitě  “, Proceedings National Academy of Sciences , sv.  76,1979, str.  4218–4319
4. Richard Shore a Theodore A. Slaman, „  Definování Turingova skoku,  “ Math. Research Letters , sv.  6,1999, str.  711-722 ( číst online , přístup k 14. dubna 2018 ).
5. Gödel Lectures, Association for Symbolic Logic .
6. Seznam členů Americké matematické společnosti , 18. července 2013.
7. Seznam lidí podle počtu Erdőů .

externí odkazy

• Autoritní záznamy  :
  • Virtuální mezinárodní autoritní soubor
  • Mezinárodní standardní identifikátor jména
  • Francouzská národní knihovna ( údaje )
  • Univerzitní dokumentační systém
  • Knihovna Kongresu
  • Gemeinsame Normdatei
  • Nizozemská královská knihovna
  • Polská univerzitní knihovna
  • Česká národní knihovna
  • ID WorldCat
  • WorldCat
• Osobní stránka na Cornell University