Andreas Blass

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Andreas Blass
Matemática
Andreas Blass na conferência "Boise Extravaganza in Set Theory BEST 17", Boise, março de 2008
Nacionalidade Estados Unidos Estadunidense
Nascimento 27 de outubro de 1947 (66 anos)
Local Nuremberg
Atividade
Campo(s) Matemática
Instituições Universidade de Michigan
Alma mater Universidade Harvard
Tese 1970: Orderings of Ultrafilters
Orientador(es) Frank Wattenberg

Andreas Raphael Blass (Nuremberg, 27 de outubro de 1947) é um matemático estadunidense.

É atualmente professor da Universidade de Michigan. Especialista em lógica matemática, particularmente teoria dos conjuntos e ciência computacional teórica.

Blass é graduado na Universidade de Detroit Mercy, onde foi fellow Putnam. Doutorado em 1970 na Universidade Harvard, com a tese Orderings of Ultrafilters, orientado por Frank Wattenberg.[1] É professor da Universidade de Michigan desde 1970, primeiro como T.H. Hildebrandt Research Instructor (1970–1972), então professor assistente (1972–1976), professor associado (1976–1984) e desde 1984 como professor integral.

Publicações selecionadas[editar | editar código-fonte]

Em 1984 Blass provou que a existência de uma base para todo espaço vetorial é equivalente ao axioma da escolha. Blass contribuiu de forma decisiva no desenvolvimento da teoria dos conjuntos dos reais e forçamento.

Publicou ca. 175 artigos sobre lógica matemática e ciência computacional teórica, incluindo:

  • Blass, Andreas. (1984). "Axiomatic set theory, Proc. AMS-IMS-SIAM Jt. Summer Res. Conf., Boulder/Colo. 1983, Contemp. Math. 31.": 31–34.
  • Blass, Andreas; Shelah, Saharon. (1987). "There may be simple P_{\aleph_1}- and P_{\aleph_2}-points and the Rudin-Keisler ordering may be downward directed". Annals of Pure and Applied Logic 33: 213–243.
  • Blass, Andreas. (1992). "A game semantics for linear logic". Annals of Pure and Applied Logic 56: 183–220. DOI:10.1016/0168-0072(92)90073-9.
  • Blass, Andreas; Gurevich, Yuri. (2003). "Algorithms: a quest for absolute definitions" (pdf). Bull. Eur. Assoc. Theor. Comput. Sci. EATCS 81: 195–225.

Referências

Ligações externas[editar | editar código-fonte]

O Commons possui uma categoria contendo imagens e outros ficheiros sobre Andreas Blass
Ícone de esboço Este artigo sobre um(a) matemático(a) é um esboço. Você pode ajudar a Wikipédia expandindo-o.