El teorema de Godel, la existencia

de Dios y Pikachu
Alumno: Caldas Requejo Fernando
Curso: Farmacogentica
IX Ciclo

(Yo tampoco tengo idea de lo que dice all)

Dos cientficos europeos han probado informticamente el

teorema de Gdel desarrollado a finales del siglo pasado por
el matemtico austriaco Kurt Gdel
En su momento Gdel argument que, por definicin, "no
puede existir nada ms grande que un ser supremo", y
propuso un modelo matemtico para demostrar su existencia
basado en seis axiomas. Los cientficos han demostrado que
la argumentacin de Gdel era matemticamente correcta.
El razonamiento de Gdel viene a decirnos que, si Dios
existiera, tendra todas las propiedades buenas, incluida la
de existir. Por tanto, si Dios existe, es bueno, y si es bueno,
Dios existe.

 Desde el punto de vista de un buen titular,

es sin duda bastante atractivo: "Los
cientficos prueban la existencia de Dios.
Sin embargo, como era de esperar, hay un
'pero' significativo en esa afirmacin. De
hecho, lo que los investigadores en
cuestin dicen que han probado en
realidad es el teorema propuesto por el
renombrado matemtico austriaco Kurt
Gdel

Durante siglos, muchos pensadores

haban tratado de utilizar este tipo de
razonamiento abstracto para
demostrar la posibilidad o necesidad
de la existencia de Dios (como caso
particular San Anselmo, en quien se
baso Gdel). Sin embargo, el modelo
matemtico compuesto por Gdel
propuso una prueba de la idea.

Gdel

Probar la existencia de Dios con un MacBook

Ah es donde Benzmller y su colega

Woltzenlogel entran en escena.
Usando un ordenador MacBook
ordinario han demostrado que el
raciocinio de Gdel era correcto, al
menos en un nivel matemtico, por
medio de una mayor lgica modal.

En todas las demostraciones matemticas de la

existencia de Dios el argumento es similar: Se define un
objeto matemtico llamado Dios que cumple con una
propiedad muy sencilla y se introducen una serie de
reglas de razonamiento lgico (axiomas) asociados a
dicha propiedad. La demostracin matemtica procede
paso a paso hasta asegurar la existencia de este objeto
en un universo en el que sean vlidas dichas reglas.
No hay ninguna relacin entre el objeto
matemtico Dios y lo que t puedas pensar que
es Dios, seas creyente o ateo.(es aqu donde entra
pikachu, monesvol o hasta los inventos argentinos
que nunca existieron)

Y comienza lo hardcore
Comenzaremos con 2 axiomas:
Axioma 1: Una propiedad es positiva
si y slo si su negacin es negativa.
Axioma 2: Una propiedad es
positiva si contiene necesariamente
una propiedad positiva.

Primero hay que introducir lo que es la

esencia. Definicin 1: Una propiedad es la
esencia de un objeto si y slo si el objeto
tiene dicha propiedad y esta propiedad es
necesariamente mnima, es decir, todas las
propiedades esenciales del objeto se derivan
de su esencia.
Nada implica que la esencia sea nica, pero
la minimalidad sugiere cierta unicidad.

La siguiente etapa del argumento de Gdel

es definir el significado de la palabra Dios.
Definicin 2: Algo es semejante-a-Dios si
y slo si posee la esencia de todas las
propiedades positivas, es decir, si todas sus
propiedades esenciales son positivas y si su
esencia es tener todas las propiedades
positivas.

Desde el punto de vista matemtico lo

ms importante es que se usa un
cuantificador (todas sus propiedades) lo
que significa que hay que interpretar estas
propiedades en todos los mundos posibles.
La interpretacin de la lgica modal
siempre se realiza en el sentido semntico
del multiverso (el conjunto de todos los
universos posibles).

El tercer concepto que introduce Gdel es la

propiedad de existencia necesaria.
Definicin 3: Decimos que algo existe
necesariamente si tiene una propiedad esencial.
Puede parecer obvio que la propiedad ser
semejante-a-Dios es positiva, pero es imposible
demostrarlo con todo lo anterior.
El problema es que no se puede demostrar
que tener un conjunto de propiedades
positivas sea una propiedad positiva.

Luego Gdel introduce el Axioma 3: Ser

semejante-a-Dios es una propiedad
positiva.
En este momento Gdel puede
demostrar el primer axioma de Anselmo
que afirma que posiblemente Dios
existe.

Si las propiedades positivas de Dios son

maximales, tenemos que aadir el siguiente
Axioma 4: La existencia necesaria es una
propiedad positiva. Ahora ya se puede
demostrar el siguiente Teorema : Si un objeto
es semejante-a-Dios, entonces ser semejantea-Dios es la esencia de dicho objeto
De aqu el siguiente Teorema :
Necesariamente existe un ser semejante-aDios.

Se trata de una demostracin correcta de la

existencia de Dios? Obviamente se trata de una
demostracin matemtica correcta en la lgica
modal S5, pero cada persona tiene una idea
diferente de lo que es Dios. En esta demostracin
no hay contenido teolgico
Una lgica modal basada en la variante S5 (es decir,
con esos axiomas anteriormente mencionados)
funcionar de forma distinta a otras variantes, en el
sentido de que demostrar algo requerir pasos
lgicos distintos.

 y Pikachu
Cualquiera que haya jugado a los
Pokemon sabe que todos le
asignamos todas las propiedades
buenas al Pikachu.
Antes de nada hay que asumir que
vivimos en un multiverso multiversal.
Claro, as tenemos que asumir que
existe el universo Pokemon.

Daremos unas cuantas definiciones:

1.- Una afirmacin ser necesariamente cierta si
es cierta en todos los universos o todos los
mundos.
2.- Una afirmacin ser posiblemente cierta si es
cierta en algn universo o mundo.
Un ejemplo del segundo caso sera: Ayer vol por
mi habitacin. Que no es cierta en este mundo,
pero quien sabe si en algn otro mundo lo sera.
3.- Algo ser positivo si hace referencia a un
atributo bueno

Para la demostracion vamos a necesitar unos

axiomas que dicen:
A1) Si la propiedad x es buena y x implica a y,
entonces y es tambin una propiedad buena.
A2) Para cada propiedad representada por x solo
puede ser cierto x o no-x. Es decir, para cada
propiedad y su negacin solo una de ellas puede
ser verdad.
Con esto ya podemos llegar a un resultado:

R1: Si x es una buena propiedad entonces es

posible que algo exista con dicha propiedad.

Definicin: Diremos que algo tiene la

propiedad de ser pikachiano cuando tiene
toda propiedad buena.
A3) Ser pikachiano es bueno.
Lgico porque la cosa pikachiana tiene todas
las propiedades buenas imaginables en este y
en todos los dems mundos.
R2: Es posible que exista algo pikachiano.
As que algo pikachiano tiene que existir, s o
s.

Definicin: Definimos la propiedad esencia E

del sistema S cuando, a) S tiene la propiedad
E y b) la propiedad E implica cualquier otra
propiedad de S.
A4) Si x es bueno, entonces es
necesariamente bueno. (Ser bueno en
todos los universos y todos los mundos).
De lo que resulta:

R3: Si un sistema es pikachiano,

entonces serlo es su esencia

Definicin: Un sistema es
indispensable cuando algo con su
esencia tiene que existir por fuerza.
A5) Ser indispensable es bueno.
Y el resultado final es por tanto:

R4: Algo pikachiano tiene que

existir a la fuerza

En particular, dado que ser indispensable es bueno, lo

es y adems tiene que existir, porque existir en cierto
sentido es bueno y porque lo hemos demostrado antes.
Lo que quiere decir todo esto es que si la caracterstica
pikachiana existe entonces tiene que existir algo que
sea pikachiano. Y como existir es bueno y lo pikachiano
tiene todas las buenas propiedades necesariamente
existe (en todos los mundos). Y est claro lo
pikachiano es lo que define a Pikachu, por tanto,
pikachu existe.
A partir de este argumento se puede demostrar
cualquier cosa.

Conclusiones:
Pikachu existe, si corro la simulacin podr
demostrarlo.
Simular un teorema en una computadora no es
un descubrimiento.
Sera ms fcil implementar las matriculas por
internet en la SLG y un sistema de atencin al
estudiante en lnea en media hora que entender
todo lo antes dicho.
Salvador Dal sigue siendo el amo del
surrealismo.