On Logic Embeddings and Goedel's God
C. Benzmüller, B. Woltzenlogel Paleo – 2015
We have applied an elegant and exible logic embedding approach to verify and automate a prominent philosophical argument: the ontological argument for the existence of God. In our ongoing computerassisted study, higher-order automated reasoning tools have made some interesting observations, some of which were previously unknown.
Titel
On Logic Embeddings and Goedel's God
Verfasser
C. Benzmüller, B. Woltzenlogel Paleo
Datum
2015
Erschienen in
Proceedings of the 22nd International Workshop on Algebraic Development Techniques (WADT 2014), Springer, LNCS, 2015.
Rechte
Copyright by Springer. When citing this work cite the original link.