Incompletude e Inconsistência: um Jogo entre a Cruz e a Espada

Seminários de Programa do Grupo de Lógica Teórica e Aplicada CLE/IFCH
Título: Incompletude e Inconsistência: um Jogo entre a Cruz e a Espada
Palestrante: Anderson de Araújo

A prova dos teoremas da incompletude de Gödel gerou um vasto campo de pesquisa, sobretudo no que diz respeito a demonstrações simplificadas ou reformuladas com técnicas diferentes das usadas por Gödel, e à análise de suas conseqüências. Nesse contexto, pretendo esboçar uma formalização da prova apresentada por Kripke na UNICAMP, uma vez que ela ainda apresenta um caráter informal. Pretendo para tanto usar definições existentes na literatura sobre jogos lógicos, que em certa medida terão que ser redefinidos tendo em vista meu objetivo. Sendo possível tal formalização, analisarei ainda as características da prova kripkeana formalizada dos teoremas de Gödel no contexto de uma lógica paraconsistente (exemplificando com uma LFI).

Quando? Quarta-feira, 23 de maio de 2007, 16h00
Onde? Sala de Seminários do CLE (IFCH - Unicamp - Campinas-SP)