Sumários
AT24 Primeiro Teorema da Incompletude de Godel
18 maio 2017, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Extensão de fórmula. Extensão de fórmula em Th(nats). Resultados sobre exetnsões de conjuntos de naturais representáveis e sobre conjuntos computáveis. Enunciado do Teorema de Church. Primeiro teorema da incompletude de Godel.
AT23 Primeiro Teorema da Incompletude de Godel
17 maio 2017, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Conclusão da demonstração da representabilidade em N das aplicações computáveis à la Godel. Não compacidade de FOLA e sua consequência para a não completude forte.
Substituição no universo dos naturais. Extensão de teoria.
Aula cancelada
12 maio 2017, 14:30 • Jaime Ramos
Suspensão das actividades académicas por decisão do Conselho de Gestão.
P21 - Teorema de Craig
11 maio 2017, 16:30 • Jaime Ramos
Conclusão da aula anterior. Demonstração do Teorema de Craig.
AT22 Teorias da aritmética e representabilidade
11 maio 2017, 15:00 • Maria Cristina De Sales Viana Serôdio Sernadas
A estrutura padrão da aritmética como modelo da teoria P e em particular do axioma da indução.
Representabilidade de funções e conjuntos sobre teoria da aritmética. Representabilidade das
aplicações computáveis à la Godel (caso base).