LaPruebaDeLaExistenciaDeDios < Superacion

Superacion Web>TemasParaReflexionar>LaPruebaDeLaExistenciaDeDios (2013-08-18, AASuarezQ) (raw view)
---+++ <font color="#000000" size="2">La prueba matemática de Gödel de la existencia de Dios</font>
%BLACK%<br />%ENDCOLOR%

%BLACK% [[http://es.wikipedia.org/wiki/Kurt_GÃ¶del][<strong>Kurt Gödel</strong>]] es, sin duda, uno de los más importantes matemáticos del S.XX. Su principal campo de trabajo fue la lógica y la teoría de conjuntos, siendo especialmente reconocido y recordado a nivel matemático por sus dos [[http://es.wikipedia.org/wiki/Teoremas_de_incompletitud_de_GÃ¶del][<strong>Teoremas de Incompletitud</strong>]]. %ENDCOLOR%

%BLACK% %ENDCOLOR% <table align="center" cellspacing="0" style="text-align: -webkit-auto; padding: 8px; margin-bottom: 0.5em; position: relative; -webkit-box-shadow: rgba(0, 0, 0, 0.496094) 1px 1px 5px; box-shadow: rgba(0, 0, 0, 0.496094) 1px 1px 5px; margin-left: auto; margin-right: auto" cellpadding="0" border="0"><tbody><tr><td> [[http://1.bp.blogspot.com/-NZbGVKfFDmg/TgxG7J_poaI/AAAAAAAAHhs/2T0nVG7MbWw/s1600/KurtGoedel.jpg][<font color="#000000" size="2"><img alt="" src="http://1.bp.blogspot.com/-NZbGVKfFDmg/TgxG7J_poaI/AAAAAAAAHhs/2T0nVG7MbWw/s1600/KurtGoedel.jpg" style="border-style: none; position: relative; padding: 0px; -webkit-box-shadow: rgba(0, 0, 0, 0.0976563) 0px 0px 0px; box-shadow: rgba(0, 0, 0, 0.0976563) 0px 0px 0px" border="0" /></font>]]</td></tr><tr><td><font size="2">Kurt Gödel</font></td></tr></tbody></table>

%BLACK% %ENDCOLOR%

%BLACK%En 1970 distribuyó entre sus colegas de profesión una prueba en la cuál mediante argumentaciones lógico-matemáticas probó la existencia de Dios. Esta es su demostración:%ENDCOLOR% %BLACK%<br /><br />%ENDCOLOR%
   * _%BLACK%Axioma 1. (Dicotomía) Una propiedad es positiva si, y sólo si, su negación es negativa.%ENDCOLOR%_
   * _%BLACK%Axioma 2. (Cierre) Una propiedad es positiva si contiene necesariamente una propiedad positiva.%ENDCOLOR%_
   * _%BLACK%Teorema 1. Una propiedad positiva es lógicamente consistente (por ejemplo, existe algún caso particular).%ENDCOLOR%_
   * _%BLACK%Definición. Algo es semejante-a-Dios si, y solamente si, posee todas las propiedades positivas.%ENDCOLOR%_
   * _%BLACK%Axioma 3. Ser semejante-a-Dios es una propiedad positiva.%ENDCOLOR%_
   * _%BLACK%Axioma 4. Ser una propiedad positiva (lógica, por consiguiente) es necesaria.%ENDCOLOR%_
   * _%BLACK%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.%ENDCOLOR%_
   * _%BLACK%Teorema 2. Si x es semejante-a-Dios, entonces ser semejante-a-Dios es la esencia de x.%ENDCOLOR%_
   * _%BLACK%Definición. NE(x): x existe necesariamente si tiene una propiedad esencial.%ENDCOLOR%_
   * _%BLACK%Axioma 5. Ser NE es ser semejante-a-Dios.%ENDCOLOR%_
   * _%BLACK%Teorema 3. Existe necesariamente alguna x tal que x es semejante-a-Dios.%ENDCOLOR%_

[[http://3.bp.blogspot.com/-SB2dQcaZpc0/TgxJ9v6CApI/AAAAAAAAHh0/_oI7jLW-m0Q/s1600/128px-Kurt_G%C3%B6del_signature.svg.png][%BLACK%<img alt="" src="http://3.bp.blogspot.com/-SB2dQcaZpc0/TgxJ9v6CApI/AAAAAAAAHh0/_oI7jLW-m0Q/s1600/128px-Kurt_GÃ¶del_signature.svg.png" style="border-style: none; position: relative; padding: 8px; -webkit-box-shadow: rgba(0, 0, 0, 0.496094) 1px 1px 5px; box-shadow: rgba(0, 0, 0, 0.496094) 1px 1px 5px" border="0" />%ENDCOLOR%]]

%BLACK% %ENDCOLOR%

%BLACK% %ENDCOLOR%

%BLACK%En notación matemática esta prueba es la siguiente:%ENDCOLOR%

%BLACK% %ENDCOLOR% <table align="center" cellspacing="0" style="text-align: -webkit-auto; padding: 8px; margin-bottom: 0.5em; position: relative; -webkit-box-shadow: rgba(0, 0, 0, 0.496094) 1px 1px 5px; box-shadow: rgba(0, 0, 0, 0.496094) 1px 1px 5px; margin-left: auto; margin-right: auto" cellpadding="0" border="0"><tbody><tr><td> [[http://2.bp.blogspot.com/-tEqElX7p5a4/TgxJ3kE_qVI/AAAAAAAAHhw/Xu_WWKVa2vc/s1600/godel+ontological.png][<font color="#000000" size="2"><img width="400" alt="" src="http://2.bp.blogspot.com/-tEqElX7p5a4/TgxJ3kE_qVI/AAAAAAAAHhw/Xu_WWKVa2vc/s400/godel+ontological.png" style="border-style: none; position: relative; padding: 0px; -webkit-box-shadow: rgba(0, 0, 0, 0.0976563) 0px 0px 0px; box-shadow: rgba(0, 0, 0, 0.0976563) 0px 0px 0px" height="216" border="0" /></font>]]</td></tr><tr><td><font size="2">Prueba ontológica de Gödel</font></td></tr></tbody></table>%BLACK%<br />%ENDCOLOR%

%BLACK%<br />%ENDCOLOR%

%BLACK%Gödel basa su argumento en las [[http://www.webdianoia.com/medieval/anselmo.htm][reflexiones de<strong> San Anselmo</strong>]]. Este define a Dios como el ser más grande en el universo. Nada hay más que se pueda imaginar. Por el contrario, si Dios no existiera, entonces un ser superior de alguna forma tiene que existir, las cosas no se crearon de la nada hace millones de años.Como no fue posible explicar eso, entonces por definición, Dios tuvo que existir. Solo que no es el Dios que todos tenemos en mente, solo la energía pura que nos rodea.%ENDCOLOR%

%BLACK% %ENDCOLOR%

%BLACK%¿Cómo se puede enjuiciar una demostración tan abstracta? Muchos lógico-matemáticos no han sido capaces de explicar todos los aspectos de la prueba, y por lo tanto es muy difícil asegurar su completa naturaleza. ¿Es esta demostración el resultado de una meditación profunda, o es el desvarío de un lunático? (Gödel en la parte final de su vida sufrió importantes trastornos mentales) Los méritos académicos de Gödel son impresionantes. Gödel es principalmente famoso por su teorema que demuestra que debían existir fórmulas verdaderas en las matemáticas y en la lógica para las cuales no era posible demostrar su verdad ni su falsedad, convirtiendo de este modo las matemáticas en un sistema incompleto.%ENDCOLOR%

%BLACK%<br />%ENDCOLOR% %BLACK%Fuente: _La maravilla de los números_ Capítulo 16 <strong>Clifford A. Pickover Ediciones Robinbook</strong><br />%ENDCOLOR%

*Axioma: Premisa que se considera «evidente» y es aceptada sin requerir una demostración previa.

%BLACK%*Teorema: Afirmación que puede ser demostrada dentro de un sistema formal.%ENDCOLOR%

%BLACK%*Definición: Proposición que trata de exponer de manera unívoca y con precisión la comprensión de un concepto o término.%ENDCOLOR%
<div id="lws_0">

</div>
Topic revision: r1 - 2013-08-18 - AASuarezQ
Superacion
Copyright &© by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback