Search papers, labs, and topics across Lattice.
The paper introduces and analyzes "dynamic level sets," a mathematical concept identified within the context of Turing Incomputable Computation. It argues that this concept is distinct from existing notions in dynamical systems, topology, and computability theory, potentially explaining why it hasn't been previously characterized. The paper suggests that dynamic level sets may offer a new perspective on the computational power of probabilistic Turing machines, potentially challenging the established equivalence between probabilistic and deterministic computation.
A previously unrecognized mathematical structure may explain how probabilistic Turing machines surpass the limits of deterministic computation.
A mathematical concept is identified and analyzed that is implicit in the 2012 paper Turing Incomputable Computation, presented at the Alan Turing Centenary Conference (Turing 100, Manchester). The concept, called dynamic level sets, is distinct from mathematical concepts in the standard literature on dynamical systems, topology, and computability theory. A new mathematical object is explained and why it may have escaped prior characterizations, including the classical result of de Leeuw, Moore, Shannon, and Shapiro (1956) that probabilistic Turing machines compute no more than deterministic ones.
