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.

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. Il giovane filosofo, ben consapevole del pensiero del maestro Platone circa l'esistenza di Dio, decise di interpellare sull'argomento Diogene, fondatore della scuola avversaria. La risposta fu estremamente criptica e spinse il giovane filosofo 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.

Seicento

Galileo si avvicina all'ateismo.

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 1937 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.

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 (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 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 (errore di sintassi): {\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$.