| |
|
Description: |
Interpreting open sets as verifiable properties and continuous functions as processes helps explain many aspects of topology. However, it might appear that taking this approach completely seriously sometimes leads to conclusions that contradict known results. For instance, it might seem that exponential objects should always exist, whereas we know that they do not. A more careful analysis distinguishing between verifiable properties and the procedures that verify them reveals the flaw in this approach and explains why certain spaces are exponentiable and others not. I will also discuss how this framework can be used to translate Escardó's algorithms for exhaustive search over compact spaces from domain theory to topology.
|
|
Date: |
|
| Start Time: |
15:30 |
|
Speaker: |
Graham Manuell (CMUC, Univ. Coimbra)
|
|
Institution: |
CMUC, University of Coimbra
|
|
Place: |
Sala 5.5, DMUC
|
| Research Groups: |
-Algebra, Logic and Topology
|
|
See more:
|
<Main>
|
|
