Andreas Blass
Andreas R. Blass | |
|---|---|
 Blass en 2008 | |
| Nacido | 27 de octubre de 1947 (edad ( 27 de octubre de 1947 )76) |
| Nacionalidad | Americano |
| Conocido por | teoría de conjuntos , lógica matemática , informática teórica |
| Carrera científica | |
| 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 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]
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 . 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:
- Blass, Andreas (1984), "La existencia de bases implica el axioma de elección" (PDF) , Teoría de conjuntos axiomáticos , Contemporary Mathematics volumen 31, Providence, RI: American Mathematical Society , pp. 31–33, ISBN 0-8218-5026-1, Sr. 0763890
- Blass, Andreas; Shelah, Saharon (1987). "Puede haber puntos - y - simples y el ordenamiento de Rudin-Keisler puede estar dirigido 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). "Una semántica de juegos para 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) . Bull. Eur. Assoc. Theor. Comput. Sci. EATCS . 81 : 195–225 . Consultado el 28 de abril de 2008 .
Referencias
- ^ "Ganadores individuales y por equipos de la Competencia Putnam". Asociación Matemática de Estados Unidos . Consultado el 12 de diciembre de 2021 .
- ^ Andreas Blass en el Proyecto de Genealogía Matemática
- ^ Lista de miembros de la Sociedad Americana de Matemáticas
Enlaces externos
- La página de Blass en la UM
   | Este artículo sobre un matemático estadounidense es un esbozo . Puedes ayudar a Wikipedia expandiéndolo. |
