Abrir menú principal

Cambios

14 bytes añadidos ,  hace 1 año
sin resumen de edición
Alvaro es g@y{{otros usos|Gödel (lenguaje de programación)|el lenguaje de programación}}
{{Ficha de persona
| nombre = Kurt Gödel
'''Kurt Gödel''' o también '''Kurt Goedel''' ({{IPA|[ˈkʊʁt ˈɡøːdəl]}}; [[Brno|Brünn]], [[Imperio austrohúngaro]], actual [[República Checa]], 28 de abril de 1906-[[Princeton (Nueva Jersey)|Princeton]], [[Estados Unidos]]; 14 de enero de 1978) fue un [[lógico]], [[matemático]] y [[filósofo]] [[austria]]co-[[estadounidense]].<ref>{{cita web |url=http://www.biografiasyvidas.com/biografia/g/godel.htm |título=Kurt Gödel en Biografía y Vidas |fechaacceso=6 de diciembre de 2011}}</ref>
 
Se le considera uno de los lógicosmáslógicos más importantes de todos los tiempos. Su trabajo ha tenido un impacto inmenso en el pensamiento científico y filosófico del [[siglo XX]]. Al igual que otros pensadores —como [[Gottlob Frege]], [[Bertrand Russell]], [[Alfred North Whitehead|A. N. Whitehead]] y [[David Hilbert]]—, Gödel intentó emplear la lógica y la [[teoría de conjuntos]] para comprender los fundamentos de la [[matemática]].
 
Se le conoce sobre todo por sus dos [[Teoremas de la incompletitud de Gödel|teoremas de la incompletitud]], publicados en 1931, un año después de finalizar su doctorado en la [[Universidad de Viena]]. El más célebre establece que para todo [[sistema axiomático]] [[recursivo]] auto-[[Consistencia (lógica)|consistente]] lo suficientemente poderoso como para describir la [[aritmética]] de los [[números naturales]] (la [[axiomas de Peano|aritmética de Peano]]), existen proposiciones verdaderas sobre los naturales que no pueden demostrarse a partir de los [[axioma]]s. Para demostrar este teorema, desarrolló una técnica denominada ahora [[numeración de Gödel]], que codifica expresiones formales como números naturales.
Usuario anónimo