Home // Research // FSTC // Computer Sci... // News and Events // ILIAS Distinguished Lecture: Computational Metaphysics: The Virtues of Formal Computer Proofs Beyond Maths

ILIAS Distinguished Lecture: Computational Metaphysics: The Virtues of Formal Computer Proofs Beyond Maths

twitter linkedin facebook google+ email this page
Add to calendar
Speaker: Christoph Benzmüller, PD, Dr. habil, Dept of Mathematics and Computer Science, FU Berlin, Germany
Event date: Monday, 27 March 2017, 16:00 - 18:00
Place: Campus Belval, Maison des Sciences Humaines, Room – E04-4.020

Description

Formal computer proofs - irrespective of being developed interactively with modern proof assistants, fully automatically by automated theorem provers, or in a combination of both - are still rather unpopular amongst many mathematicians. Benzmüller will challenge this stance and point to recent success stories of computer-assisted proofs in maths and beyond. In particular, he will demonstrate how the rigorous assessment of rational arguments in philosophy can be fruitfully supported by modern theorem proving technology. A prominent example includes the “Ontological Argument for the Existence of God“ for which even relevant new insights were recently revealed by automated theorem provers. The latter research activities have inspired the conception of a new, awarded lecture course on “Computational Metaphysics“ at Freie Universität Berlin which brings together students from computer science, maths and philosophy.