Gödel, Escher, Bach : les brins d'une guirlande éternelle (1979) est un livre de Douglas Hofstadter qui a obtenu le Prix Pulitzer.

Les théorèmes d'incomplétude de Gödel sont deux théorèmes célèbres de logique mathématique, démontrés par Kurt Gödel en 1931 dans son article Über formal unentscheidbare Sätze der Principia ...