Describing the computational capabilities of arbitrary physical systems

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.