Loading Discussion on answer by JeffE: How can it be decidable whether $\pi$ has some sequence of digits?
Just a second…
load older messages full transcript highlights

You must be logged in to talk. See the faq for more information.