Sumários
AP25 Lógica de Godel-Lob (aula online)
31 maio 2021, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Caracterização do axioma T. Esboço da demonstração que P tem a propriedade HBL2.
AT25 Lógica de Godel-Lob (aula online)
31 maio 2021, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Linguagem da Lógica Modal. Axiomatização de GL. HBL3 como teorema de GL. Fecho de GL para a regra de Lob. Semântica de
Kripke para a Lógica Modal normal. Caracterização dos enquadramentos para 4 e para o axioma GL. Correcção de GL.
AP24 Segundo Teorema da Incompletude de Godel (aula online)
27 maio 2021, 15:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Alternativa a HBL2. Exemplo de teroia coerente que não é coerente \omega.
AT24 Segundo Teorema da Incompletude de Godel (aula online)
27 maio 2021, 14:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Teorema de Lob. Segundo Teorema da Incompletude de Godel. Existência de fórmula fechada tal que nem ela nem a sua negação são teoremas de teoria suficientemente rica da aritmética.
AP23 Segundo Teorema da Incompletude de Godel (aula online)
24 maio 2021, 16:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Requisitos HBL. Aplicação do Teorema do Ponto Fixo. Representabilidade da provabilidade em teoria noutra teoria.