Sumários
TP12_19
28 Novembro 2022, 12:00 • Mário Jorge Edmundo
Resolução dos exercícios 152 (1, 2, 3, 8) e 156.
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.
TP14_17
23 Novembro 2022, 09:30 • Mário Jorge Edmundo
Resolução dos exercícios 137, 139, 140, 141 e 142.