Kurt Gödel

Introducción

Kurt Gödel ha sido uno de los más grandes lógicos de todos los tiempos. Ocupa, junto a Bertrand Russell, la más alta posición del siglo XX en cuestiones como los fundamentos o la filosofía de las Matemáticas. Estas breves páginas intentan aportar algunos datos sobre su vida y su obra.

Kurt Freidrich Gödel nació el 28 de de abril de 1906 en Brünn, Moravia (Austria- Hungría, en el día de hoy República Checa).

La obra lógica de Gödel hay que relacionarla desde el principio con el programa formalista de Hilbert. Su tesis doctoral fue su famosa prueba de la suficiencia semántica del cálculo lógico de primer orden, y sólo tenía 11 páginas.