|
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: |
|
Start Time: |
16:30 |
Speaker: |
António Fernandes (IST, UTL)
|
Place: |
2.5
|
Research Groups: |
-Algebra, Logic and Topology
|
See more:
|
<Main>
|
|