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 , particularmente teoría de conjuntos , e informática teórica .
Blass se graduó en la Universidad de Detroit , donde fue Putnam Fellow en 1965, [1] en 1966 con una licenciatura en física . Recibió su doctorado. en 1970 de la Universidad de Harvard , con una tesis sobre Ordenamiento de Ultrafiltros escrita bajo la supervisión de Frank Wattenberg. [2] Desde 1970 ha trabajado en la Universidad de Michigan, primero como instructor de investigación TH Hildebrandt (1970–72), luego profesor asistente (1972–76), profesor asociado (1976–84) y desde 1984 ha sido un profesor titular allí.
En 2014, se convirtió en miembro de la Sociedad Estadounidense de Matemáticas . [3]
En 1984 Blass demostró que la existencia de una base para todo 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 de los juegos 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, entre ellos:
