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, structure, space, models, and change. History On ...

and

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...

ian working at the universities of

Amsterdam Amsterdam ( , , , lit. ''The Dam on the River Amstel'') is the Capital of the Netherlands, capital and Municipalities of the Netherlands, most populous city of the Netherlands, with The Hague being the seat of government. It has a population ...

Hamburg (male), (female) en, Hamburger(s), Hamburgian(s) , timezone1 = Central (CET) , utc_offset1 = +1 , timezone1_DST = Central (CEST) , utc_offset1_DST = +2 , postal ...

, and

Cambridge Cambridge ( ) is a university city and the county town in Cambridgeshire, England. It is located on the River Cam approximately north of London. As of the 2021 United Kingdom census, the population of Cambridge was 145,700. Cambridge bec ...

. He is known for his work on

mathematical logic Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...

and the

foundations of mathematics Foundations of mathematics is the study of the philosophy, philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the natu ...

, as well as for initiating the interdisciplinary conference series ''Foundations of the Formal Sciences'' (FotFS; 1999–2013) and ''

Computability in Europe The Association Computability in Europe (ACiE) is an international organization of mathematicians, logicians, computer scientists, philosophers, theoretical physicists and others interested in new developments in computability and in their underly ...

'' (CiE; since 2005).

Biography

Löwe studied mathematics and philosophy at the universities of

Hamburg (male), (female) en, Hamburger(s), Hamburgian(s) , timezone1 = Central (CET) , utc_offset1 = +1 , timezone1_DST = Central (CEST) , utc_offset1_DST = +2 , postal ...

Tübingen Tübingen (, , Swabian: ''Dibenga'') is a traditional university city in central Baden-Württemberg, Germany. It is situated south of the state capital, Stuttgart, and developed on both sides of the Neckar and Ammer rivers. about one in thr ...

HU Berlin Humboldt-Universität zu Berlin (german: Humboldt-Universität zu Berlin, abbreviated HU Berlin) is a German public research university in the central borough of Mitte in Berlin. It was established by Frederick William III on the initiative of ...

, and

Berkeley Berkeley most often refers to: *Berkeley, California, a city in the United States **University of California, Berkeley, a public university in Berkeley, California * George Berkeley (1685–1753), Anglo-Irish philosopher Berkeley may also refer ...

. In 2001, he completed his PhD entitled ''Blackwell Determinacy'' about

determinacy Determinacy is a subfield of set theory, a branch of mathematics, that examines the conditions under which one or the other player of a game has a winning strategy, and the consequences of the existence of such strategies. Alternatively and sim ...

under supervision of

Donald A. Martin Donald Anthony Martin (born December 24, 1940), also known as Tony Martin, is an American set theorist and philosopher of mathematics at UCLA, where he is an emeritus professor of mathematics and philosophy. Education and career Martin rece ...

and Ronald Björn Jensen. He works at the

Institute for Logic, Language and Computation The Institute for Logic, Language and Computation (ILLC) is a research institute of the University of Amsterdam, in which researchers from the Faculty of Science and the Faculty of Humanities collaborate. The ILLC's central research area is the st ...

of the

University of Amsterdam The University of Amsterdam (abbreviated as UvA, nl, Universiteit van Amsterdam) is a public research university located in Amsterdam, Netherlands. The UvA is one of two large, publicly funded research universities in the city, the other being ...

since 2003 and was appointed professor for mathematical logic and interdisciplinary applications of logic at the

University of Hamburg The University of Hamburg (german: link=no, Universität Hamburg, also referred to as UHH) is a public research university in Hamburg, Germany. It was founded on 28 March 1919 by combining the previous General Lecture System ('' Allgemeines Vor ...

in 2009. Currently, he is also an extraordinary fellow at

Churchill College Churchill College is a constituent college of the University of Cambridge, England. It has a primary focus on science, engineering and technology, but still retains a strong interest in the arts and humanities. In 1958, a trust was establish ...

of the

University of Cambridge , mottoeng = Literal: From here, light and sacred draughts. Non literal: From this place, we gain enlightenment and precious knowledge. , established = , other_name = The Chancellor, Masters and Schola ...

. Löwe is Managing Editor of the journal ''Mathematical Logic Quarterly''. 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 and a member of the International Academy for Philosophy of Science. From 2012 to 2022, he was the President of the German Association for Mathematical Logic and for Basic Research in the Exact Sciences (DVMLG).

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 John Robert Steel (born October 30, 1948) is an American set theory, set theorist at University of California, Berkeley (formerly at University of California, Los Angeles, UCLA). He has made many contributions to the theory of inner models and de ...

. 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

References

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