Algebra, Logic and Topology

 

Latest News
The web page of CMUC moved to http://cmuc.mat.uc.pt

 
   

Members

Seminars

Events

Publications

 
 

details

Title
An algebraic approach to Turing machine computation

Abstract
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).

Speaker(s)
Pedro Silva (CMUP/Mat. Pura, FCUP)

Date
October 17, 2006

Time
16:45

Room
5.5

 
     
 

CMUC
Apartado 3008,
3001 - 454 Coimbra, Portugal
T:+351 239 791 150
F:+351 239 793 069
cmuc@mat.uc.pt
-
developed by Flor de Utopia