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)
Etiqueta: Kurt Gödel
El teorema de Gödel, una aproximación a la verdad matemática
El pasado 23 de enero, dentro de las actividades programadas en el Congreso RSME2013, presentación del libro “El teorema de Gödel, una aproximación a la verdad matemática”. El autor es Josep Plà, reconocido especialista en lógica algebraica e historia de las matemáticas de la Universitat de Barcelona. Aprovechado la publicación le solicitamos al autor unas lineas sobre… Seguir leyendo El teorema de Gödel, una aproximación a la verdad matemática