Benedikt Löwe (born 1972) is a German

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...

and

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure o ...

ian working at the universities of

Hamburg Hamburg (, ; ), officially the Free and Hanseatic City of Hamburg,. is the List of cities in Germany by population, second-largest city in Germany after Berlin and List of cities in the European Union by population within city limits, 7th-lar ...

and

Cambridge Cambridge ( ) is a List of cities in the United Kingdom, city and non-metropolitan district in the county of Cambridgeshire, England. It is the county town of Cambridgeshire and is located on the River Cam, north of London. As of the 2021 Unit ...

. He is known for his work on

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

and the

foundations of mathematics Foundations of mathematics are the mathematical logic, logical and mathematics, mathematical framework that allows the development of mathematics without generating consistency, self-contradictory theories, and to have reliable concepts of theo ...

, as well as for initiating the interdisciplinary conference series ''Foundations of the Formal Sciences'' (FotFS; 1999–2013) and '' Computability in Europe'' (CiE; since 2005).

Biography

Löwe studied mathematics and philosophy at the universities of

, 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 worked at the Institute for Logic, Language and Computation of the

University of Amsterdam The University of Amsterdam (abbreviated as UvA, ) is a public university, public research university located in Amsterdam, Netherlands. Established in 1632 by municipal authorities, it is the fourth-oldest academic institution in the Netherlan ...

from 2003 to 2023. In 2009, he was appointed professor for mathematical logic and interdisciplinary applications of logic at the

University of Hamburg The University of Hamburg (, also referred to as UHH) is a public university, public research university in Hamburg, Germany. It was founded on 28 March 1919 by combining the previous General Lecture System ('':de:Allgemeines Vorlesungswesen, ...

and is also an extraordinary fellow at Churchill College of the

University of Cambridge The University of Cambridge is a Public university, public collegiate university, collegiate research university in Cambridge, England. Founded in 1209, the University of Cambridge is the List of oldest universities in continuous operation, wo ...

. Löwe was Managing Editor of the journal ''Mathematical Logic Quarterly'' from 2011 to 2022. 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 from 2015 to 2023. Since 2023, he is one of the Vice Presidents of the International Council for Philosophy and Human Sciences (CIPSH). He is a member of the International Academy for Philosophy of Science, the Academia Europaea ( MAE), the Akademie der Wissenschaften in Hamburg, and a Fellow of the

International Science Council The International Science Council (ISC) is an international non-governmental organization that unites scientific bodies at various levels across the social and natural sciences. The ISC was formed with its inaugural general assembly on 4 July 20 ...

(FISC).

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 .a.: Springer * 2011. ''Wadge Degrees and Projective Ordinals The Cabal Seminar Volume II''. Co-edited with Alexander S. Kechris and John R. Steel.

References

1972 births Living people German logicians Set theorists Mathematical logicians 20th-century German philosophers 21st-century German philosophers German male writers 21st-century German mathematicians Fellows of Churchill College, Cambridge Academic staff of the University of Amsterdam Academics of the University of Cambridge Academic staff of the University of Hamburg Humboldt University of Berlin alumni {{Germany-mathematician-stub