Programa

Lógica Matemática (D)

Doutoramento Bolonha em Matemática

Programa

Esta disciplina é uma introdução à lógica matemática, nomeadamente à teoria dos modelos, teoria da recursão (computabilidade e definibilidade) e limitações dos sistemas formais. Isso pode ser conseguido através das demonstrações dos seguintes sete teoremas (e suas consequências mais importantes): 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. Os alunos doutorais estudarão uma matéria extra, a combinar com o professor.