T_19

25 Novembro 2022, 09:30 • Mário Jorge Edmundo

Alguns meta-teoremas: teorema de completude de Godel; teorias, teoremas e axiomas; exemplos (aritmética de Robinson, aritmética de Peano e aritmética); decidibilidade e semi-decidibilidade; teorias com axiomas decidíveis são semi-decidíveis; teorias completas com axiomas decidíveis são decidíveis; teorema de incompletude de Godel e teorema de indecidibilidade de Church; aritmética de Skolem, aritmética de Presburger e aritmética sem multiplicação; teorema de Presburger.