|
|
|
|
|
|
|
An algebraic approach to Turing machine computation
|
| |
| |
|
Description: |
We shall present a new approach to Turing machine computation based on profinite
limits of finite structures named bimachines. This is joint work with John
Rhodes (Berkeley).
Area(s):
|
|
Date: |
|
| Start Time: |
16:45 |
|
Speaker: |
Pedro Silva (CMUP/Mat. Pura, FCUP)
|
|
Place: |
5.5
|
| Research Groups: |
-Algebra, Logic and Topology
|
|
See more:
|
<Main>
|
|
| |
|
|
|
|
|
|
|
|
|
