Lógica e autorreferência – Parte 1
Recomendações e referências
- Self-Reference (verbete da Stanford Encyclopedia of Philosophy)
- Gödel’s Incompleteness Theorems (verbete da Stanford Encyclopedia of Philosophy)
- Math’s Fundamental Flaw (vídeo educativo do Veritasium)
- Celebrating 90 Years of Gödel’s Incompleteness Theorems (gravações do evento promovido pelo CFvW Zentrum em Tübingen)
- Mesa redonda sobre filosofia da lógica (contém uma apresentação sobre o paradoxo de Yablo, organizada pelo NELF-UFMA)
- La Paradoja de Yablo (conversa com Lavinia Picollo no Lógica MX)
- Gödel, Escher, Bach: um entrelaçamento de Gênios Brilhantes
- The Ways of Paradox por W. V. Quine
- Um programa na Linguagem Rust que reproduz seu próprio código-fonte, isto é, um “quine” na terminologia popular
- Explicação: O código espelha o exemplo de Quine, onde parte do código-fonte precede a sua citação. A função
print!em Rust toma pelo menos dois argumentos, onde o primeiro é uma expressão de formatação e a segunda são argumentos que serão substituídos dentro do primeiro argumento onde ocorrem “{}“. Portanto, grosso modo, o programa imprime o resultado da segunda parte, a qual é uma citação da primeira parte, seguida da segunda parte novamente, desta vez ipsis literis, com citação e tudo, o que resulta no código-fonte do próprio programa. Certas funcionalidades da Linguagem Rust estão envolvidas, mas recursos semelhantes estão disponíveis em qualquer linguagem de programação completa, nas quais existem pontos fixos que possibilitam obter-se “quines”, ainda que não tão elegantes como este.
- Explicação: O código espelha o exemplo de Quine, onde parte do código-fonte precede a sua citação. A função
- Recursion Theorem and Logic (trecho do curso do MIT OCW no qual Michael Sipser exemplifica uma máquina que se reproduz)
- Reflections on Trusting Trust por Ken Thompson
- Running the “Reflections on Trusting Trust” Compiler por Russ Cox (discussão fascinante sobre o texto de Ken Thompson, coincidentemente publicado na véspera do nosso encontro, agradecimentos ao Prof. Diego Fernandes pelo achado)
- Quine’s New Foundations (verbete da Stanford Encyclopedia of Philosophy)
- Predicativity and Structuralism in Dedekind’s Construction of the Reals por Audrey Yap