Biography:Benedikt Löwe
Benedikt Löwe | |
|---|---|
 Benedikt Löwe in Prague, August 2019 | |
| Born | 1972 |
| Alma mater | University of Tübingen, Humboldt University of Berlin |
| Scientific career | |
| Fields | Mathematics, Logic |
| Thesis | Blackwell Determinacy (2001) |
| Doctoral advisors | Ronald Jensen Donald Anthony Martin |
Benedikt Löwe (born 1972) is a German mathematician and logician working at the universities of Amsterdam, Hamburg, and Cambridge.[1] He is known for his work on mathematical logic and the foundations of mathematics, as well as for initiating the interdisciplinary conference series Foundations of the Formal Sciences (FotFS; 1999–2013) and Computability in Europe (CiE; since 2005).[2]
Biography
Löwe studied mathematics and philosophy at the universities of Hamburg, Tübingen, HU Berlin, and Berkeley. In 2001, he completed his PhD entitled Blackwell Determinacy about determinacy under supervision of Donald A. Martin and Ronald Björn Jensen.[3] He works at the Institute for Logic, Language and Computation of the University of Amsterdam since 2003 and was appointed professor for mathematical logic and interdisciplinary applications of logic at the University of Hamburg in 2009.[4] Currently, he is also an extraordinary fellow at Churchill College of the University of Cambridge.[5] Löwe was Managing Editor of the journal Mathematical Logic Quarterly from 2011 to 2022.[6]
He is the Secretary General of the Division for Logic, Methodology and Philosophy of Science and Technology of the International Union of History and Philosophy of Science and Technology[7] and a member of the International Academy for Philosophy of Science[8] and the Academia Europaea.[9] From 2012 to 2022, he was the President of the German Association for Mathematical Logic and for Basic Research in the Exact Sciences (DVMLG).
Co-edited Volumes (a selection)
- 2006. Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 – July 5, 2006; proceedings. Co-edited with Arnold Beckmann, Ulrich Berger and John V. Tucker.
- 2008. Games, scales, and Suslin cardinals. Co-edited with Alexander S. Kechris and John R. Steel. Cambridge : Cambridge University
- 2008. Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15 – 20, 2008; proceedings. Co-edited with Arnold Beckmann and Costas Dimitracopoulos. Berlin; Heidelberg [u.a.] : Springer
- 2011. Wadge Degrees and Projective Ordinals The Cabal Seminar Volume II. Co-edited with Alexander S. Kechris and John R. Steel.
References
- ↑ "UHH: Website Benedikt Löwe". https://www.math.uni-hamburg.de/home/loewe/.
- ↑ "Foundations of the Formal Sciences". http://www.math.uni-bonn.de/people/fotfs/. "Computability in Europe Conference Series". 8 August 2016. http://www.acie.eu/cie-conference-series/.
- ↑ Benedikt Löwe at the Mathematics Genealogy Project
- ↑ "UvA ILLC: Logic & Computation". https://www.illc.uva.nl/Research/Programmes/loco/. "UHH: Arbeitsgruppe ML". https://www.math.uni-hamburg.de/spag/ml/.
- ↑ "Churchill College: Website Benedikt Löwe". https://www.chu.cam.ac.uk/people/view/benedikt-lowe/.
- ↑ "Wiley: MLQ Editorial Board". https://onlinelibrary.wiley.com/page/journal/15213870/homepage/2256_edbd.html.
- ↑ "DLMPST/IUHPST: Council Members 2016-2019". http://www.dlmpst.org/pages/council/council-2016-2019.php.
- ↑ "International Academy of the Philosophy of Science: BENEDIKT LÖWE". https://www.aips.be/en/benedikt-lowe.
- ↑ "Academy of Europe: Benedikt Löwe". https://www.ae-info.org/ae/Member/L%C3%B6we_Benedikt.
 |  |
