Kurt Gödel

 

Regresar a Personajes Fundamentales de la Informática

Regresar a www.fgalindosoria.com

 

Kurt Gödel (20120424)

Kurt Gödel ([kuɹtˈgøːdl]) (28 de abril de 1906 Brno (Brünn), Imperio austrohúngaro (ahora República Checa) – 14 de enero de 1978 Princeton, New Jersey) fue un lógico, matemático y filósofo

http://es.wikipedia.org/wiki/Kurt_G%C3%B6del

 

 

La tesis doctoral de Kurt Gödel 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

....el cálculo lógico de primer orden era lo suficientemente potente como para deducir todas las fórmulas válidas (y sólo estas)

 

Obra de Kurt Gödel

“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. Dos años antes, Hilbert y Ackermann habían delimitado de un modo claro la lógica de primer orden y presentado un cálculo lógico para ella. Dicho cálculo no era completo sintácticamente en el sentido de que para cada fórmula o bien ella o bien su negación fuera deducible. Esto es así ya que un cálculo lógico solo pretende generar las fórmulas válidas (fórmulas verdaderas bajo cualquier interpretación), y hay muchas fórmulas tales que ni ellas ni su negación son válidas. Lo que si podía plantearse era la cuestión de si el cálculo era semánticamente suficiente, es decir, si permitía deducir todas las fórmulas válidas. Hilbert y Ackermann no habían encontrado respuesta a esta pregunta en 1928, y eso precisamente es lo que hizo Gödel dos años después, dando respuesta positiva: el cálculo lógico de primer orden era lo suficientemente potente como para deducir todas las fórmulas válidas (y sólo estas).”

http://thales.cica.es/rd/Recursos/rd97/Biografias/08-1-b-obra.html