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