Tabla de contenido
¿Qué propuso Kurt Godel?
Kurt Gödel nació en 1906 en Brünn (Imperio Austro-Húngaro), ahora Brno en la República Checa. En 1931, con sólo 25 años, publicó su logro principal que hoy es conocido como el TEOREMA DE INCOMPLETITUD DE GÖDEL, posiblemente el descubrimiento matemático más importante del Siglo XX (igualmente denso, sólo 25 páginas).
¿Dónde estudió Kurt Godel?
Universidad de VienaKurt Gödel / Educación (1923–1929)
Estudios en Viena A los 18 años, Kurt se reunió con su hermano mayor Rudolf (nacido en 1902) e ingresó en la Universidad de Viena.
¿Quién es el Dios de las matemáticas?
En la mitología griega, Urania (en griego Οὐρανία, ‘celestial’) es la musa de la Astronomía y la Astrología. A sus pies, se encuentran esparcidos algunos instrumentos de matemáticas, razón por la cual algunos la consideran, de forma tácita, como musa de las matemáticas y de todas las ciencias exactas.
¿Cuál es el argumento de Gödel?
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.
¿Cuál es la religión de Gödel?
En una carta no enviada como respuesta a un cuestionario, Gödel describió su religión como «bautizado Luteriano (pero no pertenezco a ninguna congregación religiosa). Mi creencia es teísta, no panteísta, pareciéndose más a Leibniz que Spinoza .» La prueba utiliza lógica modal, que distingue entre verdades necesarias y verdades contingentes.
¿Qué dijo Gödel sobre la vida después de la muerte?
En cartas a su madre, quien no era practicante y había apoyado a Kurt y a su hermano como librepensadores, Gödel argumentó extensamente a favor de la creencia en una vida después de la muerte. Él hizo lo mismo en una entrevista con el escéptico Hao Wang, quién dijo: «Expresé mis dudas según G habló […]
¿Cuál fue la primera versión de la prueba ontológica?
Una versión más elaborada fue dada por Gottfried Leibniz (1646–1716); esta es la versión que Gödel estudió e intentó aclarar con su argumentación. La primera versión de la prueba ontológica en los escritos de Gödel es de «alrededor de 1941».