1: \begin{abstract}

2: This paper is an exploration of the conceptual issues that have arisen in the course of investigating speed-up and slowdown phenomena in small Turing machines. We present the results of a test that may spur experimental approaches to the notion of computational irreducibility. The test involves a systematic attempt to outrun the computation of a large number of small Turing machines (all 3 and 4 state, 2 symbol) by means of integer sequence prediction using a specialized function finder program. This massive experiment prompts an investigation into rates of convergence of decision procedures and the decidability of sets in addition to a discussion of the (un)predictability of deterministic computing systems in practice. We think this investigation constitutes a novel approach to the discussion of an epistemological question in the context of a computer simulation, and thus represents an interesting exploration at the boundary between philosophical concerns and computational experiments.\\

3: 

4: \textbf{Keywords:} Computational irreducibility; unpredictability; problem of induction; algorithmic epistemology; halting problem.

5: \textbf{2010 Mathematics Subject Classification:} 68Q01, 68Q17, 68Q15

6: \end{abstract}

7: