sequenze numeriche nei decimali del π

[desko]

Ciao,
è molto che non scrivo qua ma oggi (e non è un caso) si è sviluppata una discussione coi colleghi che volevo sottoporvi, non avendo trovato risposte esaustive su internet.

Fra lo sviluppo decimale di π possiamo essere sicuri che troveremo qualunque sequenza numerica finita?
I colleghi danno tutti la cosa come scontata, vista l'infinità di cifre sparse a caso; io non ne sono così sicuro.
Quindi vi chiedo se è dimostrato che qualunque sequenza finita numerica è presente nello sviluppo decimale, o meno.
Oppure, è dimostrato che non ci sono tutte le possibili sequenze finite?
Oppure, cosa che a me sembra più probabile, non è stato ancora dimostrato, né l'una, né l'altra?

Grazie

[axpgn]

Hai provato a cercare nel forum? Perché sono (abbastanza) sicuro di aver letto una discussione in proposito un po' di tempo fa ...

[j18eos]

Tecnicamente è ignoto se \(\displaystyle\pi\) sia normale oppure no!

P.S.: Ecco una vecchia discussione in cui si parlava di una cosa del genere.

[@melia]

Proprio oggi!
Buon $pi$-day a tutti!

[Zero87]

Oltre a dire un buon $\pi-$day a tutti - oggi in azienda i miei colleghi mi hanno guardato un po' male quando ho toccato l'argomento - ne approfitto anche per salutare desko, utente di vecchia data.
Se non erro c'era (c'è ancora?) anche un "desko" nell'oliforum quando partecipavo anch'io sotto altro nick (parlo 2004-2008 circa).

[desko]

Confermo: sono io.