Kurt Gödel (1906-1978)
Fue un matemático quien realizo un trabajo excepcional (a mi
parecer), sin embargo no es muy conocido, he aqui un poco más de su
obra...
El famoso (o no tanto) trabajo de Godel se centró sobre un
importante problema radicado en el fundamento mismo de las
matemáticas (y de la lógica). Para entender un poco más digamos lo
que es un método axiomatico.
Éste consiste en aceptar sin prueba ciertas proposiciones como
axiomas o postulados y en derivar luego de esos axiomas todas las
demás proposiciones del sistema (como teoremas). En otras palabras
los axiomas son los cimientos y los teoremas son la estructura. El
método axiomático adquirió fuerza y nuevas y viejas ramas de las
matemáticas (aritmética de enteros) se "axiomatizaron" y todo el
mundo era feliz pues estos axiomas parecían no tener problemas,
hasta que llego Gödel y demostro que el método axiomático tiene ciertas limitaciones
intrínsecas que excluyen la posibilidad de que ni siquiera la
aritmética ornidaria pueda llegar a ser plenamente axiomatizada.
En resumén, lo que Gödel demostró es que cierto metodo axiomático
tiene problemas dentro de su misma estructura, tal vez esto no suene
tan interesante sin embargo hay muchas implicaciones que se ven
reflejadas en las computadoras, los robots y las matemáticas mismas.
No hay comentarios:
Publicar un comentario