Andreas Blass

Matemático germano-estadounidense
Andreas R. Blass
Blass en 2008
Nacido27 de octubre de 1947 (edad  ( 27 de octubre de 1947 )76)
NacionalidadAmericano
Conocido porteoría de conjuntos , lógica matemática , informática teórica
Carrera científica
CamposMatemático
InstitucionesUniversidad de Michigan
Asesor de doctoradoFrank 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 . PAG 1 {\ Displaystyle P _ {\ aleph _ {1}}} PAG 2 {\ Displaystyle P _ {\ aleph _ {2}}}
  • 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

  1. ^ "Ganadores individuales y por equipos de la Competencia Putnam". Asociación Matemática de Estados Unidos . Consultado el 12 de diciembre de 2021 .
  2. ^ Andreas Blass en el Proyecto de Genealogía Matemática
  3. ^ Lista de miembros de la Sociedad Americana de Matemáticas
  • La página de Blass en la UM


Obtenido de "https://es.wikipedia.org/w/index.php?title=Andreas_Blass&oldid=1193799720"