Godel, Kurt

Indice General | Enciclopedia de Matemáticas

Página 1 de 2

En el ámbito de los razonamientos matemáticos abstractos y de la adecuación de la lógica a axiomas, el investigador estadounidense de origen checo Kurt Gödel realizó una ingente labor de consolidación y fijación de teoremas y principios. Gödel nació el 28 de abril de 1906 en Brno, ciudad del imperio austro-húngaro posteriormente incluida en el territorio de Checoslovaquia. En 1924 se trasladó a Viena y colaboró en su universidad desde 1930. En la misma década fue nombrado miembro asociado del Instituto de Estudios Avanzados de la Universidad de Princeton, en los Estados Unidos. En 1931 cuestionó en la revista Monatshefte für Mathematik und Physik (Cuadernos Mensuales de Matemáticas y Física) las bases de la filosofía matemática de su época. Hasta entonces, matemáticos y físicos habían considerado que un modelo lógico era tanto más perfecto cuanto más completo fuera del conjunto de principios básicos en los que se sustentara. Gödel, sin embargo, demostraba el carácter restrictivo de esta tendencia, de manera que, si bien la postura axiomática es una táctica de acción ideal, no es perfecta y todo sistema de axiomas coherente ha de ser forzosamente incompleto. Así advirtió del peligro que supone el abuso de premisas y suposiciones como causantes de posibles contradicciones o incongruencias.