T_19

17 Dezembro 2021, 09:30 • Mário Jorge Edmundo

Alguns meta-teoremas: teorema de completude de Godel; aritmética de Robinson, aritmética de Peano e aritmética; decidibilidade e semi-decidibilidade; teorias e decidibilidade; 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 (consistência, completude e decidibilidade).