AT20 Redutibilidade m

21 novembro 2019, 11:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Conjuntos de índices equivalentes m. Supremos de conjuntos decidíveis e de conjuntos listáveis. Demonstração do Teorema de Rice à custa do Teorema da Recursão.