Seminário de Lógica e Computação

António Fernandes

(IST, UTL)

O problema do contínuo - a solução parcial de Kurt Gödel

Data: 1 de Junho
Local: 2.5.
Hora: 16:30

Resumo

Este seminario constiui uma abordagem ao problema do contínuo de Cantor e à solução parcial fornecida por Kurt Gödel, através do seu universo construtível. A abordagem será mais informal e conceptual que técnica.
Este seminário é organizado com apoio do CMUC.
Reinhard Kahle, 15.09.06