Download - Lógica Matemática FF201 Fragmento de “Gödel, … · den signos de clase r recursivos, ... siendo una secuencia de símbolos especializados, ... escritura de una proposiclón

Transcript

Lógica Matemática – FF201

Fragmento de “Gödel, Escher y Bach; una eterna trenza dorada” – Douglas Hofstadter.

Figura 5. Cascada. de M. C. Escher (litografía 1961)

Figura 6. Subiendo y Bajando. de M. C. Escher (litografía 1960)

Gödel

Figura 9. Kurt Gödel

Portadas del libro original en inglés y de la edición en español: