Palestras e Seminários

24/10/2017

13:10

auditório Fernão Stella de Rodrigues Germano

Palestrante: Amanda Carrijo Viana Figur

Responsável: Marina Andretta (Este endereço de e-mail está sendo protegido de spambots. Você precisa habilitar o JavaScript para visualizá-lo.)

Salvar atividade no Google Calendar 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
 

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