T21_24

20 Maio 2019, 10:00 • Mário Jorge Edmundo

Relações efectivamente enumeráveis (versão informal); Q-semi-decidibilidade;  relações efectivamente enumeráveis (versão formal), efectivamente enumerável e existe, efectivamente enumerável é imagem de função efectivamente computáveis, teorema da negação. Nota sobre recursivamente enumerável. Teorias, axiomas e decidibilidade, teorias com axiomas decidíveis são efectivamente enumeráveis, teorias completas com axiomas decidíveis são decidíveis. Exemplos.