Programa

Lógica Matemática (D)

Doutoramento Bolonha em Matemática

Programa

Esta unidade curricular é uma versão avançada de Lógica Matemática para o mestrado. Quando funciona é dada ao mesmo tempo que a disciplina de mestrado e, por conseguinte, tem o mesmo programa base (ver a seguir). Para além disso, é complementada com tópicos mais avançados à escolha do professor. Tipicamente, estes tópicos são cobertos através duma leitura guiada e dum trabalho final escrito. O programa base pode ser conseguido através da demonstração dos seguintes sete teoremas: o Teorema da Compacidade para o Cálculo Proposicional (e de Predicados), o Teorema da Forma Normal de Kleene, o Teorema da Completude de Gödel, o Teorema da Indefinibilidade da Verdade de Tarski, o Teorema da Indecidibilidade de Church e os Teoremas da Incompletude de Gödel.