Saltar para o conteúdo

Robert Irving Soare

Origem: Wikipédia, a enciclopédia livre.
Robert Irving Soare
Robert Irving Soare
Nacionalidade Povo dos Estados Unidos
Orientador(es)(as) Anil Nerode[1]
Instituições Universidade de Chicago
Campo(s) Matemática

Robert Irving Soare é um matemático estadunidense, professor da Universidade de Chicago desde 1967.

Provou, juntamente com Carl Jockusch, o teorema da base baixa (low basis theorem), trabalhando com lógica matemática, principalmente na área da teoria da computabilidade.

Em 2012 foi eleito fellow da American Mathematical Society.[2]

Foi palestrante convidado do Congresso Internacional de Matemáticos em Helsinque (1978).

Publicações selecionadas

[editar | editar código-fonte]
  • Soare, R. (1987). Recursively enumerable sets and degrees. Col: Perspectives in Mathematical Logic. [S.l.]: Springer-Verlag. ISBN 3-540-15299-7 
  • CG Jockusch, Jr and RI Soare, "Π(0, 1) Classes and Degrees of Theories" in Transactions of the American Mathematical Society (1972).[1]

Referências

Ligações externas

[editar | editar código-fonte]