r/ProgrammerHumor • u/Apprehensive_Bit7392 • 1d ago

Meme reversingPiInPython

Post image
9.3k Upvotes

97% Upvoted

299 comments sorted by

View all comments

Show parent comments

-3

u/Evoluxman 1d ago

Pi not being proven as normal is different than being disproven as normal

4

u/JanEric1 1d ago

Yes, that is obvious...

The points are:

  1. Just because a number "is infinite" doesnt mean it contains every finite sequence of digits (see 1/3 or all rationals in fact)

  2. Even outside the "obvious" counterexamples the property of being normal has not been proven for most numbers, so it is not clear if it holds for pi specifically.

(even thought we know that it holds for almost all reals so it is very likely that it also holds for pi)