Sumários
Representabilidade de aplicações computáveis
12 junho 2008, 16:00 • Jaime Ramos
Representabilidade de aplicações computáveis: regra da composição.
Segundo teorema da incompletude
9 junho 2008, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Pseudo-derivabilidade. Condições HBL. Teoremas do ponto fixo e de Lob. Segundo teorema da incompletude.
Aritmética e Representabilidade
5 junho 2008, 16:00 • Jaime Ramos
Conclusão da aula anterior. Representabilidade das aplicações computáveis.
Primeiro Teorema da Incompletude
5 junho 2008, 13:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Teorema de Church. Primeiro Teorema da incompletude. Corolários para a teoria dos naturais. Demonstração de queo conjunto de teoremas da lógica de primeira ordem não é computável para toda a assinatura.
Primeiro Teorema da Incompletude
4 junho 2008, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Representabilidade das aplicações computáveis. Lema de cantor. Extensão de fórmula. Resultados básicos.