Benedikt Löwe (nacido en 1972) es un matemático y lógico alemán que trabaja en las universidades de Amsterdam , 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 Foundations of the Formal Sciences (FotFS; 1999-2013) y Computability in Europe (CiE; desde 2005). [2]
Benedikt Löwe | |
---|---|
Nació | 1972 |
alma mater | Universidad de Tübingen , Universidad Humboldt de Berlín |
Carrera científica | |
Campos | Matemáticas , Lógica |
Tesis | Determinación de Blackwell (2001) |
Asesor de doctorado | Ronald Jensen , Donald Anthony Martin |
Biografía
Löwe estudió matemáticas y filosofía en las universidades de Hamburgo , Tübingen , HU Berlín y Berkeley . En 2001, completó su doctorado titulado Blackwell Determinacy about determinacy 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 Amsterdam 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 un Miembro del Churchill College de la Universidad de Cambridge . [5] Löwe es editor en jefe de la revista Mathematical Logic Quarterly [6] y editor de las revistas Computability , Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg , Philosophia Scientiae , Studia Logica y Tbilisi Mathematical Journal . Es el 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] miembro del Consejo de la Asociación de Computabilidad en Europa , [8] y miembro de la Academia Internacional de Filosofía de la Ciencia . [9]
Publicaciones
Libros, 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; procedimientos . Editado con Arnold Beckmann, Ulrich Berger y John V. Tucker .
- 2008. Juegos, escalas y cardenales de Suslin . 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; procedimientos . Editado con Arnold Beckmann y Costas Dimitracopoulos. Berlín; Heidelberg [ua]: Springer
- 2011. Grados Wadge y ordinales proyectivos El Seminario Cabal Volumen II . 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 ."Computability in Europe Conference Series" . Consultado el 19 de julio de 2019 .
- ^ Benedikt Löwe en el Proyecto de genealogía matemática
- ^ "UvA ILLC: lógica y computación" . Consultado el 21 de julio de 2019 ."UHH: Arbeitsgruppe ML" . Consultado el 21 de julio de 2019 .
- ^ "Churchill College: sitio web Benedikt Löwe" . Consultado el 21 de julio de 2019 .
- ^ "Wiley: Junta editorial de MLQ" . Consultado el 21 de julio de 2019 .
- ^ "DLMPST / IUHPST: Consejeros 2016-2019" . Consultado el 21 de julio de 2019 .
- ^ "ACiE: Estructura de gobierno actual" . Consultado el 21 de julio de 2019 .
- ^ "AIPS: Les Membres avec références académiques" . Consultado el 21 de julio de 2019 .