Describing the computational capabilities of arbitrary physical systems
- Date: Wednesday 1 November 2017, 14:00 – 15:00
- Location: Mathematics Level 8, MALL 2, School of Mathematics
- Type: Proofs, Constructions and Computations, Seminars, Pure Mathematics
- Cost: Free
Richard Whyman, University of Leeds. Part of the PCC seminar series.
In this talk I shall present a new formalism I have devised for describing the computational capabilities of physical systems. This formalism avoids the time-dependent sequential algorithm and instead looks at the first-order theory of a given physical system to describe its decision capacity.