epelpad

Lógico-matemático prueba la existencia de Dios

Durante sus años en el IEA, los intereses de Kurt Gödel se tornaron hacia la filosofía y la física. Estudió las obras de Gottfried Leibniz, Immanuel Kant y Edmund Husserl, y a principios de los años 70’ distribuyó entre sus colegas una prueba en la cual mediante argumentaciones lógico-matemáticas probó la existencia de Dios o un ser superior, basada en la argumentación ontológica previa de San Anselmo de Canterbury y en los trabajos del mismo Leibnitz , la cual se conoce ahora como la demostración ontológica de Gödel.

La demostración, que por cierto no es de fácil comprensión para los no iniciados, es la siguiente:

-Axioma 1. (Dicotomía) Una propiedad es positiva si, y sólo si, su negación es negativa.

-Axioma 2. (Cierre) Una propiedad es positiva si contiene necesariamente una propiedad positiva.

-Teorema 1. Una propiedad positiva es lógicamente consistente (por ejemplo, existe algún caso particular).

-Definición. Algo es semejante-a-Dios si, y solamente si, posee todas las propiedades positivas.

-Axioma 3. Ser semejante-a-Dios es una propiedad positiva.

-Axioma 4. Ser una propiedad positiva (lógica, por consiguiente) es necesaria.

-Definición. Una propiedad P es la esencia de x si, y sólo si, x contiene a P y P es necesariamente mínima.

-Teorema 2. Si x es semejante-a-Dios, entonces ser semejante-a-Dios es la esencia de x.

-Definición. NE(x): x existe necesariamente si tiene una propiedad esencial.

-Axioma 5. Ser NE es ser semejante-a-Dios.

-Teorema 3. Existe necesariamente alguna x tal que x es semejante-a-Dios.

Resultado: Dios existe.

Lógico-matemático prueba la existencia de Dios

La prueba de Gödel utilizó la lógica modal (que distingue entre verdades necesarias, la que es verdadera en todos los mundos posibles, y las verdades contingentes, que es cierta en nuestro mundo, pero puede ser falsa en otro) y empleó en la definición de Dios una cuantificación explícita sobre sus propiedades, es decir, dado que la existencia necesaria es positiva, se concluye: ser como Dios es positivo. Además, la semejanza con Dios es una esencia de Dios, porque implica todas las propiedades positivas, y cualquier propiedad no positiva es la negación de alguna propiedad positiva, por lo tanto Dios no puede tener ninguna propiedad no positiva. Como cualquier objeto semejante a Dios es necesariamente existente, entonces cualquier objeto semejante a Dios en un mundo, lo es en cualquier otro mundo, por la definición de existencia necesaria. Dado la existencia de un objeto semejante a Dios en un mundo, probado anteriormente, podemos concluir que existe un objeto semejante a Dios en cualquier otro mundo posible.

Logica

Por supuesto, la comprensión de estos axiomas u razonamientos no son de fácil comprensión para el ciudadano común, aunque lo que quería Gödel, después de morir en 1978, era dejar tras de sí una teoría basada en los principios de la lógica modal que sugería que un ser superior debe existir. Este razonamiento matemático no tenía como intención convencer de la existencia de Dios, sino demostrar que el llamado “argumento ontológico” de la existencia de Dios era válido.

Los detalles de las matemáticas involucradas en la prueba ontológica de Gödel son ciertamente complicados pero, en esencia, lo que el sabio austríaco sostenía era lo siguiente: “Dios, por definición, es lo más perfecto que puede ser pensado. Si pensáramos en Dios como inexistente, entonces no sería realmente la idea de Dios, pues tendría la imperfección de no existir. Entonces, la oración ‘Dios existe’ es necesariamente verdadera. Por lo tanto, Dios existe”.

O bien: “Por definición, Dios es aquello de lo cual nada mayor puede concebirse. Por tanto, es imposible concebir que Dios no existe, pues de lo contrario podríamos concebir algo mayor que él, a saber, un Dios que sí exista. Así pues, es inconcebible que Dios no exista; luego existe.”

Si bien el argumento de Gödel no era totalmente novedoso, sí lo era el modelo matemático que propuso para probar esta idea. Sus teoremas y axiomas, entonces, pueden expresarse como ecuaciones matemáticas que se pueden rechazar o probar. Por lo pronto, recientemente, dos científicos europeos, el alemán Christoph Benzmüller, de la Universidad Libre de Berlín, y el austriaco Bruno Woltzenlogel, de la Universidad Técnica de Viena, lograron probar informáticamente el “Teorema de Dios” desarrollado a finales del siglo pasado por el matemático austriaco Kurt Gödel, que concluía que en base a los principios de la lógica debía existir un ser superior.


Si bien los científicos demostraron, usando una mayor lógica modal y un ordenador MacBook, que la argumentación de Gödel era matemáticamente correcta, aclararon que la verdadera noticia tenía que ver con la demostración de que una tecnología superior puede ayudar a la ciencia, más que con la teoría de que Dios exista o no. “Lo que se ha logrado a través de los computadores supone un éxito del genial razonamiento de Gödel. La prueba ontológica era, más que cualquier otra cosa, un buen ejemplo de algo inaccesible en las matemáticas o de la inteligencia artificial, que se ha resuelto usando la tecnología actual. El hecho de que la formalización de estos teoremas complicados se pueda realizar con computadores no profesionales abre todo tipo de posibilidades. Por eso, es totalmente increíble que el Teorema de Gödel se pueda probar de forma automática en pocos segundos o incluso menos apretando unas teclas y usando un ordenador portátil estándar».

matematica

Los críticos del “Teorema de Dios” de Gödel, por lo pronto, esgrimen que es imposible enjuiciar una demostración tan abstracta, pues incluso muchos lógico-matemáticos no han sido capaces de explicar todos los aspectos de esta prueba, y por lo tanto es muy difícil asegurar su completa naturaleza. Otros, en tanto, afirman que los cinco axiomas de la prueba de Gödel son cuestionables. De ese modo, si los axiomas de la prueba pueden ser cuestionados, entonces las conclusiones también pueden ser cuestionadas.

4 comentarios - Lógico-matemático prueba la existencia de Dios

MarceloTDF +4

link: https://www.youtube.com/watch?v=jchRaM08DvE
contra flor al resto
ReyVajuret +1
El concepto de DIOS se encuentra mas alla de toda comprension humana...
Supongo que estan familiarizados con la teoria del Big Bang. La teoria del BIG BANG sostiene que el universo se origino en una singularidad hace unos 14.000 millones de años y en este preciso instante se formo toda la energia-materia existente en la actualidad junto con el espacio-tiempo. Algo asi como una burbuja de jabon que crece con el paso del tiempo y contiene en su interior todo lo que conocemos.
Esto nos deja una pregunta que nunca tendra respuesta (por lo menos en esta civilizacion actual) ...

¿ QUE HABIA ANTES DEL BIG BANG?

No solo no es posible contestar esta pregunta, sino que ademas no es tecnicamente posible realizarla debido a que si, en nuestro universo el tiempo y el espacio se formaron con el BIG BANG para todo habitante de este universo no existia un "antes" en donde sea posible encuadrar la pregunta, ya que el TIEMPO no existia. Si el tiempo no existia y "ALGO" fue creado (nuestro universo) eso significa por deduccion que fuera de nuestro universo existia "OTRO" espacio-tiempo que dio lugar a que ese "ALGO" sucediera y creara nuestro "universo burbuja".
El problema que se presenta en este punto es que si DIOS creo nuestro universo y para crearlo se encontraba fuera de nuestro espacio-tiempo, nunca sera posible a la humanidad comprender el concepto de DIOS ya que siempre estara por fuera de nuestro alcance, ya que las leyes de la fisica no pueden romperse dentro de nuestro universo, pero quizas en OTRO universo las leyes de la fisica sean diferentes...

...al igual que las matematicas.
johnnyboots +1
La gran paradoja en todo esto es: Si el concepto de dios está más allá de toda comprensión humana ¿cómo diablos sería siquiera posible que alguien pueda enunciar y describir cualquiera de sus características?
EnriqueTullett +1
@johnnyboots Es que necesitan establecer un nuevo concepto o dimensión o lugar para ubicar la existencia de ese dios, pero siguen con la petición de principio ya que no explican como se creo esa otra dimensión o universo lo cual deberían demostrar. Las teorías teístas hacen agua por todos lados. Es más, da la impresión de que solo estos especiales personajes pueden "comprender" lo que ellos mismos afirman "está más lejos de toda comprensión humana"... deben ser dioses.
johnnyboots
@EnriqueTullett Totalmente de acuerdo.
satanclau5 +1
dios, tremendo personaje de nuestra imaginacion
johnnyboots +1
No logro entender cómo una y otra vez repiten esta estupidez que, por añadidura, está lejos de demostrar algo debido a que se trata de un razonamiento lógico defectuoso construído sobre premisas axiomáticas potencialmente falsas.