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 email está sendo protegido de spambots. Você precisa do JavaScript ativado para vê-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
 

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