Dimostrazioni matematiche della (non) esistenza di Dio

Alcuni anni fa, vidi un frammento di un programma televisivo di Bruno Vespa in cui si discuteva di religione e nel quale era presente lo scrittore e divulgatore scientifico Roberto Vacca, che asseriva di essere l’autore di nientemeno che la dimostrazione matematica dell’inesistenza di Dio. È da allora che sono oltremodo affascinato dall’idea di provare a dimostrare la (non) esistenza di Dio con l’ausilio della matematica.

La dimostrazione di Vacca è contenuta in un suo romanzo intitolato Dio e il computer ed è ispirata alla dimostrazione dell’esistenza presente nel libro The Laws of Thought di George Boole, il fondatore della logica matematica.

Tra i tentavi di fondare sulla matematica un’argomentazione a favore dell’esistenza o della non esistenza di Dio, probabilmente il più famoso è quello del logico Kurt Gödel. La sua è sostanzialmente una variante matematica della prova ontologica dell’esistenza, che però, come egli stesso ci teneva a precisare, si trattò di un lavoro concepito come mero esercizio di logica matematica.

Anche la dimostrazione di Boole non è altro che quella ideata dal teologo Samuel Clarke espressa mediante il formalismo logico-matematico. Le teorie di questi illustri pensatori sono all’origine delle elucubrazioni che mi hanno condotto alla stesura di questo articolo.

Numerose argomentazioni in merito all'esistenza e all’inesistenza di Dio sono state proposte da filosofi, teologi e scienziati. Tra quelle a favore dell’esistenza troviamo:

  • L'argomentazione teleologica, la quale sostiene che, per il suo ordine e la sua complessità, l'universo non possa che essere stato creato da un’entità intelligente dotata di caratteristiche che solo un Dio può avere.
  • L'argomentazione ontologica, che, definendo Dio come un essere assolutamente perfetto (che possiede quindi tutte le qualità) e considerando l’esistenza una qualità, ne deduce che Dio debba esistere necessariamente.
  • L'argomentazione antropica, che si concentra su fatti basilari, come la nostra esistenza, per dimostrare l’esistenza di Dio.
  • L'argomentazione morale, secondo cui la moralità oggettiva esisterebbe e che quindi esisterebbe Dio.
  • L'argomentazione trascendentale, che sostiene che logica, scienza ed etica non avrebbero senso se non ci fosse Dio.
  • L’argomentazione cosmologica, secondo la quale ogni effetto deve necessariamente avere una causa, e il nostro universo sarebbe l’effetto di una causa “incausata”, che non può che essere Dio.

(fonte: Wikipedia)

Alcune, come l’argomentazione ontologica (benché tra i suoi sostenitori vi siano stati vari illustri pensatori, come Cartesio e Leibniz), le trovo ben poco convincenti; mentre altre, come la prova cosmologica e quella teleologica, a mio avviso, sono degne di attenzione e possono essere spunti di riflessione.
Proviamo a discutere dell’argomentazione cosmologica in termini matematici:

  1. prendiamo l’affermazione “tutto ciò che esiste deve necessariamente essere stato creato da un ente creatore” come un postulato;
  2. chiamiamo E l’insieme di tutto ciò che esiste;
  3. chiamiamo f l’applicazione, definita su E, che associa ad ogni elemento x di E l’elemento y di E che ha creato x
    (f : E —> E, y = f(x)).

Possiamo formulare matematicamente il postulato nel seguente modo:

 

Ovvero, per ogni elemento x di E, esiste un elemento y di E che ha creato x, ossia y = f(x).
Ascoltando i discorsi dei credenti, sembrerebbe che, secondo loro, E sarebbe costituito da 2 soli elementi: Dio e l’universo in cui viviamo. Inoltre, Dio sarebbe unico ed eterno e avrebbe creato l’universo. Ossia:

(il simbolo ¬ significa “non”).

Ma ciò è palesemente in contrasto con l’assioma di cui sopra. Infatti, se chiamiamo e0 il nostro universo ed e1 l’entità che lo avrebbe creato (che, per i religiosi, è Dio), si ha:

Ma, per il nostro postulato, si dovrebbe necessariamente avere anche che

Ossia, l’assioma implica che

e che quindi

Dove N è l’insieme dei numeri naturali.

In parole povere, per il postulato associato all’argomentazione cosmologica, l’entità che avrebbe creato l’universo dovrebbe necessariamente essere stata creata da un’altra entità, che a sua volta sarà stata generata da una terza entità, e così via. Quindi tale postulato ci porta a concludere che, oltre al nostro universo, dovrebbe esistere una serie infinita (che in matematica si chiama successione) di entità creatrici, ciascuna delle quali è stata creata dalla precedente e ha creato la successiva, eccetto l’ultima, quella che i teisti chiamano Dio, la quale avrebbe creato il nostro universo. Pertanto, E non avrebbe cardinalità (il numero di elementi di un insieme) pari a 2 ma bensì cardinalità infinita (card(E) = ∞).

Supponiamo che esista una causa prima incausata, ovvero un ente che non sia stato generato da nessun altro ente e che abbia dato il via a questa sequenza di creazioni conclusasi con la creazione del nostro universo.
Matematicamente significherebbe postulare che

 

(esiste un numero naturale k tale che non esiste f(ek)). Per i teisti k = 1, ossia la causa incausata sarebbe Dio; ma perché non potrebbe essere il cosmo stesso (k = 0)?
Del resto, il principio metodologico che è alla base del pensiero scientifico moderno, noto come Rasoio di Ockham, ci suggerisce di eliminare tutti gli assunti superflui, e assumere l’universo stesso come causa prima ha il notevole merito di fare a meno dell’ipotesi superflua dell’esistenza di Dio.

A questo punto, sposterei l’attenzione dall’argomentazione cosmologica a quella teleologica. Per spiegare la complessità di tutto ciò che esiste, dagli atomi alle galassie, i creazionisti postulano l’esistenza di un ente di gran lunga molto più complesso, ovvero spiegano una complessità chiamandone in causa una più grande.

Se rappresentiamo con la funzione c(x) la complessità di un elemento x di E (c : E —> R, dove R è l’insieme dei numeri reali), possiamo asserire che, per i credenti, esiste Dio e si ha: c(Dio) > c(Universo). Riconsiderando la successione {en}, abbiamo che la diseguaglianza c(Dio) > c(Universo) si tramuta in una sequenza infinita di diseguaglianze:

Ossia

E ciò implica che

con

La successione {c(en)} è una successione crescente di numeri reali positivi e, pertanto, o diverge positivamente (tende a +∞ per n —>∞ ) o tende ad un limite finito L per n —> ∞. Quindi, non solo l’argomentazione teleologica non risolve il problema della complessità dell’universo (in realtà, lo complica ulteriormente), ma, abbinando tale argomentazione a quella cosmologica, rischiamo addirittura di ottenere una complessità infinita. In pratica, abbiamo ottenuto una gerarchia infinita di creatori, ognuno più grande e perfetto dell’altro.
Tornando alla funzione f, osserviamo che essa è iniettiva:

ovvero:

Osserviamo inoltre che

Si potrebbe fare un’ipotesi più generale, immaginando che ciascuno degli elementi “creatori” dell’insieme E abbia creato un numero n di altri elementi di E, con 0 ≤ n < ∞, ciascuno dei quali può essere un’entità creatrice oppure un “oggetto”, come ad esempio un universo simile al nostro, che non produce altri “oggetti”. In altre parole, si potrebbe ipotizzare che Dio, oltre al nostro universo, abbia creato altri universi e/o altre entità creatrici. Quest’ipotesi, a maggior ragione, implicherebbe che card(E) = ∞.

 

Il diagramma precedente illustra graficamente quest’ipotesi. Le ellissi rappresentano gli elementi di E che creano altri elementi, mentre i rettangoli rappresentano gli enti che non generano nulla. Utilizzando la simbologia matematica, possiamo schematizzare questa ipotesi nel seguente modo:

X è l’insieme degli elementi generati dal generico elemento x e potrebbe anche essere vuoto, come nel caso del nostro universo (che, per quel che ne sappiamo, non ha generato altri universi o entità esterne ad esso). Va da se che, in questo caso, f non è più una funzione iniettiva.
Si potrebbe ipotizzare anche che ciascun elemento di E possa essere stato creato da una n-pla di altri elementi, con n ≥ 1 (ipotesi ovviamente in netto contrasto con quanto sostengono le religioni monoteiste). Daltronde, per realizzare un qualsiasi manufatto di una certa complessità, come un edificio o un’infrastruttura o un impianto industriale, occorre il lavoro di molteplici individui: ingegneri, architetti, periti, geometri, operai e quant’altro. Una simile ipotesi potrebbe essere rappresentata graficamente dal seguente diagramma:

 

In questo caso, f diventa una funzione polidroma, ovvero f : E → P(E), dove P(E) è l’insieme delle parti di E, ossia l’insieme dei sottoinsiemi di E. In parole più semplici, una funzione polidroma può associare ad un elemento del suo dominio più elementi del suo codominio. Possiamo rappresentare matematicamente quest’ultima ipotesi scrivendo:

Ovvero, ciascun elemento x di E è generato da un sottoinsieme Y di E contenente almeno un elemento (è generato da 1 o più elementi di E) e genera un sottoinsieme X eventualmente vuoto (genera 0, 1 o più elementi di E).

Oltre a quelle già fatte, si potrebbero fare altre considerazioni.

Ad esempio, affermare che un Dio eterno, ad un certo punto, abbia deciso di creare il nostro universo, implica postulare l’esistenza del tempo, come lo intendiamo noi, prima e al di fuori del nostro universo. Ma i cosmologi sostengono che il tempo sia nato, insieme alla materia e allo spazio, 13,73 ± 0,12 miliardi di anni fa con il Big Bang (fonte: Wikipedia);
ossia il tempo sarebbe una proprietà intrinseca della nostra realtà e non avrebbe senso parlare di esso al di fuori di essa.

Sostenere che Dio sia eterno e che circa 13,73 miliardi di anni fa abbia generato il cosmo sarebbe come dire che Dio stesso appartenga ad un universo in cui esisteva già il tempo come lo concepiamo noi, o comunque un tempo molto simile al nostro, che scorre in un’unica direzione: dal passato al futuro. Inoltre, ci sarebbe da osservare che, se Δt ≈ 13,73•10^9 anni è l’età del nostro universo, poiché Dio è eterno, ΔT = ∞ - Δt = ∞ è la durata del tempo della sua “inattività”.
Ovvero, Dio avrebbe atteso un tempo infinito prima di creare il nostro mondo. Anche supponendo che egli abbia creato altri “oggetti” prima del nostro universo, se Δt è il tempo che ci separa dall’istante in cui creò il suo primo “oggetto”, si ha sempre: ΔT = ∞ - Δt = ∞. Sant’Agostino, oltre a rispondere: “Preparava l’inferno per coloro che fanno domande come questa” a chi gli chiedesse cosa facesse Dio prima di creare il mondo, sosteneva che egli, oltre ad essere eterno, sarebbe il creatore non solo di ciò che è nel tempo ma del tempo stesso.
Ma asserire che una causa sia al di fuori del tempo è in antitesi con il concetto stesso di causa. Infatti, A è causa di B solo se A precede B. Inoltre, non si comprende come Dio possa intervenire nelle vicende terrene se lo collochiamo al di fuori dello spazio e del tempo, e quindi al di fuori della nostra realtà.

Quest’ultima argomentazione mi fa venire in mente un altro modo di definire la successione {en}: e0 continua ad essere il nostro universo; e1 è l’ipotetico universo in cui “abita” Dio che, eventualmente coadiuvato da altri creatori, ha creato e0; e2 è l’universo contenente la o le entità che hanno creato e1; e così via. Più in generale, ek è l’universo in cui risiede la o le entità che hanno generato ek-1.

Uno dei motivi per cui molti di noi hanno la tendenza a credere che il nostro mondo debba necessariamente essere il risultato della creazione operata da qualche divinità, o comunque l’effetto di una qualche causa, molto probabilmente andrebbe ricercato nel fatto che nella nostra realtà le cose funzionano così: ogni effetto ha una causa; il tempo esiste e scorre dal passato al futuro; noi esistiamo perché siamo nati; ogni manufatto è stato necessariamente costruito da qualcuno; eccetera. Tuttavia, se il nostro universo ha avuto una causa, essa non può che appartenere all’esterno di esso, e non è affatto detto che un’ipotetica realtà esterna al nostro universo abbia le stesse caratteristiche della nostra; potrebbe non avere più senso parlare di causa ed effetto in essa, e in tal caso il nostro universo non avrebbe una causa. A tal proposito, mi ritornano in mente le parole del fisico Antonino Zichichi, quando una volta asserì che ciò che non appartiene al nostro universo può essere qualsiasi cosa eccetto: spazio, tempo, materia, energia e cariche elettriche.

Ovviamente, gli argomenti riportati nel presente articolo non risolvono affatto il problema della (non) esistenza di Dio.
Non esiste nessuna argomentazione che dimostri una volta per tutte l’esistenza o l’inesistenza di Dio. In fin dei conti, è inutile tentare di dimostrare in maniera puramente teorica l’esistenza di qualcosa o qualcuno: solo empiricamente si può fare, ovvero con l’osservazione e gli esperimenti. Quindi, non si potrà mai confutare definitivamente l’esistenza di Dio; ma ciò vale anche per Babbo Natale, la Befana, le fate, le streghe, i folletti, i fantasmi e quant’altro. E, poiché l’esistenza di Dio non è supportata da nessuna prova, non vedo il motivo per cui la probabilità che Dio esista debba essere superiore a quella che esista, ad esempio, Babbo Natale.

Va anche detto che è utopistico sperare di convicere con argomenti razionali coloro che, come i credenti, sono fideisti e quindi, per definizione, antepongono la fede alla ragione. Il matematico statunitense Eric Temple Bell, nel suo libro intitolato Numerology, scrisse: “Se l’assurdità di queste idee non risulta ovvia senza spiegazione, niente che alcuno possa dire la renderà ovvia. Uno ha la mente limpida, oppure non ce l’ha, e benché una mente limpida occasionalmente possa essere ingarbugliata dall’alcol, dalla metafisica o dall’amore, non c’è niente in cielo, ne in terra che possa sgarbugliare una testa ingarbugliata per natura.” (fonte: Anche tu matematico di R. Vacca, pag. 150).

Bell si riferiva a coloro che credono alla numerologia, ma presumo che ritenesse che abbiano la mente “ingarbugliata” anche i teisti e, più in generale, tutti coloro che credono ciecamente in qualcosa che non abbia alcun fondamento logico o scientifico. C’è poi chi, come lo scrittore portoghese José Saramago (premio Nobel per la letteratura nel 1998), afferma addirittura che il mondo sarebbe molto migliore se fossimo tutti atei.

Scarica subito una copia gratis

146 Commenti

  1. Avatar photo divivoma 10 Ottobre 2011
    • Avatar photo marcodeantoni 10 Gennaio 2020
      • Avatar photo marcodeantoni 10 Gennaio 2020
  2. Avatar photo lucagiuliodori 10 Ottobre 2011
  3. Avatar photo Marco Giancola 10 Ottobre 2011
  4. Avatar photo Fabrizio87 10 Ottobre 2011
  5. Avatar photo Fabrizio87 10 Ottobre 2011
  6. Avatar photo Marco Giancola 10 Ottobre 2011
  7. Avatar photo valeriot90 10 Ottobre 2011
  8. Avatar photo Marco Giancola 10 Ottobre 2011
  9. Avatar photo Vittorio Crapella 10 Ottobre 2011
  10. Avatar photo divivoma 10 Ottobre 2011
  11. Avatar photo Marco Giancola 10 Ottobre 2011
  12. Avatar photo Vittorio Crapella 11 Ottobre 2011
  13. Avatar photo lucagiuliodori 11 Ottobre 2011
  14. Avatar photo linus 11 Ottobre 2011
  15. Avatar photo Marco Giancola 11 Ottobre 2011
  16. Avatar photo divivoma 11 Ottobre 2011
  17. Avatar photo stefano88 11 Ottobre 2011
  18. Avatar photo Marco Giancola 11 Ottobre 2011
  19. Avatar photo frafra 11 Ottobre 2011
  20. Avatar photo frafra 11 Ottobre 2011
  21. Avatar photo lucagiuliodori 12 Ottobre 2011
  22. Avatar photo lucagiuliodori 12 Ottobre 2011
  23. Avatar photo frafra 12 Ottobre 2011
  24. Avatar photo lucagiuliodori 13 Ottobre 2011
  25. Avatar photo frafra 12 Ottobre 2011
  26. Avatar photo linus 12 Ottobre 2011
  27. Avatar photo frafra 12 Ottobre 2011
  28. Avatar photo frafra 12 Ottobre 2011
  29. Avatar photo frafra 13 Ottobre 2011
  30. Avatar photo frafra 13 Ottobre 2011
  31. Avatar photo frafra 13 Ottobre 2011
  32. Avatar photo frafra 13 Ottobre 2011
  33. Avatar photo frafra 13 Ottobre 2011
  34. Avatar photo frafra 13 Ottobre 2011
  35. Avatar photo lucagiuliodori 14 Ottobre 2011
  36. Avatar photo frafra 14 Ottobre 2011
  37. Avatar photo divivoma 17 Ottobre 2011
  38. Avatar photo Piero Boccadoro 16 Ottobre 2011
  39. Avatar photo Piero Boccadoro 16 Ottobre 2011
  40. Avatar photo Piero Boccadoro 16 Ottobre 2011
  41. Avatar photo Piero Boccadoro 16 Ottobre 2011
  42. Avatar photo Piero Boccadoro 16 Ottobre 2011
  43. Avatar photo Piero Boccadoro 16 Ottobre 2011
  44. Avatar photo Piero Boccadoro 16 Ottobre 2011
  45. Avatar photo Piero Boccadoro 16 Ottobre 2011
  46. Avatar photo Piero Boccadoro 16 Ottobre 2011
  47. Avatar photo Piero Boccadoro 16 Ottobre 2011
  48. Avatar photo Piero Boccadoro 16 Ottobre 2011
  49. Avatar photo Piero Boccadoro 16 Ottobre 2011
  50. Avatar photo Piero Boccadoro 16 Ottobre 2011
  51. Avatar photo Piero Boccadoro 16 Ottobre 2011
  52. Avatar photo Piero Boccadoro 16 Ottobre 2011
  53. Avatar photo Piero Boccadoro 16 Ottobre 2011
  54. Avatar photo Piero Boccadoro 16 Ottobre 2011
  55. Avatar photo Piero Boccadoro 16 Ottobre 2011
  56. Avatar photo Piero Boccadoro 17 Ottobre 2011
  57. Avatar photo Piero Boccadoro 16 Ottobre 2011
  58. Avatar photo divivoma 17 Ottobre 2011
  59. Avatar photo linus 17 Ottobre 2011
  60. Avatar photo lucagiuliodori 20 Ottobre 2011
  61. Avatar photo linus 10 Gennaio 2012
  62. Avatar photo Vittorio Crapella 10 Gennaio 2012
  63. Avatar photo Piero Boccadoro 6 Febbraio 2012
  64. Avatar photo Piero Boccadoro 6 Febbraio 2012
  65. Avatar photo Piero Boccadoro 17 Febbraio 2012
  66. Avatar photo Marco Giancola 17 Febbraio 2012
  67. Avatar photo Emanuele 17 Febbraio 2012
  68. Avatar photo Salvatore Famà 24 Aprile 2012
  69. Avatar photo Salvatore Famà 24 Aprile 2012
  70. Avatar photo Salvatore Famà 26 Aprile 2012
  71. Avatar photo Salvatore Famà 26 Aprile 2012
  72. Avatar photo Emanuele 28 Aprile 2012
  73. Avatar photo paolonesi 28 Aprile 2012
  74. Avatar photo Emanuele 28 Aprile 2012
  75. Avatar photo paolonesi 28 Aprile 2012
  76. Avatar photo paolonesi 28 Aprile 2012
  77. Avatar photo paolonesi 30 Aprile 2012
  78. Avatar photo Salvatore Famà 29 Aprile 2012
  79. Avatar photo paolonesi 29 Aprile 2012
  80. Avatar photo Salvatore Famà 30 Aprile 2012
  81. Avatar photo paolonesi 2 Maggio 2012
  82. Avatar photo paolonesi 2 Maggio 2012
  83. Avatar photo paolonesi 2 Maggio 2012
  84. Avatar photo Salvatore Famà 3 Maggio 2012
  85. Avatar photo paolonesi 2 Maggio 2012
  86. Avatar photo paolonesi 3 Maggio 2012
  87. Avatar photo paolonesi 3 Maggio 2012
  88. Avatar photo Emanuele 5 Maggio 2012
  89. Avatar photo Salvatore Famà 5 Maggio 2012
  90. Avatar photo Salvatore Famà 4 Maggio 2012
  91. Avatar photo paolonesi 4 Maggio 2012
  92. Avatar photo paolonesi 4 Maggio 2012
  93. Avatar photo paolonesi 5 Maggio 2012
  94. Avatar photo paolonesi 5 Maggio 2012
  95. Avatar photo paolonesi 5 Maggio 2012
  96. Avatar photo paolonesi 6 Maggio 2012
  97. Avatar photo paolonesi 6 Maggio 2012
  98. Avatar photo paolonesi 6 Maggio 2012
  99. Avatar photo Salvatore Famà 7 Maggio 2012
  100. Avatar photo Salvatore Famà 7 Maggio 2012
  101. Avatar photo paolonesi 7 Maggio 2012
  102. Avatar photo paolonesi 7 Maggio 2012
  103. Avatar photo Salvatore Famà 8 Maggio 2012
  104. Avatar photo paolonesi 8 Maggio 2012
  105. Avatar photo paolonesi 9 Maggio 2012
  106. Avatar photo G.M. 9 Maggio 2012
  107. Avatar photo paolonesi 9 Maggio 2012
  108. Avatar photo G.M. 9 Maggio 2012
  109. Avatar photo paolonesi 9 Maggio 2012
  110. Avatar photo G.M. 10 Maggio 2012
  111. Avatar photo G.M. 10 Maggio 2012
  112. Avatar photo G.M. 10 Maggio 2012
  113. Avatar photo paolonesi 10 Maggio 2012
  114. Avatar photo paolonesi 10 Maggio 2012
  115. Avatar photo paolonesi 10 Maggio 2012
  116. Avatar photo G.M. 10 Maggio 2012
  117. Avatar photo paolonesi 10 Maggio 2012
  118. Avatar photo paolonesi 14 Maggio 2012
  119. Avatar photo paolonesi 15 Maggio 2012
  120. Avatar photo paolonesi 16 Maggio 2012
  121. Avatar photo Salvatore Famà 16 Maggio 2012
  122. Avatar photo Salvatore Famà 17 Maggio 2012
  123. Avatar photo paolonesi 17 Maggio 2012
  124. Avatar photo Salvatore Famà 21 Maggio 2012
  125. Avatar photo Antonio Fallico 4 Febbraio 2013
    • Avatar photo alessandro pendesini - Bruxelles 11 Agosto 2020
  126. Avatar photo Antonio Fallico 10 Febbraio 2013
    • Avatar photo alessandro pendesini - Bruxelles 11 Agosto 2020
  127. Avatar photo Emanuele 15 Febbraio 2013
  128. Avatar photo Marco Giancola 11 Marzo 2013
  129. Avatar photo Piero Boccadoro 29 Giugno 2013
  130. Avatar photo Marco Giancola 24 Marzo 2014
  131. Avatar photo Piero Boccadoro 1 Aprile 2014
  132. Avatar photo Piero Boccadoro 1 Aprile 2014
  133. Avatar photo Marco Giancola 26 Aprile 2014
  134. Avatar photo gfranco78 4 Maggio 2014
  135. Avatar photo bombolo 17 Giugno 2014
  136. Avatar photo Maurizio 24 Novembre 2015
  137. Avatar photo supergianluk 24 Agosto 2016
  138. Avatar photo supergianluk 19 Dicembre 2016

Scrivi un commento

Seguici anche sul tuo Social Network preferito!

Send this to a friend