Nonsource:Dimostrazione della non esistenza di Dio: differenze tra le versioni

{{Cit2|Ehi, così offendi mia madre!|[[Gesù]] su Dimostrazione della non esistenza di Dio}}

{{Cit2|Sticazzi, tanto ce ne ho altri 243!|[[Poser#Religione Norrena|Pagano]] su Dimostrazione della non esistenza di Dio}}

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

 

===Grecia Classica===

 

 

[[File:Diogene di Sinope con gruppo di cani.jpg|right|thumb|200px|Diogene di Sinope mentre si prende cura del suo discreto monolocale al centro di Atene.]]

Durante il Medioevo affermare che Dio non esisteva aveva come implicazione la non accettazione del potere della [[Chiesa Cattolica Romana Apostolica|Chiesa]] (e quindi una lenta morte sul rogo presso [[Campo de' Fiori]]).<br>

Quindi, a parte un paio di drink<ref>Campo de' Fiori è l'habitat naturale dei [[Coatto|coatti]], grazie all'alta concentrazione di alcool</ref>, non ci furono miglioramenti sostanziali per chi avesse voluto sviluppare la '''dimostrazione'''.

 

[[File:Galileo2.jpg|thumb|left|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:

 

===Settecento===

 

Riportiamo la versione della '''dimostrazione''' che oggi viene accettata dalla maggioranza degli [[Nerd|esperti]].<br>

Ci accingiamo ora dimostrare che la maggiorazione è stretta, come il tuo culo in un locale gay, ovvero che <math>|\mathcal{P}(A)|> |A|</math>. Per farlo ci basta dimostrare che non esiste una corrispondenza biunivoca tra <math>\mathcal{P}(A)</math> e <math>A</math>. Supponiamo, per assurdo, che esista una funzione biunivoca <math>f:A \rightarrow \mathcal{P}(A)</math> <math>\quad</math> (si noti che <math>\forall x \in A, f(x)</math> è un sottoinsieme di <math>A</math>). Si consideri il seguente sottoinsieme di <math>A</math>: <math>\quad</math> <math>S = \{x\in A:x \notin f(x)\}</math>, ovvero l'insieme degli elementi di <math>A</math> che non sono in corrispondenza con un sottoinsieme di <math>A</math> che li contiene. Poiché <math>f</math> è una corrispondenza biunivoca, <math>\exists! y\in A:f(y)=S</math>. Se <math>y</math> appartenesse ad <math>S</math>, si avrebbe, quindi, che <math>y\in S=f(y)</math>, dunque non viene rispettata la condizione di appartenenza ad <math>S</math>. Se, invece, non gli appartenesse, avremmo di conseguenza che <math>y\notin S=f(y)</math>, ovvero dovrebbe appartenere ad <math>S</math>. Assurdo. Dunque <math>|\mathcal{P}(A)|> |A|</math>.<br>

Ora <math>\mathcal{P}(A)</math> è un insieme di insiemi, dunque è contenuto in <math>X</math>, che è l'insieme di tutti gli insiemi, quindi <math>|X|\ge|\mathcal{P}(A)|</math>. <br>

== Note ==

{{Note}}

[[Categoria:Filosofia]]

[[Categoria:Religione]]

[[Categoria:Matematica]]