42 citations · 80 across the 7 of their papers we have counts for
1 paper · 1 filter
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…