Kurt Gödel

Fue un lógico, matemático y filósofo austríaco. Se le considera uno de los lógicos más importantes de todos los tiempos. Su trabajo ha tenido un impacto inmenso en el pensamiento científico y filosófico del siglo XX.
Con 18 años ingresó en la Universidad de Viena. Entonces ya dominaba las matemáticas a nivel universitario. Aunque al principio pretendió estudiar física teórica, también asistió a cursos de filosofía y matemáticas.
Asistió a un seminario dirigido por Schlick, donde se estudiaba el libro Introducción a la lógica matemática de Bertrand Russell, lo que le motivó a interesarse por la lógica matemática.
Se le conoce sobre todo por sus dos teoremas de la incompletitud, publicados en 1931, un año después de finalizar su doctorado en la Universidad de Viena. El más célebre establece que para todo sistema axiomático recursivo autoconsistente lo suficientemente poderoso como para describir la aritmética de los números naturales, existen proposiciones verdaderas sobre los naturales que no pueden demostrarse a partir de los axiomas. Para demostrar este teorema, desarrolló una técnica denominada ahora numeración de Gödel, que codifica expresiones formales como números naturales.
También demostró que la hipótesis del continuo no puede refutarse desde los axiomas aceptados de la teoría de conjuntos, si dichos axiomas son consistentes.
Realizó importantes contribuciones a la teoría de la demostración al esclarecer las conexiones entre la lógica clásica, la lógica intuicionista y la lógica modal.