Sumários
AP21 Aplicações computáveis
15 maio 2018, 12:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Verificação que a minimização garantida sobre aplicação computável é representável. Exemplo de Godelização.
AT22 Primeiro Teorema da Incompletude
14 maio 2018, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Godelização. Preservação da listabilidade e decidibilidade por Godelização. A aplicação rsb de representação no universo dos naturais da substituição de variável (fixada) por termo em fórmula.
Extensão de teoria da aritmética. Relação com rsb. Extensão de fórmula em teoria da aritmética. Relacionamento entre representabilidade de conjunto e extensão de fórmula que o representa
em teoria da aritmética.
AP20 Teoria P e aplicações computáveis
9 maio 2018, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Demonstração de que os naturais satisfazem o axioma da indução. Derivação usando o axioma da indução.
Exercícios para mostrar que certas aplicações são computáveis.
AT21 Aplicações computáveis
9 maio 2018, 14:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Definição indutiva do conjunto de aplicações computáveis à G\"odel.
Demonstração que qualquer aplicação computável à G\"odel é representável na teoria N.
AP19 Teoria P e representabilidade
8 maio 2018, 12:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Exemplos de derivações na teori P com recurso ao axioma da indução. Representabilidade em Th(\nats).
Verificação que o axioma da indução pertence a Th(\nats).