Joseph Robert Shoenfield

Joseph Robert Shoenfield (Detroit, 1927Durham, Carolina do Norte, 15 de novembro de 2000) foi um matemático estadunidense.

Joseph Robert Shoenfield
Nascimento 1927
Detroit
Morte 15 de novembro de 2000 (73 anos)
Durham, Carolina do Norte
Nacionalidade Estados Unidos Estadunidense
Alma mater Universidade de Michigan
Prêmios Gödel Lecturer (1992)
Orientador(es)(as) Raymond Louis Wilder[1]
Campo(s) Matemática
Tese 1953: Models of Formal Systems

Shoenfield obteve um doutorado na Universidade de Michigan em 1953, orientado por Raymond Louis Wilder, com a tese Models of formal systems. Lecionou desde 1952 na Universidade Duke, onde permaneceu até aposentar-se em 1992. De 1970 a 1973 foi diretor da faculdade de matemática. Em 1956/57 esteve no Instituto de Estudos Avançados de Princeton.

Shoenfield trabalhou com teoria da computabilidade, teoria dos modelos e teoria axiomática dos conjuntos. Seu livro-texto sobre lógica matemática é um clássico.[2]

De 1972 a 1976 foi presidente da Association for Symbolic Logic. Em 1992 foi Gödel Lecturer.

  • Mathematical Logic, Addison Wesley 1967, 2ª Edição, Association for Symbolic Logic, 2000
  • Degrees of unsolvability, North Holland Mathematical Studies, 1971
  • Recursion theory, Springer, 1993

Referências

  1. Joseph Robert Shoenfield (em inglês) no Mathematics Genealogy Project
  2. Jockusch, Nachruf im Bulletin of Symbolic Logic 2000
  Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.