Flashcards
Aportaciones de Kurt Gödel acerca de la lógica.
Flashcards do conjunto (10)
- 1KURT GÖDELLógico, matemático y filósofo, nació en 1906 en Brünn (Imperio Austro-Húngaro), ahora Brno en la República Checa. Falleció en 1978 en Princeton, New Jersey, EE.UU.
- 2Fechas importantesEstudió en la Universidad de Viena obteniendo su doctorado en 1929.
En 1930 entró a formar parte del claustro de profesores de la Universidad de Viena.
En 1931, con sólo 25 años, publicó su logro principal que hoy es conocido como: - 3Teorema de Incompletitud de GödelDemostró que si se toma un sistema de axiomas lo suficientemente amplio - que contenga los axiomas de la aritmética como mínimo - siempre existirán proposiciones cuya certeza o falsedad será imposible demostrar, es decir serán proposiciones indecidibles.
- 4Llegada a Estados UnidosYa establecido en EE.UU., produjo otro trabajo de enorme importancia que venía meditando desde 1938:
- 5Consistencia del Axioma de ElecciónDel trabajo de Kurt Gödel3 y Paul Cohen se deduce que el axioma de elección es lógicamente independiente de los otros axiomas de la teoría axiomática de conjuntos. Esto significa que ni AE ni su negación pueden demostrarse ciertos dentro de los axiomas de Zermelo-Fraenkel (ZF), si esa teoría es consistente. En consecuencia, asumir AE o su negación nunca llevará a una contradicción que no se pudiera obtener sin tal supuesto.
- 6Hipótesis del ContinuoKurt Gödel en 1938-1940 demostró que no existe peligro en tomar la H. del Continuo como un axioma de la Teoría de Conjuntos sin que aparezca contradicción alguna, no era una demostración de la H. del Continuo, sino tan sólo una demostración de que tal hipótesis no puede ser refutada
- 7Un segundo teorema de GödelSugiere la limitación inherente de los sistemas matemáticos e “implica que las únicas versiones de la teoría formal de los números que declaran su consistencia son inconsistentes”.
- 8La numeración de GödelDefinió una función g sobre el conjunto de los símbolos primitivos del sistema, tal que a cada símbolo le asigna un número natural, y mediante ciertos procedimientos se extiende la función g para asignarle un número gödeliano a toda fórmula del sistema (sucesión de símbolos) y a toda prueba del sistema (sucesión finita de fórmulas).
- 9Dato interesanteUno de sus amigos más cercanos en Princeton fue Albert Einstein. No está claro cuánto influyó Einstein para que Gödel trabajara en Relatividad, pero ciertamente se ocupó creativamente de cosmología relativista, encontró soluciones sorprendentes a las ecuaciones del campo gravitatorio de la Relatividad General que determinan universos rotatorios y fascinantes en los que el tiempo pierde su sentido habitual.
- 10ConclusionesEl trabajo de Gödel inició nuevas ramas de estudio de la Lógica Matemática. Provocó una revolución de las filosofías matemáticas y más aún de las filosofías del conocimiento en general.
Informações
- Descrição
- Pensamiento lógico matemático según Kurt Gödel.
- Criado por
- XENIA ESTEFANIA REYES CUEVAS
- Visualizações
- 21
- Tags
- Avaliação