Reinhard Kahle

Prof. Dr. Reinhard Kahle is a faculty member at the University of Tübingen in the Faculty of Philosophy. He holds the academic rank of Professor and his research focuses on Mathematical Logic, Philosophical Logic, Philosophy of Mathematics, and History of Logic. He also investigates the Societal Relevance of Science and Philosophy of Language.

• Education:
  • Studium der Mathematik, Philosophie und Informatik in Göttingen, Zürich und München (1987-1993)
  • Diplom in Mathematik, LMU München (1993)
  • Promotion in Informatik, Universität Bern (1997)
  • Habilitation in Informatik, Universität Tübingen (2007)
  • Habilitation in Mathematik, Universidade de Coimbra (2008)
• Awards:
  • Carl Friedrich von Weizsäcker-Stiftungsprofessor für Theorie und Geschichte der Wissenschaften, University of Tübingen (2019)
• Publications:
  • Advances in Proof Theory (2016, co-editor)
  • Gentzen's Centenary: The quest for consistency (2015, co-editor)
  • Over 40 peer-reviewed journal articles and book chapters focusing on proof theory, mathematical logic, and philosophical implications of formal systems