Palestras e Seminários
24/10/2017
13:10
auditório Fernão Stella de Rodrigues Germano
Palestrante: Amanda Carrijo Viana Figur
Seminários de Coisas Legais

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.

CONECTE-SE COM A GENTE
 

© 2017 Instituto de Ciências Matemáticas e de Computação