> O kurczę, zaskoczenie. Nie wiedziałem. Choć ściśle mówiąc nie „znamy”
> ale „potrafimy wyliczyć dowolną cyfrę rozwiniecia bez znajomości
> innych”.
Matematycznie, te dwie rzeczy są równoważne: na dowolne pytanie, na które możesz
odpowiedzieć mając do dyspozycji pełen zapis pi, możesz też odpowiedzieć mając
do dyspozycji algorytm podający na życzenie żądaną cyfrę. Bo cokolwiek byś nie
chciał sprawdzić, i tak będziesz czytał cyfra po cyfrze.