Reinhard Kahle

• Address
• Publications
• Teaching
• Research projects
• Research interests
• Committees

Carl Friedrich von Weizsäcker Professor for Philosophy and History of Science at the

Researcher at

Fellow of the Académie Internationale de Philosophie des Sciences

• Hilbert's 24th Problem (PTDC/MHC-FIL/2583/2014), since 2016
• A correspondência de Hugo Baptista Ribeiro (Fundação Caluste Gulbenkian), 2015-17
• The notion of mathematical proof (PTDC/MHC-FIL/5363/2012), 2013-2015
• Hilbert's Legacy in the Foundations of Mathematics (PTDC/FIL-FCI/109991/2009), 2011-2014
• Dialogical Foundations of Semantics (LOGICCC/0001/2007), 2009-2013

• Proof theory
• Intensionality
• History of logic

• Member of the award committee for the Paul Bernays Award of the Swiss Society for Logic and Philosophy of Science, 2018.
• Member of the board of the Seminário Nacional de História da Matemática, Portugal, since~2017.
• Member of the board of the European Association for Computer Science Logic, EACSL, since 2009.
• Member of the ESSLLI Standing Committee (European Summer School in Logic, Language, and Information), 2010-13.
• Member of the Advisory Board of the Hilbert-Bernays Project (translation of the two volumes Grundlagen der Mathematik of Hilbert and Bernays into English by the International Federation of Computational Logic)

Daß ich erkenne, was die Welt
Im Innersten zusammenhält