Return to Revisions

3 of 4

edited tags

edited Aug 8 at 21:51

Christoph Benzmüller and Gödel's ontological proof?

Are there any notable mathematical or logical issues within Christoph Benzmüller and Bruno Woltzenlogel-Paleo formalized Gödel's ontological proof that has been identified by the community?

asked Aug 7 at 21:50

Hadibinalshiab