EL LÓGICO MÁS IMPORTANTE DE NUESTRO TIEMPO.

EL LÓGICO MÁS IMPORTANTE DE NUESTRO TIEMPO.

El titulo se refiere a Kurt Gödel, el lógico, matemático y filósofo que revoluciono con sus teorías de la lógica y teorías de conjuntos los fundamentos de la matemática. Nació en el año de 1906 en el imperio austro húngaro y murió en estados unidos en el año de 1978, fue un revolucionador de las matemáticas donde llego al punto de asombrar al mismo Albert Einstein, que dijo que ya su trabajo no importaba, que solo le interesaba ir a él para regresarse caminando al lado del gran Kurt Gödel.

Entre sus estudios encontramos contribuciones a la teoría de conjuntos, al estudio del problema de la decisión, la definición por primera vez de las funciones recursivas, la comprobación de la consistencia de la lógica y aritmética clásica respecto a la intuicionista, entre otras contribuciones.

Una de las obsesiones de Gödel era el tiempo y este se constituyó en su más grande interrogante, para él, el tiempo no existía, así como tampoco el futuro, esta cuestión filosófica lo fascino hasta el día de su muerte. Su primer gran teorema se llamó la completitud del cálculo de predicados, este teorema explicaba el sistema de axiomas y reglas que al mismo tiempo permitían explicar y derivar las proposiciones tautológicas de un lenguaje suficientemente expresivo para que pudieran ser formalizadas una gran mayoría de expresiones matemáticas.

Lo que no se imaginaba Gödel es que se acaba de convertir en un hito en la historia de la matemática y la lógica con su teorema, y después de este gran teorema llegaron más que lo terminaron de encumbrar como el más grande lógico del mundo.

Las consecuencias de su primer gran teorema se pueden resumir llamándolos la incompletitud del cálculo de predicados de segundo orden, este se basaba en un lenguaje mucho más expresivo y por lo tanto permitía dar una descripción completa de los números naturales.

El segundo se “llamó” incompletitud a través del teorema de finitud y consistía en el resultado, en apariencia contradictorio de que existen modelos de la teoría de conjuntos que solo poseen un conjunto numerable de elementos, y la tercera se llamaría bautizada por el mismo Gödel como el análisis del futuro y que consistía en que existen elementos mayores que todo número real y que como consecuencia por la existencia de estos números reales existían también otros elementos infinitamente más pequeños.

En la actualidad se investiga más y más cada día sobre los teoremas de este afamado lógico y sobre todo de su teorema sobre la existencia de dios o de una entidad superior, los científicos han hecho posible que cualquier persona pueda comprobar los teoremas de Gödel fácilmente por medio de una computadora, dando como resultante que sus teorías a pesar de que fueron hechas hace mucho tiempo y sin grandes avances en la ciencia, se puedan comprobar hoy en día por medio de estos grandes avances presentes en nuestros tiempos.

...