37654341
Description
Flashcards by Selene Ramirez, updated more than 1 year ago
|
Created by Selene Ramirez
over 2 years ago
|
|
| Question | Answer |
| Kurt Godel nació en 1906 en Brunn (Imperio Astro-húngaro) ahora República Checa. | Desde pequeño fue un niño curioso. |
| Estudia 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. |
| Godel 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. |
| La 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". |
| El 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". | |
| Kurt Godel trabajó con un sistema de 25 símbolos. | |
| El 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. |
| El 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. |
| En 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. |
| Murió 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. |
Want to create your own Flashcards for free with GoConqr? Learn more.