Lecture ’What has the Mechanisation of Category Theory in Common with Proving God’s Existence?’, by Christoph Benzmüller to be delivered in December
The final activity in celebration of the School of Computer Science’s 40th anniversary will be offered from Dec 4 – 5, at building 32, and will feature Dr Christoph Benzmüller, from Freie Universität Berlin and Saarland University, Saarbrücken, both in Germany. The event will also mark the Computer Science program’s transition to the School of Technology of PUCRS.
Benzmüller will be addressing issues such as theoretical computer fundamentals and supporting computer tools for the construction of deductive systems; the interdisciplinary potential of Computer Science beyond the use of computer apparatus; and several variations of Gödel’s ontological argument for the existence of God that have been analyzed with computer-automated tools.
Today, Benzmüller is a visiting professor at the University of Luxembourg. He has conducted research in institutions such as Stanford University (USA), University of Cambridge, University of Birmingham and University of Edinburgh (UK).
