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 seminars, Seminar series
- Cost: Free
Richard Whyman, University of Leeds. Part of the PCC seminar series.
Abstract: 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.