Kurt Gödel é o lógico matemático mais famoso do século passado. Neste simpósio abordam-se vários aspectos da vida deste matemático ímpar e do seu legado científico. Serão discutidos, de um modo acessível, aspectos da sua obra, como os teoremas de incompletude, pontos incontornáveis na cultura matemática.

Speaker(s): Augusto Franco de Oliveira, Vida e Obra de Kurt Gödel - Uma cronologia incompleta
Reinhard Kahle, Os teoremas de incompletude
Amílcar Sernadas, Lógica de demonstrabilidade
Fernando Ferreira, Dialectica e teoria de conjuntos
Area(s): Logic, Algebra, History of Mathematics