Descrição
Este curso aborda a Incompletude dos Sistemas Matemáticos conforme formulada por Kurt Gödel. Ao longo de 10 lições, os alunos explorarão conceitos fundamentais, como a demonstração da incompletude, a relação com a consistência e completude, e as implicações filosóficas destas teorias. O curso visa desenvolver um entendimento profundo da lógica matemática e sua aplicação em sistemas formais, capacitando os alunos a analisarem criticamente os limites da matemática.
