Gödelian consequences of Chalmers's combinatorial state automata - Jastak, Piotr (The University of Edinburgh, 2016)