Enlaces: Gödel y Turing en el Topo Lógico
11, 28 de 2006-04-28 de 2006
“El lógico matemático Kurt Gödel fue uno de los gigantes intelectuales del siglo XX y, en el supuesto de que la especie se conserve, una de las pocas figuras contemporáneas que serán recordadas dentro de 1.000 años. [...] A pesar de que en todas las disciplinas es corriente alentar una cierta miopía profesional, lo cierto es que esta opinión no es fruto de un caso de autocomplacencia por parte de los matemáticos. Simplemente es la verdad.” (John Allen Paulos, 1991).
Así comienza la serie de artículos de El Topo Lógico que debe culminar (aún se está publicando) en la demostración de los dos teorema de Gödel que revolucionaron la Matemática del siglo XX.
La bitácora citada (que ya recomendamos hace un mes) contiene también muchos pasatiempos lógicos del tipo de los veraces y mentirosos de Smullyan, reseñas de novelas con argumento o ambientación matemática y otras curiosidades que sin duda serán del gusto de los lectores de ésta.
