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.
Vida e Obra de Kurt Gödel - Uma cronologia incompleta. Augusto Franco de Oliveira, Évora
