Andreas Blass - Andreas Blass
Andreas R. Blass | |
|---|---|
 Prof. Andreas Blass dando uma palestra durante a conferência "Boise Extravaganza in Set Theory BEST 17", Boise, Idaho , março de 2008
| |
| Nascer | 27 de outubro de 1947 |
| Nacionalidade |
 Estados Unidos
|
| Conhecido por | teoria dos conjuntos , lógica matemática , ciência da computação teórica . |
| Carreira científica | |
| Campos | Matemático |
| Instituições | Universidade de Michigan |
| Orientador de doutorado | Frank Wattenberg |
Andreas Raphael Blass (nascido em 27 de outubro de 1947) é um matemático, atualmente professor da Universidade de Michigan . Ele trabalha com lógica matemática , particularmente teoria dos conjuntos e ciência da computação teórica .
Blass se formou na Universidade de Detroit , onde foi Putnam Fellow , em 1966, com bacharelado em física . Ele recebeu seu Ph.D. em 1970, na Universidade de Harvard , com uma tese sobre Pedidos de Ultrafiltros escrita sob a supervisão de Frank Wattenberg. Desde 1970, ele foi contratado pela Universidade de Michigan, primeiro como Instrutor de Pesquisa TH Hildebrandt (1970–72), depois professor assistente (1972–76), professor associado (1976–84) e desde 1984 é professor titular lá.
Em 2014, ele se tornou um Fellow da American Mathematical Society.
Publicações e resultados selecionados
Em 1984, Blass provou que a existência de uma base para cada espaço vetorial é equivalente ao axioma da escolha . Ele fez contribuições importantes no desenvolvimento da teoria dos conjuntos dos reais e forçantes .
Blass foi o primeiro a apontar conexões entre a semântica do jogo e a lógica linear .
Ele é autor de mais de 200 artigos de pesquisa em lógica matemática e ciência da computação teórica, incluindo:
- Blass, Andreas (1984), "Existência de bases implica o axioma da escolha", Teoria dos conjuntos axiomáticos (PDF) , Contemporary Mathematics volume 31, Providence, RI: American Mathematical Society , pp. 31-33, ISBN 0-8218-5026-1, MR 0763890
- Blass, Andreas; Shelah, Saharon (1987). "Não pode ser simples - e -points ea ordenação Rudin-Keisler pode ser dirigido para baixo". Annals of Pure and Applied Logic . 33 : 213–243. doi : 10.1016 / 0168-0072 (87) 90082-0 . hdl : 2027,42 / 26916 .
- Blass, Andreas (1992). "Uma semântica de jogo para lógica linear". Annals of Pure and Applied Logic . 56 (1–3): 183–220. doi : 10.1016 / 0168-0072 (92) 90073-9 . hdl : 2027,42 / 30097 .
- Blass, Andreas; Gurevich, Yuri (2003). "Algoritmos: uma busca por definições absolutas" (PDF) . Touro. EUR. Assoc. Theor. Comput. Sci. EATCS . 81 : 195–225 . Página visitada em 2008-04-28 .
Referências
links externos
  
|
Este artigo sobre um matemático americano é um esboço . Você pode ajudar a Wikipedia expandindo-a . |