A number for which that is true is called a normal number. It’s proven that almost all real numbers are normal, but it’s very difficult to prove that any particular number is normal. It hasn’t yet been proved that π is normal, though it’s generally assumed to be.
Technically to meet OPs criteria it needs only be a rich number in base 10, not necessarily a normal one. Although being normal would certainly be sufficient
I love the idea (and it’s definitely true) that there are irrational numbers which, when written in a suitable base, contain the sequence of characters, “This number is provably normal” and are simultaneously not normal.
A number for which that is true is called a normal number. It’s proven that almost all real numbers are normal, but it’s very difficult to prove that any particular number is normal. It hasn’t yet been proved that π is normal, though it’s generally assumed to be.
Technically to meet OPs criteria it needs only be a rich number in base 10, not necessarily a normal one. Although being normal would certainly be sufficient
I love the idea (and it’s definitely true) that there are irrational numbers which, when written in a suitable base, contain the sequence of characters, “This number is provably normal” and are simultaneously not normal.