Affiliated Lecturer.
Professor Benedikt Löwe is a Fellow at Churchill College, a Bye-Fellow at Lucy Cavendish College and St Edmund's College, a Postgraduate Tutor at Churchill College, a Director of Studies for Mathematics at Lucy Cavendish & St Edmund's College, and an Affiliated Lecturer of DPMMS. He is the Subject Advisor for Foundations in Part III; in the academical year 2024-25, he lectures Automata & Formal Languages (Part II, Michaelmas 2024) and Forcing and the Continuum Hypothesis (Part III, Lent 2025).
He is also affiliated with the Fachbereich Mathematik at the Universität Hamburg.
Research Interests: Mathematical Logic, Set Theory, Philosophy of Mathematics.
Publications
The Bolzano-Weierstrass theorem in generalised analysis
– Houston Journal of Mathematics
(2018)
44,
1081
Koepke Machines and Satisfiability for Infinitary Propositional Languages
– UNVEILING DYNAMICS AND COMPLEXITY, CIE 2017
(2017)
10307 LNCS,
187
(doi: 10.1007/978-3-319-58741-7_19)
History and philosophy of infinity: Selected papers from the conference “Foundations of the Formal Sciences VIII” held at Corpus Christi College, Cambridge, England, 20–23 September 2013
– Synthese
(2015)
192,
2339
(doi: 10.1007/s11229-015-0857-3)
Turing Centenary Conference: How the World Computes.
– Ann. Pure Appl. Log.
(2014)
165,
1353
(doi: 10.1016/j.apal.2014.04.007)
Computability in Europe 2010
– Annals of Pure and Applied Logic
(2012)
163,
621
(doi: 10.1016/j.apal.2011.10.005)
- <
- 2 of 2