GÖDEL, KURT (1906-1978)

Nac. en Brno (Checoslovaquia), se trasladó en 1924 a Viena, donde estuvo en relación estrecha con miembros del llamado «Círculo de Viena». Emigrado a los Estados Unidos, fue desde 1935 hasta su muerte miembro perma­nente del «Institute of Advanced Study», en Princeton (New Jersey). Entre sus contribu­ciones a la lógica matemática figuran: su teorema de la incompletitud con la prueba de que la teoría numérica elemental y cualquier lógica suficientemente rica para alojarla son o inconsistentes (véase Consistente) o incompletas (véase Completo); su teorema y la prueba de que no puede formalizarse una prueba de consistencia para todo sistema bien definido de axiomas a base de tales axiomas; y, finalmente, su demostración de que la hipótesis cantoriana del continuo es consistente con los demás axio­mas de la teoría de los conjuntos si estos axiomas son consistentes. Nos extendemos con más detalle sobre los dos primeros teo­remas en el