Computational Philosophy
- Mentors
- Bruno Woltzenlogel Paleo, Christoph Benzmüller
- Organization
- AOSSIE - Australian Open Source Software Innovation and Education
This project aims to formalize several ontological arguments and the "Simulation Argument" by Nick Bostrom in Isabelle/HOL using a shallow semantic embedding. It is part of an ongoing effort to see if and how automatic theorem provers can help solve problems in mathematics and philosophy.