Discussion on answer by JeffE: How can it be decidable whether $\pi$ has some sequence of digits?

Imported from a comment discussion on http://cs.stackexchange.com/questions/367/how-can-it-be-decidable-whether-pi-has-some-sequence-of-digits/369#369