Finite machines, mental procedures, and modern physics