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

Description:  Este seminário constitui 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. Area(s): Logic and Computation Date:  2006-06-01 Start Time:   16:30 Speaker:  António Fernandes (IST, UTL) Place:  2.5 Research Groups: -Algebra, Logic and Topology See more:   <Main>