Andreas Raphael Blass (nacido el 27 de octubre de 1947) es un matemático, actualmente profesor de la Universidad de Michigan . Trabaja en lógica matemática , en particular en teoría de conjuntos , y en informática teórica .
Blass se graduó en la Universidad de Detroit , donde fue miembro de 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 ordenamientos de ultrafiltros escrita bajo la supervisión de Frank Wattenberg. [2] Desde 1970 ha trabajado para 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 profesor titular allí.
En 2014, se convirtió en miembro de la American Mathematical Society . [3]
En 1984 Blass demostró que la existencia de una base para cada espacio vectorial es equivalente al axioma de elección . Realizó importantes contribuciones al desarrollo de la teoría de conjuntos de los números reales y forzados .
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 y informática teórica, entre ellos:
