Benedikt Löwe


Benedikt Löwe is a German mathematician and logician working at the
Universities of Amsterdam, Hamburg, and Cambridge.
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 and Computability in Europe.

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.
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.
Currently, he is also a Fellow at Churchill College of the University of Cambridge.
Löwe is Managing Editor of the journal Mathematical Logic Quarterly
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,
a member of the Council of the Association Computability in Europe,
and a member of the International Academy for Philosophy of Science.

Publications

Books, a selection: