T_11a

6 Dezembro 2022, 11:30 • Mário Jorge Edmundo

Teorias e axiomas, exemplos; teorias decidíveis e semi-decidíveis; teorias com axiomas decidíveis são semi-decidíveis; teorias completas com axiomas decidíveis são decidíveis, exemplos; lema do ponto fixo; indefinibilidade da verdade de Tarski; indecidibilidade; teorema de incompletude de Godel; consistência e indecidibilidade (Church); consistência e incompletude; reflexão, reflexão e ponto fixo; teorias suficientemente fortes, aritmética de Peano; reflexão e ponto fixo formal; segundo teorema de incompletude de Godel.