Sin ánimo alguno de armar forobardo, solo de publicar las investigaciones de estos científicos. No es forobardo ni tampoco es pro-católico ni pro-evangélico ni pro-nada, dado que mi visión personal de Dios no es similar a la de las religiones, sino que el Dios en el que yo creo es un Dios científico/matemático.
Tomen este post tal como lo posteo, como información con la que podés estar de acuerdo (o no) y nada mas.
Kurt Gödel
Kurt Gödel es, sin duda, uno de los más importantes matemáticos del S.XX, considerado un verdadero genio por sus pares. 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 Teoremas de Incompletitud.
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:
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.
En notación matemática esta prueba es la siguiente:
¿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.
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.
Fuente (libro): La maravilla de los números Capítulo 16 Clifford A. Pickover Ediciones Robinbook
Grigori Perelman:
De este super-genio moderno hablé en este post:
Supongo que ya todo el mundo lo conoce, pero por si acaso os lo presento: Grigori Perelman. Se hizo famoso hace pocos años al demostrar la conjetura de Poincaré, enunciada en 1904, sobre la catalogación del espacio topológico n-dimensional. Se había demostrado para n=2 dimensiones, para 5 dimensiones, para 4, etc, pero la única demostración que se resistía era para n=3 dimensiones, precisamente el número de dimensiones de nuestro espacio. Esta demostración le ha valido la Medalla Fields (el Nobel de Matemática) y un millón de dólares. Por su puesto Perelman se niega a recoger la medalla y la pasta, porque prefiere vivir en la miseria con su madre en un micropiso de San Petersburgo, dando clases particulares, y no quiere ser un mono de feria.
En mi opinión, dicha demostración fue incluso más importante que la del Teorema de Fermat (por Andrew WIles), ya que el hecho de no tenerla para el espacio 3-dimensional, donde vivimos, implicaba que tal vez los seres humanos y el mundo no existían, o que estábamos en otra dimensión. (Todo eso me provocaba convulsiones, astenia e insomnio cada noche) .Ahora sabemos, gracias a Perelman, que somos tangibles, y podemos ir a comprar el pan o a un concurso de lanzamiento de azadas.
La noticia ahora es que Perelman ha encontrado la demostración matemática de la existencia de Dios. Ya era hora, después de la Suma Teológica (que, más que a Santo Tomás, se la debemos a su ayudante que la salvó de las llamas cuando su maestro la arrojó en Un Día de Furia), no se habían hecho grandes progresos en esta línea. La lógica modal ha abierto una vereda que todavía no sabemos a dónde va. Todavía no he tenido acceso a la demostración (la de Andrew Wiles era de más de 100 folios).
Esta es la última imagen que se tiene de Perelman, fue tomada en el 2007, en el metro de San Petersburgo, por un ciudadano que lo reconoció. En la foto con las J´Hayber de toda la vida.
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz, a veces von Leibniz1 (Leipzig, 1 de julio de 1646 - Hannover, 14 de noviembre de 1716) fue un filósofo, lógico, matemático, jurista, bibliotecario y político alemán, es quizás el mas grande pensador de los siglos XVII y XVIII, y se le reconoce como "El último genio universal".
El filósofo de Leipzig, toma dos cursos para elaborar las pruebas de la existencia de Dios, estos son la naturaleza a priori y a posteriori. En el argumento denominado cosmológico Leibniz parte de una observación empírica de la realidad fenoménica, este argumento está principalmente elaborado sobre la premisa del principio de razón suficiente, en donde afirma que nada es sin razón; a saber que todo lo que existe tiene una razón suficiente para ser tal cual es, y no de otra manera, en este mismo argumento Leibniz llega a la idea de un Ser Necesario mediante la noción ontológica de la contingencia del mundo y de los seres, cabe destacar, que él entiende por contingente, aquello que por negación no implica contradicción, es decir, aquello que podría ser de otra manera sin que por ello se incurriese en un absurdo lógico.
"Para crear el mundo, Dios se baso en el principio de razón suficiente."
"En el caso de los seres contingentes, el paso de la esencia a la existencia, exige una causa. La causa suprema del universo es Dios. Y Dios crea libremente."
En el desarrollo de este argumento se pone de manifiesto que el universo tiene en Dios su causa y que pudo ser de cualquier otra manera posible, ya que no tiene en sí su propia causa, y si la tuviera no fuera contingente, su causa es dada por un Ser Necesario.
"Cada conjunto de posibilidades, constituye un mundo posible, y el número de los mundos posibles, que vienen dados con el ser de Dios, es infinito."
"La razón final de las cosas ha de buscarse en una sustancia necesaria y a eso es lo que llamamos Dios"
El principio de razón suficiente constituye el fundamento de este argumento, basándose en lo anterior, el mismo Leibniz asevera que hay infinitos mundos posibles, pero sólo existe uno, por tanto, ha de haber una razón suficiente por la que Dios escogiera éste y no otro. La razón suficiente es que este mundo, es el mejor de los mundos posibles, pues entre todos los que aspiraban a la realidad, sólo éste ha podido tenerla.
Ver: http://www.accessmylibrary.com/article-1G1-140490183/las-demostraciones-de-la.html
Leonhard Euler
Esta tendencia que parece de moda no tiene nada de nuevo. En un debate entre el matemático suizo Leonhard Euler (1707-1783) y el filósofo francés Denis Diderot (1713-1784) acerca de la existencia de Dios, Euler le mostró esta “contundente” demostración de existencia:
Vaya uno a saber cuales eran las intenciones de Euler con respecto a Diderot, que según cuentan las historias era bastante pesado e insistente con su ateismo.
Tomen este post tal como lo posteo, como información con la que podés estar de acuerdo (o no) y nada mas.
Kurt Gödel
Kurt Gödel es, sin duda, uno de los más importantes matemáticos del S.XX, considerado un verdadero genio por sus pares. 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 Teoremas de Incompletitud.
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:
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.
En notación matemática esta prueba es la siguiente:
¿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.
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.
Fuente (libro): La maravilla de los números Capítulo 16 Clifford A. Pickover Ediciones Robinbook
Grigori Perelman:
De este super-genio moderno hablé en este post:
Supongo que ya todo el mundo lo conoce, pero por si acaso os lo presento: Grigori Perelman. Se hizo famoso hace pocos años al demostrar la conjetura de Poincaré, enunciada en 1904, sobre la catalogación del espacio topológico n-dimensional. Se había demostrado para n=2 dimensiones, para 5 dimensiones, para 4, etc, pero la única demostración que se resistía era para n=3 dimensiones, precisamente el número de dimensiones de nuestro espacio. Esta demostración le ha valido la Medalla Fields (el Nobel de Matemática) y un millón de dólares. Por su puesto Perelman se niega a recoger la medalla y la pasta, porque prefiere vivir en la miseria con su madre en un micropiso de San Petersburgo, dando clases particulares, y no quiere ser un mono de feria.
En mi opinión, dicha demostración fue incluso más importante que la del Teorema de Fermat (por Andrew WIles), ya que el hecho de no tenerla para el espacio 3-dimensional, donde vivimos, implicaba que tal vez los seres humanos y el mundo no existían, o que estábamos en otra dimensión. (Todo eso me provocaba convulsiones, astenia e insomnio cada noche) .Ahora sabemos, gracias a Perelman, que somos tangibles, y podemos ir a comprar el pan o a un concurso de lanzamiento de azadas.
La noticia ahora es que Perelman ha encontrado la demostración matemática de la existencia de Dios. Ya era hora, después de la Suma Teológica (que, más que a Santo Tomás, se la debemos a su ayudante que la salvó de las llamas cuando su maestro la arrojó en Un Día de Furia), no se habían hecho grandes progresos en esta línea. La lógica modal ha abierto una vereda que todavía no sabemos a dónde va. Todavía no he tenido acceso a la demostración (la de Andrew Wiles era de más de 100 folios).
Esta es la última imagen que se tiene de Perelman, fue tomada en el 2007, en el metro de San Petersburgo, por un ciudadano que lo reconoció. En la foto con las J´Hayber de toda la vida.
Gottfried Wilhelm Leibniz
Gottfried Wilhelm Leibniz, a veces von Leibniz1 (Leipzig, 1 de julio de 1646 - Hannover, 14 de noviembre de 1716) fue un filósofo, lógico, matemático, jurista, bibliotecario y político alemán, es quizás el mas grande pensador de los siglos XVII y XVIII, y se le reconoce como "El último genio universal".
El filósofo de Leipzig, toma dos cursos para elaborar las pruebas de la existencia de Dios, estos son la naturaleza a priori y a posteriori. En el argumento denominado cosmológico Leibniz parte de una observación empírica de la realidad fenoménica, este argumento está principalmente elaborado sobre la premisa del principio de razón suficiente, en donde afirma que nada es sin razón; a saber que todo lo que existe tiene una razón suficiente para ser tal cual es, y no de otra manera, en este mismo argumento Leibniz llega a la idea de un Ser Necesario mediante la noción ontológica de la contingencia del mundo y de los seres, cabe destacar, que él entiende por contingente, aquello que por negación no implica contradicción, es decir, aquello que podría ser de otra manera sin que por ello se incurriese en un absurdo lógico.
"Para crear el mundo, Dios se baso en el principio de razón suficiente."
"En el caso de los seres contingentes, el paso de la esencia a la existencia, exige una causa. La causa suprema del universo es Dios. Y Dios crea libremente."
En el desarrollo de este argumento se pone de manifiesto que el universo tiene en Dios su causa y que pudo ser de cualquier otra manera posible, ya que no tiene en sí su propia causa, y si la tuviera no fuera contingente, su causa es dada por un Ser Necesario.
"Cada conjunto de posibilidades, constituye un mundo posible, y el número de los mundos posibles, que vienen dados con el ser de Dios, es infinito."
"La razón final de las cosas ha de buscarse en una sustancia necesaria y a eso es lo que llamamos Dios"
El principio de razón suficiente constituye el fundamento de este argumento, basándose en lo anterior, el mismo Leibniz asevera que hay infinitos mundos posibles, pero sólo existe uno, por tanto, ha de haber una razón suficiente por la que Dios escogiera éste y no otro. La razón suficiente es que este mundo, es el mejor de los mundos posibles, pues entre todos los que aspiraban a la realidad, sólo éste ha podido tenerla.
Ver: http://www.accessmylibrary.com/article-1G1-140490183/las-demostraciones-de-la.html
Leonhard Euler
Esta tendencia que parece de moda no tiene nada de nuevo. En un debate entre el matemático suizo Leonhard Euler (1707-1783) y el filósofo francés Denis Diderot (1713-1784) acerca de la existencia de Dios, Euler le mostró esta “contundente” demostración de existencia:
Vaya uno a saber cuales eran las intenciones de Euler con respecto a Diderot, que según cuentan las historias era bastante pesado e insistente con su ateismo.