Flashcards

Kurt Godel

Selene Ramirez Matemáticas Tercero English 10 cards

Cards in this deck (10)

1Kurt Godel nació en 1906 en Brunn (Imperio Astro-húngaro) ahora República Checa.Desde pequeño fue un niño curioso.
2Estudia en la Universidad de Viena, pretendía estudiar física, finalmente estudia matemáticas y filosofía.Asiste a una conferencia de Hilbert sobre la completud y la consistencia de los sistemas matemáticos.
3Godel desarrolla su tesis doctoral "Sobre sentencias formalmente indecibles de principal mathematica y sistemas afines".Llamado de manera común "Teorema de la incompletitud" Publicado en 1931.
4La pregunta que se planteó: ¿son suficientes los axiomas de un sistema formal para derivar cada una de las proposiciones verdaderas en todos los modelos del sistema?.El Teorema de la incompletitud dice:
"Siempre habrá hechos verdaderos sobre los números que jamás podremos demostrar a partir de estos axiomas".
5El Teorema de la incompletitud dice: "No puede existir una teoría matemática del todo; ninguna unificación de lo demostrable y lo que es cierto".
6Kurt Godel trabajó con un sistema de 25 símbolos.
7El Teorema de la incompletitud echa por tierra el famoso "axioma de la solubilidad de todo problema matemático" que postulaba Hilbert.Causó tal impacto que menciona: "Hagamos notar que el teorema IX no se opone al punto de vista formalista de Hilbert" y propone algunas ampliaciones al concepto de formalismo que se había considerado antes.
8El trabajo de Godel inició nuevas ramas en el estudio de la lógica matemática.Revolucionó la filosofía del conocimiento y la filosofía de las matemáticas.
9En 1933 se muda a EUA. Trabajó también la lógica intuicionista, teoría de conjuntos, teoría de modelos.Trabajó y comentó sobre la relatividad con Albert Einstein.
10Murió en el año 1978 de inanición. Obsesionado con la posibilidad de ser envenenado, cuando su esposa Adele tuvo que ser hospitalizada y no pudo cocinar para su marido, Kurt, coherente, rehusó comer cualquier cosa y murió pesando 30 kilos.Sus aportaciones son importantes para el estudio de la lógica matemática y las bases de la Inteligencia Artificial.