Etiqueta: Alan Turing

Alan Turing’s Systems of Logic

En la celebración del centenario de Turing la Universidad de Pricenton se unió al evento, entre otras actividades, con la publicación de su tesis en un libro titulado «Alan Turing’s Systems of Logic: The Princeton Thesis«, Edited and introduced by Andrew W. Appel. En la edición española de Investigación y Ciencia, Febrero 2013, nº437, Luis… Seguir leyendo Alan Turing’s Systems of Logic

El teorema de Gödel, una aproximación a la verdad matemática (II)

Algunos vínculos entre el teorema de Gödel de 1931 y el resultado de Turing de 1936 [II]   En 1931, el eminente matemático y lógico alemán cerraría —de una forma inesperada para Hilbert— las cuestiones de la completitud y de la consistencia de ciertas teorías matemáticas. En definitiva —y de forma breve— [primer teorema de… Seguir leyendo El teorema de Gödel, una aproximación a la verdad matemática (II)