Tópicos de Lógica Matemática
Código
9646
Unidade Orgânica
Faculdade de Ciências e Tecnologia
Departamento
Departamento de Matemática
Créditos
6.0
Professor responsável
Oleksiy Karlovych, Reinhard Josef Klaus Kahle
Horas semanais
4
Língua de ensino
Português
Objectivos
No final desta unidade curricular o estudante terá adquirido conhecimentos, aptidões e competências avançadas na área de lógica matemática, nomeadamente na teoria de demonstração,que lhe permitam:
- Compreender conteúdos avançados na área;
- Ser capaz de executar investigação num tópico da área.
Conteúdo
Tópicos avançados de teoria da demonstração: cálculo de Tait, eliminação do corte, análise de ordinais, impredicatividade de sistemas axiomáticos, colapso de números ordinais, compreensão Pi^1_2.
Bibliografia
J. Barwise, ed., Handbook of Mathematical Logic, North-Holland, 1977.
W. Pohlers, Proof Theory: An Introduction, Springer, 2002.