matemático y lógico alemán
Benedikt Löwe MAE (nacido en 1972) es un matemático y lógico
alemán que trabaja en las universidades de Hamburgo y Cambridge . [1]
Es conocido por su trabajo sobre lógica matemática y los fundamentos de las matemáticas , así como por iniciar la serie de conferencias interdisciplinarias Fundamentos de las Ciencias Formales (FotFS; 1999-2013) y Computabilidad en Europa (CiE; desde 2005). [2]
Biografía
Löwe estudió matemáticas y filosofía en las universidades de Hamburgo , Tubinga , HU Berlín y Berkeley . En 2001, completó su doctorado titulado Blackwell Determinacy sobre determinación bajo la supervisión de Donald A. Martin y Ronald Björn Jensen . [3]
Trabajó en el Instituto de Lógica, Lenguaje y Computación de la Universidad de Ámsterdam de 2003 a 2023. En 2009, fue nombrado profesor de lógica matemática y aplicaciones interdisciplinarias de la lógica en la Universidad de Hamburgo [4]
y también es Miembro extraordinario del Churchill College de la Universidad de Cambridge . [5]
Löwe fue editor jefe de la revista Mathematical Logic Quarterly de 2011 a 2022. [6]
Fue presidente de la Asociación Alemana de Lógica Matemática y de Investigación Básica en Ciencias Exactas (DVMLG) de 2012 a 2022 y secretario general de la División de Lógica, Metodología y Filosofía de la Ciencia y la Tecnología de la Unión Internacional de Historia y Filosofía de la Ciencia y la Tecnología [7] de 2015 a 2023. Desde 2023 es uno de los Vicepresidentes del Consejo Internacional de Filosofía y Estudios Humanísticos (CIPSH). [8]
Es miembro de la Academia Internacional de Filosofía de la Ciencia , [9] la Academia Europaea ( MAE ), [10]
la Akademie der Wissenschaften en Hamburgo , [11]
y miembro del Consejo Científico Internacional (FISC). [12]
Volúmenes coeditados (una selección)
- 2006. Enfoques lógicos a las barreras computacionales: Segunda Conferencia sobre Computabilidad en Europa, CiE 2006, Swansea, Reino Unido, 30 de junio - 5 de julio de 2006; diligencias . Coeditado con Arnold Beckmann, Ulrich Berger y John V. Tucker .
- 2008. Juegos, escalas y cardenales de Suslin . Coeditado con Alexander S. Kechris y John R. Steel . Cambridge: Universidad de Cambridge
- 2008. Lógica y teoría de algoritmos: 4ª Conferencia sobre Computabilidad en Europa, CiE 2008, Atenas, Grecia, 15 al 20 de junio de 2008; diligencias . Coeditado con Arnold Beckmann y Costas Dimitracopoulos. Berlina; Heidelberg [ua] : Springer
- 2011. Grados Wadge y Ordinales Proyectivos El Seminario Cabal Volumen II . Coeditado con Alexander S. Kechris y John R. Steel .
Referencias
- ^ "UHH: sitio web Benedikt Löwe" . Consultado el 21 de julio de 2019 .
- ↑ «Fundamentos de las Ciencias Formales» . Consultado el 19 de mayo de 2013 ."Ciclo de conferencias sobre computabilidad en Europa". 8 de agosto de 2016 . Consultado el 19 de julio de 2019 .
- ^ Benedikt Löwe en el Proyecto de genealogía de matemáticas
- ^ "UvA ILLC: lógica y computación" . Consultado el 21 de julio de 2019 ."UHH: ArbeitsgruppeML" . Consultado el 21 de julio de 2019 .
- ^ "Churchill College: sitio web Benedikt Löwe" . Consultado el 21 de julio de 2019 .
- ^ "Wiley: consejo editorial de MLQ" . Consultado el 21 de julio de 2019 .
- ^ "DLMPST/IUHPST: miembros del consejo 2016-2019" . Consultado el 21 de julio de 2019 .
- ^ "Benedikt Löwe - Consejo Internacional de Filosofía y Ciencias Humanas". CIPSH . Consultado el 11 de mayo de 2024 .
- ^ "Academia Internacional de Filosofía de la Ciencia: BENEDIKT LÖWE". AIPS . Consultado el 23 de agosto de 2023 .
- ^ "Academia de Europa: Benedikt Löwe". Academia Europaea . Consultado el 23 de agosto de 2023 .
- ^ "Prof. Dr. Benedikt Löwe". Akademie der Wissenschaften en Hamburgo . Consultado el 11 de mayo de 2024 .
- ^ "Benedikt Löwe - Consejo Científico Internacional". Consejo Científico Internacional . Consultado el 11 de mayo de 2024 .