En la república Checa en el año 1906 nace Kurt Gödel , considerado como uno de los más grandes y prestigiosos matemáticos del siglo XX, además de los lógicos más influyentes de todos los tiempos y es que ya desde joven a sus veintitrés años publicó el Teorema de completitud del cálculo de predicados de primer orden, que afianzaba el trabajo de Hilbert, y tan solo un año después en 1931 en tan solo 25 páginas publica en la revista Monatshefte für Matematik und Physik quizás uno de sus trabajos más influyentes que hoy conocemos como "Teorema de incompletitud de Gödel" y es que casi 69 años después aún somos muchos los que quedamos fascinados y sorprendidos ante la belleza de este teorema, e intentándolo entender, nos damos cuenta de su importancia, y es que en el curso de Introducción a la teoría de conjuntos se estudia uno de los sistemas formales más amplios construidos hasta la fecha "La teoría de conjuntos de Zermelo-Fraenkel" un sistema tan amplio que muchos de los métodos usados en matemáticas son formalizados con esta teoría, luego no es desatinado encontrar relaciones entre el trabajo de Gödel y el temario del curso.
コメント