Kurt Gödel

De Kinder Wiki
Ir a la navegaciónIr a la búsqueda
Kurt Gödel

Kurt Gödel (28 de abril 28 de 1906 Brno, entonces Imperio austrohúngaro, ahora República Checa14 de enero de 1978 Princeton, New Jersey) fue un lógico, matemático, y filósofo de las mismas.

Impacto[editar | editar código]

Algunos consideran a Gödel como uno de los lógicos más importantes de todos los tiempos. La obra de Gödel ha tenido un impacto enorme en el pensamiento científico y filosófico del siglo pasado. Muchos, incluyendo a Bertrand Russell, A. N. Whitehead y David Hilbert, trataron de usar la lógica y la teoría de conjuntos por entonces. Ellos trataban de comprender las bases de las matemáticas.

Fama[editar | editar código]

Gödel es major conocido por sus dos teoremas de la incompletud de Gödel. Los teoremas se publicaron en el año 1931. El tenía 25 años de edad y recien había terminado su doctorado en la Universidad de Viena un año antes.

El más famoso de los teoremas sostiene que si son consistentes dos sistemas axiomáticos que sean lo suficiente poderosos para describirse así mismos, habrán cosas que son ciertas en aquellos sistemas que no pueden probarse dentro del sistema mismo.

Prueba[editar | editar código]

Para demostrar este teorema, Gödel desarrolló una técnica ahora conocida como numeración de Goedel, que codifica las expresiones formales como números naturales.

El tambien demostró la hipótesis continua no puede demostrarse como falsa desde los axiomas de la teoría de conjuntos, si aquellos axiomas son consistentes. Hizo contribuciones importantes a la teoría de la prueba. Lo logró clarificando las relaciones entre la lógica clásica, la logica intuitiva y la lógica modal.


Proyecto hermano[editar | editar código]