Teorema de Gödel

[Elius]

Es una demostración que desarrolla Raymond Smullyan en su libro "Para imitar a un pájaro imitador"

Hola, Gustavo,
pude conseguir en internet la versión en inglés:
http://www.filestube.com/9K0jU74buMm2iFVRVhzGT4/Smullyan-R-To-Mock-a-Mockingbird-Alfred-A-Knopf-1985-ISBN-0394534913-600dpi-T-257s.html

Curiosa la traducción al castellano del título, normalmente uno diría que lo más aproximado es "Burlar a un ruiseñor", que es un juego de analogía con el famoso best seller "Matar a un ruiseñor" (To kill a mockingbird). Probablemente hayan querido salvar el juego de palabras, porque la traducción literal de "mockingbird" es "pájaroburlador".

Otro libro que propone juegos para explicar el teorema es "Gödel, Escher, Bach", de Douglas Hofstadter, aunque es un poco denso, con sus aproximadamente mil páginas, y sus paralelismos con la música de Bach y los grabados de Escher... ¿Alguien lo leyó? ¿Qué opinión tienen de él y de los otros libros de Hofstadter referidos al tema ("Yo soy un bucle extraño", )?

Saludos!

[Gustavo Piñeiro]

Hola Elius,

Gracias por el enlace, lo copié en el hilo donde he empezado a comentar ese libro de Smullyan.

Leí hace unos meses "Yo soy un bucle extraño" y me decepcionó bastante.

El famosísismo "Gödel, Escher y Bach" está muy bien, aunque conservo claramente la impresión de que a veces es demasiado reiterativo en sus explicaciones (por momentos el autor parece olvidar que el lector puede releer los pasajes difíciles, y que no es necesario que los vuelva a escribir).

Un saludo!

[Elius]

Agrego el enlace al hilo donde Gustavo está desarrollando su explicación del libro de Raymond Smullyan "Juegos para imitar a un pájaro imitador", que contiene, entre otros temas, una aproximación a través de la lógica combinatoria al Teorema de Gödel:

http://rinconmatematico.com/foros/index.php/topic,52949.msg210863.html#msg210863

Saludos