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:  2006-10-17 Start Time:   16:45 Speaker:  Pedro Silva (CMUP/Mat. Pura, FCUP) Place:  5.5 Research Groups: -Algebra, Logic and Topology See more:   <Main>