Springe direkt zu Inhalt

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.

On Logic Embeddings and Goedel's God
C. Benzmüller, B. Woltzenlogel Paleo
Erschienen in
Proceedings of the 22nd International Workshop on Algebraic Development Techniques (WADT 2014), Springer, LNCS, 2015.
Copyright by Springer. When citing this work cite the original link.