Richard Arnold Shore
| Richard Arnold Shore | |
|---|---|
 | |
| Nascimento | 18 de agosto de 1946 (78 anos) |
| Nacionalidade |  Estadunidense
|
| Alma mater | Instituto de Tecnologia de Massachusetts |
| Prêmios | Gödel Lecturer (2009) |
| Orientador(es)(as) | Gerald Sacks[1] |
| Instituições | Universidade de Chicago, Universidade Cornell |
| Campo(s) | Lógica matemática |
| Tese | 1972: Priority Arguments in Alpha-Recursion Theory |
| Notas | «Página pessoal» (em inglês) na Universidade Cornell |
Richard Arnold Shore (18 de agosto de 1946) é um lógico matemático estadunidense. Trabalha principalmente com teoria da computabilidade.
Shore obteve um doutorado em 1972 no Instituto de Tecnologia de Massachusetts, orientado por Gerald Sacks, com a tese Priority Arguments in Alpha-Recursion Theory, onde foi a partir de 1968 assistente. Como pós-doutorado foi até 1974 instrutor na Universidade de Chicago e depois Professor Assistente, em 1978 Professor Associado e a partir de 1983 Professor da Universidade Cornell. Foi pesquisador visitante e professor visitante dentre outras na Universidade Harvard, Universidade Hebraica de Jerusalém, Universidade de Chicago, Instituto de Tecnologia de Massachusetts, Singapura, Siena e no Mathematical Sciences Research Institute.
Foi palestrante convidado (Invited Speaker) no Congresso Internacional de Matemáticos de 1983 em Varsóvia (The Degrees of Unsolvability: the Ordering of Functions by Relative Computability). Em 2009 foi Gödel Lecturer (Reverse Mathematics: the playground of logic). De 1984 a 1993 foi editor do periódico Journal of Symbolic Logic e de 1993 a 2000 do Bulletin of Symbolic Logic. É fellow da American Mathematical Society.
Obras
- com Anil Nerode: Logic for Applications, Springer, 1993
- alpha-Recursion theory, in Jon Barwise (Editor): Handbook of mathematical logic, North Holland, 1977, p. 653
Referências
- ↑ Richard Arnold Shore (em inglês) no Mathematics Genealogy Project
