Kurt Gödel e la prova logica dell'esistenza di Dio

Il matematico e logico Kurt Gödel, autore dei teoremi d’incompletezza e indecidibilità, elaborò una dimostrazione logica dell'esistenza di Dio. Oggi vi presento questa prova logica. Dopo aver proposto, nel 1949, una soluzione alle equazioni della teoria della relatività dell’amico Albert Einstein, Gödel comprese che mancava qualcosa di essenziale, ossia la ragione logico-matematica dell'esistenza dell’universo. Rivolse quindi la sua attenzione sulla dimostrazione razionale dell'esistenza di Dio e, riprendendo la prova ontologica di Leibniz, giunse a dimostrare la necessità logica dell’esistenza di Dio in quanto unico Ente che assomma in sé tutte le qualità positive.
Si tratta di un teorema costituito da formule di logica simbolica e strutturato in 28 passaggi, ossia: 3 definizioni, 5 assiomi, 3 teoremi e 7 dimostrazioni.  Per Gödel la natura divina rappresenta un'essenza e, poiché a ogni essenza corrisponde un solo ente, l'essere la cui essenza implica l'esistenza può essere soltanto Dio. Sarebbe una contraddizione logica ammettere la possibilità di un unico essere dotato di tutte le «proprietà positive», inclusa ovviamente l'esistenza, e poi non riconoscergli una realtà effettiva. A differenza della concezione intellettualistica del divino quale «mente superiore» professata da Albert Einstein, Gödel considerava Dio non solo un'entità razionale logicamente dimostrabile, ma anche un essere degno di venerazione.
La prova ontologica di Gödel è stata pubblicata all'interno di un volume che raccoglie diversi scritti del grande matematico soltanto nel 1987.

VAI AL VIDEO