Richard Shore - Richard Shore
Richard A. Shore | |
---|---|
narozený | 18. srpna 1946 | (stáří74)
Státní občanství | americký |
Alma mater | MIT |
Vědecká kariéra | |
Pole | Matematika |
Instituce | Cornell University |
Teze | Argumenty priority v teorii alfa rekurze (1972) |
Doktorský poradce | Gerald E. Pytle |
Richard Arnold Shore (narozený 18 srpna 1946) je profesorem matematiky na Cornell University kdo pracuje v teorie rekurze. On je zvláště známý pro jeho práci na , dílčí pořadí Turingovy stupně.
- Shore urovnal Rogersovu domněnku homogenity tím, že ukázal, že existují Turingovy stupně a takhle a , struktury výše uvedených stupňů a nejsou izomorfní.[1]
- Ve společné práci s Theodore Slaman, Shore ukázal, že Turingův skok je definovatelný v .[2]
Byl v roce 1983 pozvaný řečník na Mezinárodním kongresu matematiků ve Varšavě a promluvil Stupně neřešitelnosti: Řazení funkcí podle relativní vypočítatelnosti. V roce 2009 byl lektorem Gödel (Reverzní matematika: hřiště logiky).[3] V letech 1984 až 1993 působil jako redaktor časopisu Journal of Symbolic Logic a od roku 1993 do roku 2000 Bulletin of Symbolic Logic. V roce 2012 se stal členem Americká matematická společnost.[4]
Reference
- ^ Shore, R.A. (1979). „Domněnka o homogenitě“. Sborník Národní akademie věd Spojených států amerických. 76 (9): 4218–4219. doi:10.1073 / pnas.76.9.4218. JSTOR 70054. PMC 411543. PMID 16592707.
- ^ Shore, R.A .; Slaman, T.A. (1999). „Definování Turingova skoku“ (PDF). Matematika. Res. Lett. 6 (5–6): 711–722. Archivovány od originál (PDF) dne 2008-07-09. Citováno 2008-07-14.
- ^ Gödel Lectures, Association for Symbolic Logic
- ^ Seznam členů Americké matematické společnosti, vyvoláno 2013-07-18.
externí odkazy
Tento článek o americkém matematikovi je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |