Benedikt Löwe

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]

Benedikt Löwe
Benedikt Löwe in Prague, August 2019
Born1972
Alma materUniversity of Tübingen, Humboldt University of Berlin
Scientific career
FieldsMathematics, Logic
ThesisBlackwell Determinacy (2001)
Doctoral advisorRonald Jensen, Donald Anthony Martin

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 a Fellow at Churchill College of the University of Cambridge.[5] Löwe is Managing Editor of the journal Mathematical Logic Quarterly[6] and editor of the journals Computability, Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, Philosophia Scientiae, Studia Logica, and Tbilisi Mathematical Journal. 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] a member of the Council of the Association Computability in Europe,[8] and a member of the International Academy for Philosophy of Science.[9]


Publications

Books, a selection:

  • 2006. Logical approaches to computational barriers : Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30 – July 5, 2006; proceedings. Edited with Arnold Beckmann, Ulrich Berger and John V. Tucker.
  • 2008. Games, scales, and Suslin cardinals. 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. Edited with Arnold Beckmann and Costas Dimitracopoulos. Berlin ; Heidelberg [u.a.] : Springer
  • 2011. Wadge Degrees and Projective Ordinals The Cabal Seminar Volume II. With Alexander S. Kechris and John R. Steel.
gollark: ++tel graph
gollark: The bourgeoise truly are very much.
gollark: CONSUME apioids.
gollark: I wonder what Testbot thinks of the anomalous unicode and such in mentions.
gollark: Syl you.

References
  1. "UHH: Website Benedikt Löwe". Retrieved 21 July 2019.
  2. "Foundations of the Formal Sciences". Retrieved 19 May 2013. "Computability in Europe Conference Series". Retrieved 19 July 2019.
  3. Benedikt Löwe at the Mathematics Genealogy Project
  4. "UvA ILLC: Logic & Computation". Retrieved 21 July 2019. "UHH: Arbeitsgruppe ML". Retrieved 21 July 2019.
  5. "Churchill College: Website Benedikt Löwe". Retrieved 21 July 2019.
  6. "Wiley: MLQ Editorial Board". Retrieved 21 July 2019.
  7. "DLMPST/IUHPST: Council Members 2016-2019". Retrieved 21 July 2019.
  8. "ACiE: Current Governance Structure". Retrieved 21 July 2019.
  9. "AIPS: Les Membres avec références académiques". Retrieved 21 July 2019.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.