Puisque y'a un bruit qui se fait autour de l'article de S&V sur la "preuve" de l'existence de Dieu qui n'est en fait qu'une reprise de la preuve ontologique de Gödel, je vais en parler ici
Je suppose que ça n'intéressera personne mais qu'importe
La preuve de Gödel est pleine de défauts, déjà mathématiquement elle ne "démontre" rien dans l'absolu mais seulement dans un système d'axiome, axiomes qui en plus sont contestables, car comme le dit Sobel, les axiomes en question impliquent l'existence nécessaire des mondes multiples :
les axiomes de Gödel doivent être rejetés car impliquent que tous les mondes possibles sont nécessaires. Il montre plus précisément que si X est une propriété possiblement exemplifiée on déduit que X est nécessairement exemplifiée. Un argument semblable prouve que toutes les propriétés possiblement non-exemplifiées le sont en fait nécessairement.
Sans parler du fait que techniquement parlant, Gödel démontre juste que les axiomes de base rendent nécessaire l'existence de Dieu (au sens de sa définition axiomatique)