Teorema da Incompletude de Gödel

10.11.2017

Daniel Alves

Durante a XIV Semana Acadêmica da Matemática e V Encontro Regional de Educação Matemática (XIV SEMAT e V EREM) o professor Matheus Lobo ministrou o minicurso Teorema da Incompletude de Gödel. Sua função é mostrar que existem verdades matemáticas que não podem ser demonstradas dentro do sistema formal axiomático da lógica clássica.

(Foto: Victor Wender/UFT)

Para isso, utiliza o lema da correspondência entre a matemática e a metamatemática e um sistema de codificação da matemática com números naturais, de modo que se torna possível a matemática falar da própria matemática.

Ele fez seu próprio resumo do livro Gödel´s Proof, de Emest Nagel e James R. Newman, e expôs aos alunos através de uma apresentação em slides. Além disso,  criou um grupo no Whatsapp para que os alunos pudessem fazer perguntas e esclarecerem dúvidas, aumentando o entendimento sobre esse assunto.

O professor Lobo mostrou, de forma simples todo o trabalho de Kurt Gödel através de uma aula simples com explicações orais e demonstrações no quadro. Na sala foi aberto um espaço de discussão entre os alunos e o professor, recurso que se tornou de extrema importância, de modo que o conhecimento chegava à todos os ouvintes.

Publicado em Semana Acadêmica