Sumários

AP21 Aplicações computáveis à Godel

16 maio 2019, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Toda a aplicação computável à Godel é representável em N. Os casos <  agregação e minimização garantida.

AT21 Primeiro Teorema da Incompletude de Godel

16 maio 2019, 14:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Godelização. Preservação e reflexão da decidibilidade e listabilidade por Godelização. Lema de Cantor. Substituição como aplicação computável.
Extensão de teoria. Relacionamento entre extensão e substituição. Extensão de fórmula. Relação entre extensão de teoria e extensão de fórmula.
Relacionamente entre conjunto representável e extensão de fórmula em teoria coerente da aritmética.

AP20 Representabilidade

13 maio 2019, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas

Representabilidade de conjunto implica representabilidade de aplicação característica. A teoria N é coerente.

AT20 Aplicações computáveis à Godel

13 maio 2019, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Minimização garantida. Exemplo. Definição indutiva do conjunto das aplicações computáveis à Godel. Todo a aplicação computável é representável na teoria N.
Casos das constantes, projecções, soma e composição.

Aula a substituir no dia 17 de Maio

9 maio 2019, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas

Esta aula não se realizou pois a professora esteve a participar num júri de agregação em Matemática
no IST à mesma hora.