"L'énoncé 'Dieu existe' est une proposition vraie au sens logique et mathématique" - C. BENZMÜLLER? Qu'en pensez-vous ?

Réponse publiée sur Quora

Les propositions vraies au sens logique et mathématique reposent sur un Système axiomatique .

Les articles de Benzmüller [1,2] concernent la preuve de l’existence de dieu proposée par Gödel, qui avait soigneusement choisi des “axiomes” permettant de démontrer son théorème, le petit malin :

Benzmüller a utilisé un logiciel de démonstration automatique de théorème et a découvert.. que Gödel s’est planté : L’argument ontologique de Gödel est inconsistant avec ses axiomes [3] !

Je peux faire mieux :

Axiome 1 : le Monstre de Spaghetti Volant existe.

Théorème fondamental du Pastafarisme : le Monstre de Spaghetti Volant existe.

Démonstration : vrai en vertu de l’axiome 1. CQFD et Ramen !

Références :

1. Benzmüller, C., & Woltzenlogel Paleo, B. (2014). Automating Gödel’s Ontological Proof of God’s Existence with Higher-order Automated Theorem Provers . Frontiers in Artificial Intelligence and Applications, 263. doi:10.3233/978-1-61499-419-0-93
2. Benzmüller, C. (2017). Experiments in Computational Metaphysics: Gödel’s Proof of God’s Existence ( pdf )
3. Benzmüller, C. (2016). The inconsistency in Gödel’s ontological argument Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 936–942. doi:abs/10.5555/3060621.3060751