Hofstadter: Incompleteness Theorem

„The proof of Gödel’s Incompleteness Theorem hinges upon the writing of a self-referential mathematical statement, in the same way as the Epimenides paradox is a self-referential statement of language.“ (p. 17) #Hofstadter #Gödel #Epimenides #IncompletenessTheorem #Self-Referential

Hofstadter, Douglas R., Gödel, Escher, Bach: An Eternal Golden Braid. A Metaphorical Fugue on Minds and Machines in the Spirit of Lewis Carroll. New York: Basic Books 1979.