Ensayo De Godel

Kurt Gödel

Desde mi punto de vista lo que se pretende explicar en breves palabras en esta cuartilla es la biografía de Kurt Gödel, y la historia de las matemáticas y la lógica. Para iniciar Kurt Gödel; nació el 28 de abril de 1906 en el seno de una familia de origen alemán a la edad de 42 años se convirtió en ciudadano Estado Unidese. Fue psicótico, sufrió frecuentes episodios de paranoia, temiendo hacer envenenado murió en 1978, víctima de su negativa a comer y con su muerte, desapareció el lógico matemático más importante de todos los tiempos. Según lo que he leído Gödel es reconocido como unos de los más importantes lógicos de todas las épocas, siendo que su trabajo ha tenido un impacto grandioso en el pensamiento científico y filosófico del siglo XX, con el teorema de imposibilidad o el llamado teorema de incompletitud de Gödel, puede considerarse como la cumbre de los imposibles matemáticos. Por eso yo como lector estoy de acuerdo con Gödel porque evidentemente él quiso exteriorizar la teoría de la demostración y la lógica matemática; David Hilbert era el matemático más prestigioso de aquellos años, proyectó su programa de formalización de las Matemáticas, el método estaba bastante claro mostrando unos elementos necesarios, y fijando unos axiomas; proposición que se considera cierta y se acepta sin pretender una demostración previa y usando las reglas de la lógica, se van mostrando todas las verdades de las matemáticas. A mi modo de ver lo que Gödel vino a demostrar en su célebre teorema es que es un imposible, no pueden demostrarse todas las verdades de las matemáticas, argumentando que existen proposiciones verdaderas que no pueden demostrarse a partir de los axiomas.

Finalmente este famoso teorema de imposibilidad de Gödel muestra que no hay ningún método de prueba formal con el poder de demostrar todas las verdades de la matemática, su prueba de este teorema, en sí misma es estrictamente matemática, sin embargo considero que produjo un brusco giro en la filosofía de la matemática, Por tanto se había supuesto que la verdad matemática consistía en la demostrabilidad, y el interés formalista de David Hilbert.

...