Nonsource:Dimostrazione della non esistenza di Dio

« Ehi, così offendi mia madre! »

(Gesù su Dimostrazione della non esistenza di Dio)

« Sticazzi, tanto ce ne ho altri 243! »

(Pagano su Dimostrazione della non esistenza di Dio)

Questa affermazione è falsa. Lo stesso grado di verità ce l'ha la dimostrazione della non esistenza di Dio.

Storia

Grecia Classica

Gorgia

Diogene di Sinope mentre si prende cura del suo discreto monolocale al centro di Atene.

Il primo a dare una dimostrazione della non esistenza di Dio fu l'ateniese Gorgia, affermando che "Dio è in ogni luogo, dunque non è in nessun luogo preciso, dunque non c'è". Alcuni suoi contemporanei^{[citazione necessaria]} rigirarono facilmente l'argomento dimostrando che neanche la fame esiste. Purtroppo non ci è pervenuta la risposta di Gorgia, morto il mese successivo (per fame, secondo l'ipotesi più accreditata).

Diogene

Non molto chiara è la posizione di Diogene di Sinope circa l'esistenza di Dio, dato che l'unica fonte a riguardo è un frammento di Aristotele. Quest'ultimo, quando era ancora un giovane filosofo desideroso di confronti, decise di interpellare Diogene, avversario del suo maestro Platone, circa l'esistenza di Dio. La risposta fu estremamente criptica e spinse Aristotele a scrivere più tardi la Metafisica: "Chi cazzo sei tu? E che cazzo ci fai nella mia botte? Trovatene una per te, pollo spennato...".

Epoca Romana e Medioevo

Durante il dominio di Roma affermare che Dio non esisteva aveva come implicazione la non accettazione del potere imperiale (e quindi una lenta morte sul rogo presso il Colosseo).
Durante il Medioevo affermare che Dio non esisteva aveva come implicazione la non accettazione del potere della Chiesa (e quindi una lenta morte sul rogo presso Campo de' Fiori).
Quindi, a parte un paio di drink, non ci furono miglioramenti sostanziali per chi voleva sviluppare la dimostrazione.

Galileo si avvicina all'ateismo.

Seicento

Accortosi che la Terra girava, in realtà, intorno al Sole, Galileo cominciò a sospettare che non tutto ciò che era scritto nella Bibbia fosse vero. Nel Dialogo sopra le due vecchie baldracche vi è addirittura una reductio ad absurdum che eleva tale sospetto a dimostrazione matematica:

Salviati : Ordunque Vi chiedo, è noto a Voi l'esser Iddio onnipotente?(

Simplicio : Fuor d'ogni ragionevol dubbio son convinto che in vieppiù passi della Bibbia è confermata tale sentenza.)

Salviati : Mirate, allora, la perfettissima dimostrazione che sto incipiando: può Iddio creare un siffatto masso, talmente pesante da non poter esser sollevato da Egli istesso? Se può, allora non può dirsi onnipotente, non essendo in grado di sollevar cotanto masso. Se, contrariamente, non può, per definizione non si può fregiar d'onnipotenza.(

Sagredo : È come affermar, se Lor Signori me lo consentono, che, verbi gratia, otto passeri non possano volar a guisa d'angolo ottuso.)

Salviati : Vossignoria mi concederà che stavolta se n'è uscito come suon di scorreggia...

Settecento

Voltaire pubblicizza il Candido sulle macerie di Lisbona.

Con l'Età dei Lumi arrivò la scoperta che Satana non era cattivo: era solo un po' vivace. Nacque, dunque, il problema dell'origine del male (incompatibile con un Dio infinitamente buono e potente). Leibniz risolse questo spinoso problema affermando che il male trae origine dal libero arbitrio dell'uomo. Due giorni dopo un tremendo terremoto devastò Lisbona, causando millemila vittime. Voltaire colse la palla al balzo e scrisse il Candido (storia di un giornalista omosessuale che denuncia le inefficienze della Protezione Civile portoghese e, en-passant, smerda Leibniz).

Ottocento e Novecento

La dimostrazione subiì un notevole rallentamento nel suo sviluppo a causa di Nietzsche. In seguito alla notizia della morte di Dio, sembrava indelicato tentare di dimostrare la sua inesistenza, soprattutto per i parenti colti dal recente lutto. Solo nel 1956 si ebbe la definitiva dimostrazione ad opera di Kurt Gödel. Il problema è che due anni prima aveva dimostrato che Dio esisteva. Terrorizzato più dalla contraddizione matematica che dalla non esistenza di Dio, Gödel cercò risposte nella tradizione e approdò all'argomento di Gorgia. Dopo due mesi anche lui morì di fame.

Piergiorgio Odifreddi è solito masturbarsi leggendo questa dimostrazione.

Dimostrazione

Riportiamo la versione della dimostrazione che oggi viene accettata dalla maggioranza degli esperti.
Supponiamo, per assurdo, che esista un Dio onnipotente. Consideriamo, allora, l'insieme Errore del parser (errore di sintassi): {\displaystyle A = \{x:x \mbox{ \`e un'azione}\}} . Sia Errore del parser (errore di sintassi): {\displaystyle C = \{x:x \mbox{ \`e il considerare un insieme}\}} . È ovvio che $C\subset A$, dunque $|A|\geq |C|$, dove con $|A|$ si intende la cardinalità di $A$. Sia ora Errore del parser (SVG (MathML può essere abilitato tramite plug-in del browser): risposta non valida ("Math extension cannot connect to Restbase.") dal server "https://wikimedia.org/api/rest_v1/":): {\displaystyle X = \{x:x \mbox{ \`e un insieme}\}} : tale insieme è in corrispondenza biunivoca con $C$, dunque $|C|=|X|$.
Consideriamo ora ${\mathcal {P}}(A)$, ovvero l'insieme delle parti di A. È chiaro che $|{\mathcal {P}}(A)|\geq |A|$ (infatti a ${\mathcal {P}}(A)$ appartengono almeno tutti i sottoinsiemi di un solo elemento, che sono tanti quanto gli elementi di $A$).
Ci accingiamo ora dimostrare che la maggiorazione è stretta, come il tuo culo in un locale gay, ovvero che $|{\mathcal {P}}(A)|>|A|$. Per farlo ci basta dimostrare che non esiste una corrispondenza biunivoca tra ${\mathcal {P}}(A)$ e $A$. Supponiamo, per assurdo, che esista una funzione biunivoca $f:A\rightarrow {\mathcal {P}}(A)$ $\quad$ (si noti che $\forall x\in A,f(x)$ è un sottoinsieme di $A$). Si consideri il seguente sottoinsieme di $A$: $\quad$ $S=\{x\in A:x\notin f(x)\}$, ovvero l'insieme degli elementi di $A$ che non sono in corrispondenza con un sottoinsieme di $A$ che li contiene. Poiché $f$ è una corrispondenza biunivoca, $\exists !y\in A:f(y)=S$. Se $y$ appartenesse ad $S$, si avrebbe, quindi, che $y\in S=f(y)$, dunque non viene rispettata la condizione di appartenenza ad $S$. Se, invece, non gli appartenesse, avremmo di conseguenza che $y\notin S=f(y)$, ovvero dovrebbe appartenere ad $S$. Assurdo. Dunque $|{\mathcal {P}}(A)|>|A|$.
Ora ${\mathcal {P}}(A)$ è un insieme di insiemi, dunque è contenuto in $X$, che è l'insieme di tutti gli insiemi, quindi $|X|\geq |{\mathcal {P}}(A)|$.
Concludendo si ha questa catena di disuguaglianze:
$|X|\geq |{\mathcal {P}}(A)|>|A|\geq |C|=|X|$, ovvero $|X|>|X|$. Assurdo.
Dunque Dio non esiste.

Critiche

Il lettore attento potrebbe obiettare che l'esistenza dell'insieme di tutti gli insiemi conduce al paradosso della puttana. Eppure la logica che usiamo è intrisa di paradossi, da cui non c'è via d'uscita (basta citare il celebre "Io mento"). L'unica soluzione possibile è conviverci e sopportarli, come le emorroidi.

Bibliografia

• Cristiano Malgioglio, "Cogli la saponetta. Un'antologia della filosofia della Grecia classica", 1987.
• Galileo Galilei, "Dialogo sopra le due vecchie baldracche. A cura di Tinto Brass", 1638.
• François-Marie Jambon Bidet Arouet detto Voltaire, "Candido", 1759.
• Kurt Gödel, "La prova matematica dell'inesistenza di Dio", Bo.Bo., 1956.

Voci Correlate

• Dimostrazioni dell'esistenza di Dio
• Dio
• Matematica