Kurt Gödel Regresar a Personajes Fundamentales de la Informática Regresar a www.fgalindosoria.org 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 |