Sistemas formais

Até o terceiro capítulo Hofstdadter segue expondo apenas algumas modalidades de sistemas formais de lógica, como preparação necessária para o tratamento do "circuito estranho", ou seja, aquela modalidade de operação intelectual ou computacional que, após um número qualquer de passos, realiza uma tarefa modificando o seu contexto, sem violar as regras auto-impostas. Tal como o cânon per tonos da Oferenda, a "Cascata" do Escher ou o tipo de prova usado por Kurt Gödel. Não é difícil perceber em suas páginas um certo entusiasmo da década de 1970 com a emergência da inteligência artificial. Sobre música, especificamente, apenas homenagens a Johann Sebastian Bach.

Escher. "Cascata".