Andreas Blass - Andreas Blass
Andreas R. Blass | |
|---|---|
 Prof. Andreas Blass dando una charla durante la conferencia "Boise Extravaganza in Set Theory BEST 17", Boise, Idaho , marzo de 2008
| |
| Nació | 27 de octubre de 1947 |
| Nacionalidad |
 Estados Unidos
|
| Conocido por | teoría de conjuntos , lógica matemática , informática teórica . |
| Carrera científica | |
| Los campos | Matemático |
| Instituciones | Universidad de Michigan |
| Asesor de doctorado | Frank Wattenberg |
Andreas Raphael Blass (nacido el 27 de octubre de 1947) es un matemático, actualmente profesor en la Universidad de Michigan . Trabaja en lógica matemática , en particular teoría de conjuntos e informática teórica .
Blass se graduó de la Universidad de Detroit , donde fue becario de Putnam , en 1966 con una licenciatura en física . Recibió su Ph.D. en 1970 de la Universidad de Harvard , con una tesis sobre pedidos de ultrafiltros escrita bajo la supervisión de Frank Wattenberg. Desde 1970 ha estado empleado por la Universidad de Michigan, primero como Instructor de Investigación de TH Hildebrandt (1970–72), luego profesor asistente (1972–76), profesor asociado (1976–84) y desde 1984 ha sido profesor titular allí.
En 2014, se convirtió en miembro de la American Mathematical Society.
Publicaciones y resultados seleccionados
En 1984 Blass demostró que la existencia de una base para cada espacio vectorial es equivalente al axioma de elección . Hizo importantes contribuciones en el desarrollo de la teoría de conjuntos de los reales y el forzamiento .
Blass fue el primero en señalar las conexiones entre la semántica del juego y la lógica lineal .
Es autor de más de 200 artículos de investigación en lógica matemática e informática teórica, que incluyen:
- Blass, Andreas (1984), "La existencia de bases implica el axioma de elección", Teoría de conjuntos axiomáticos (PDF) , Contemporary Mathematics volumen 31, Providence, RI: American Mathematical Society , pp. 31-33, ISBN 0-8218-5026-1, MR 0763890
- Blass, Andreas; Shelah, Saharon (1987). "Puede ser simple - y -puntos y el ordenamiento Rudin-Keisler puede ser dirigida hacia abajo". Anales de lógica pura y aplicada . 33 : 213–243. doi : 10.1016 / 0168-0072 (87) 90082-0 . hdl : 2027,42 / 26916 .
- Blass, Andreas (1992). "Un juego de semántica de lógica lineal". Anales de lógica pura y aplicada . 56 (1-3): 183-220. doi : 10.1016 / 0168-0072 (92) 90073-9 . hdl : 2027,42 / 30097 .
- Blass, Andreas; Gurevich, Yuri (2003). "Algoritmos: una búsqueda de definiciones absolutas" (PDF) . Toro. EUR. Assoc. Theor. Computación. Sci. EATCS . 81 : 195-225 . Consultado el 28 de abril de 2008 .
Referencias
enlaces externos
  
|
Este artículo sobre un matemático estadounidense es un esbozo . Puedes ayudar a Wikipedia expandiéndolo . |