
O resumo da palestra: Com uma demonstração do teorema da incompletude de Gödel que exige somente conhecimentos básicos sobre números naturais, funções e uma linguagem de programação, você vai descobrir que existem afirmações que podem ser demonstradas sem você ter certeza se o que entendeu foi o oposto do que te disseram.