matemático y lógico alemán
Benedikt Löwe (nacido en 1972) es un matemático y lógico alemán que trabaja en las universidades de Ámsterdam , 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]
Trabaja en el Instituto de Lógica, Lenguaje y Computación de la Universidad de Ámsterdam desde 2003 y fue nombrado profesor de lógica matemática y aplicaciones interdisciplinarias de la lógica en la Universidad de Hamburgo en 2009. [4]
Actualmente, también es profesor Fellow 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]
Es 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]
y miembro de la Academia Internacional de Filosofía de la Ciencia [8]
y de la Academia Europaea . [9]
De 2012 a 2022 fue presidente de la Asociación Alemana de Lógica Matemática y de Investigación Básica en Ciencias Exactas (DVMLG).
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, balanzas 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 .
- ^ "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 .