Mestrado Bolonha em Matemática

A unidade curricular Lógica Matemática é uma introdução à Lógica Matemática, nomeadamente à teoria dos modelos, teoria da recursão (computabilidade) e limitações dos sistemas formais. Propõem-se que isso seja conseguido através das demonstrações dos seguintes sete teoremas (e suas consequências mais importantes): o teorema da compacidade; o teorema da completude de Godel; o teorema da forma normal de Kleene; o teorema da indefinibilidade da verdade de Tarski; o teorema da indecidibilidade de Church; os teoremas da incompletude de Godel.