The multihead finite automata / halting problem story

or "when I first noticed that our formal idea of computing was weird"