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

===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.]]

{{Dialogo2|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.}}

{{Dialogo2|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.}}

 

===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]]