Discussion on answer by JeffE: How can it be decidable whether $\pi$ has some sequence of digits?
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
| first message | 2015-12-12 |
| last message | 3499 days ago |
view transcript
3