Speaker: Petrucio Viana, IME-UFF.
Date: 25 jan 2018, 16h.
Place: Room 407, Bloco H, Campus Gragoatá, UFF.
Abstract: Os Teoremas de Incompletude de Gödel são considerados por muitos como os resultados matemáticos mais importantes do século XX [cf.S. Salehi, Philosophia Scientiæ, 18:23 -37, 2-14]. Corroborando essa visão, quando a revista Time conduziu uma votação (em 1998) para determinar os pensadores mais influentes do Século XX, Gödel foi um dos dois únicos matemáticos da lista de 20 cientistas e pensadores (o outro foi Turing, também um lógico) [cf. K. Devlin, Science, 298:1899-1900, 2002]. Apesar disso, a grande maioria dos estudantes de matemática não estuda lógica e não conhece nem o enunciado, nem o significado e nem as ideias principais empregadas nas provas dos Teoremas de Incompletude. Nesta palestra, pretendemos diminuir um pouco essa lacuna no IME-UFF.