Kurt Gödel
Detalles- Detalles
- Categoría: Quién es quien
- Publicado el Domingo, 24 Septiembre 2006 13:27
Contribuyó al desarrollo de la teoría de conjuntos, trabajó sobre la decibilidad de los problemas y sobre la numerabilidad de los conjuntos.
Kurt Gödel es uno de los grandes matemáticos y lógicos de todos los tiempos.
En los años 30, hizo tambalear los pilares de las matemáticas con su Teorema de incompletitud.
Aunque entender sus trabajos requiere de grandes conocimientos de matemáticas (y también una mente relativamente despabilada), su impacto en las teorías de la computación ha sido muy importante.
Existe un proceso para ayudar a decidir la numerabilidad de un conjunto llamado "godelización" en su honor.
Enlaces:
-Gödel en la Wikipedia
-El Señor Por qué en Tecnología Obsoleta. Autor: Alejandro Polanco.
-Una breve introducción muy ilustrativa del teorema de incompletitud. Autor: Antonio Martinón
