stringtranslate.com

Jouko Väänänen

Jouko Antero Väänänen (nacido el 3 de septiembre de 1950 en Rovaniemi , Laponia ) [1] es un lógico matemático finlandés conocido por sus contribuciones a la teoría de conjuntos , [2] [3] [4] [5] teoría de modelos , [6] [7] [8] lógica [9] [10] [11] y fundamentos de las matemáticas . [5] [12] Se desempeñó como vicerrector de la Universidad de Helsinki , [13] y profesor de matemáticas en la Universidad de Helsinki, así como profesor de lógica matemática y fundamentos de las matemáticas en la Universidad de Ámsterdam . [14] [15] Completó su doctorado en la Universidad de Manchester bajo la supervisión de Peter Aczel en 1977 con la tesis doctoral titulada "Aplicaciones de la teoría de conjuntos a cuantificadores generalizados". [16] Fue elegido miembro de la Academia Finlandesa de Ciencias y Letras en 2002. [17] Se desempeñó como miembro del Senado de la Universidad de Helsinki de 2004 a 2006 y como Tesorero de la Sociedad Matemática Europea de 2007 a 2014, [18] así como Tesorero de la Sociedad Europea de Teoría de Conjuntos [19] desde 2012. Jouko Väänänen recibió el Premio de la Fundación Magnus Ehrnrooth en matemáticas el 29 de abril de 2024. [20]

Publicaciones

Libros

Véase también

Referencias

  1. ^ "CURRICULUM VITAE". http://www.math.helsinki.fi/logic/people/jouko.vaananen/mevita.Sept2010.pdf. Departamento de Matemáticas y Estadística de la Universidad de Helsinki, FINLANDIA. Web. 20 de marzo de 2014. <http://www.math.helsinki.fi/logic/people/jouko.vaananen/mevita.Sept2010.pdf>.
  2. ^ J. Väänänen, Definibilidad teórica de conjuntos de lógicas. En J. Barwise y S. Feferman , editores, Model Theoretic Logics, páginas 599-643, Springer, 1985.
  3. ^ J. Stavi y J. Väänänen, Principios de reflexión para el continuo. Lógica y álgebra, ed. Yi Zhang, págs. 59-84, Matemáticas contemporáneas, vol. 302, AMS, 2002.
  4. ^ M. Dzamonja y J. Väänänen, Una familia de árboles sin ramas incontables, Topology Proceedings vol. 28:1, 2004, 113-132.
  5. ^ ab J. Väänänen, ¿Lógica de segundo orden o teoría de conjuntos?, Boletín de lógica simbólica , 18(1), 91-121, 2012.
  6. ^ J. Väänänen, Modelos con valores booleanos y cuantificadores generalizados, Annals of Mathematical Logic, 79, páginas 193-225, 1980.
  7. ^ T. Hyttinen y J. Väänänen, Sobre árboles de Scott y Karp de modelos incontables, Journal of Symbolic Logic 55(3):897-908, 1990.
  8. ^ por J. Väänänen, Modelos y juegos, Cambridge Studies in Advanced Mathematics (n.º 132) Cambridge University Press, 2011, págs. 380.
  9. ^ ab J. Väänänen, Dependence Logic, Textos estudiantiles de la London Mathematical Society (n.º 70) Cambridge University Press, 2007, págs. 240.
  10. ^ M. Magidor y J. Väänänen, Sobre los números de Löwenheim-Skolem-Tarski para extensiones de la lógica de primer orden, Journal of Mathematical Logic , 11(1), 87-113, 2011.
  11. ^ E. Grädel y J. Väänänen, Dependencia e independencia, Studia Logica : Volumen 101, Número 2 (2013), Páginas 233-236.
  12. ^ J. Väänänen, Lógica de segundo orden y fundamentos de las matemáticas, Boletín de lógica simbólica, volumen 7, número 4, diciembre de 2001.
  13. ^ El profesor Jouko Väänänen nombrado vicerrector de la Universidad de Helsinki
  14. ^ Jouko Väänänen en la Universidad de Helsinki
  15. ^ Jouko Väänänen en la Universidad de Amsterdam
  16. ^ "Aplicaciones de la teoría de conjuntos a cuantificadores generalizados". Archivado desde el original el 23 de diciembre de 2012. Consultado el 5 de junio de 2013 .
  17. ^ Miembros de la Academia Finlandesa de Ciencias y Letras Archivado el 7 de octubre de 2015 en Wayback Machine.
  18. ^ Comité Ejecutivo del SME
  19. ^ Sociedad Europea de Teoría de Conjuntos
  20. ^ Premio de la Fundación Magnus Ehrnrooth al profesor Jouko Väänänen

Enlaces externos