Is there a proof or disproof that any given finite string of digits will occur somewhere in Pi?
No, there isn't. That would be equivalent, I think, to saying that [itex]\pi[/itex] is a "normal number" and that has not been proved or disproved.
It smells equivalent to the property of normalness, but I'm not sure if it is easy to prove..
Separate names with a comma.