Benedikt Löwe | |
---|---|
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 MAE (born 1972) is a German mathematician and logician working at the universities of 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]
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 worked at the Institute for Logic, Language and Computation of the University of Amsterdam from 2003 to 2023. In 2009, he was appointed professor for mathematical logic and interdisciplinary applications of logic at the University of Hamburg[4] and 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 was the President of the German Association for Mathematical Logic and for Basic Research in the Exact Sciences (DVMLG) from 2012 to 2022 and 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] from 2015 to 2023. Since 2023, he is one of the Vice Presidents of the International Council for Philosophy and Humanistic Studies (CIPSH).[8]
He is a member of the International Academy for Philosophy of Science,[9] the Academia Europaea (MAE),[10] the Akademie der Wissenschaften in Hamburg,[11] and a Fellow of the International Science Council (FISC).[12]