42 citations · 42 across the 1 of their papers we have counts for
1 paper
Mikhail Prokopenko, Michael Harré, Joseph Lizier +3
In this paper we explore several fundamental relations between formal systems, algorithms, and dynamical systems, focussing on the roles of undecidability, universality, diagonaliz…