Para quem tiver interesse pessoal ou de divulgação complementar dentro e fora da sala de aula, este é o repositório mais completo que encontrei. Contém resenhas pequenas por parte de especialistas da área avaliando a qualidade do uso de conceitos de lógica em matemática por parte dos autores de ficção especulativa (em geral, baixo).
http://kasmana.people.cofc.edu/MATHFICT/ Como curiosidade, a categoria "Gödel" conta com 36 elementos e "Turing", com 22. A categoria "Lógica e Teoria dos Conjuntos" conta com 90 instâncias, mais do que, por exemplo "Caos e Fractais" (60). http://kasmana.people.cofc.edu/MATHFICT/browse.php Um forte abraço. _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
