Earlier quoted context omitted.
You can design a number. Just take all finite digit strings in order of length and numerical order: 0.123456789 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 ... 99 000 001 002 ... 999 0000 0001 ... obviously it contains every finite digit string in base 10. I can't prove the digits are uniformly distributed in every base - you'd have to be more clever but you see the idea.
But pi is also "constructed", in the sense that you can write down a constructive definition for it, for example \sqrt{6 \times \sum_{k=1}^\infty \frac{1}{k^2}}. So I suppose maybe OP meant we haven't proven any number to be normal (or not) that is not designed to be normal (or not) ?
πFS
201–210 of 224 posts
Re: πFS
#202Reminds me of when I tried to use the library of babel as a data compression tool. It led me down a fun rabbit hole and was my first introduction to information theory. The conclusion being that you basically need the same amount of data to represent the address of your data as the data itself, so it's not really effective at compression, just a fun thought experiment. The cool part of this in modern times is that LL…
Other forms of encryption are based on assumptions and conditions being true (e.g. factoring is a hard problem, etc.) that may or may not be true. We don't know.
Re: πFS
#203Reminds me of when I tried to use the library of babel as a data compression tool. It led me down a fun rabbit hole and was my first introduction to information theory. The conclusion being that you basically need the same amount of data to represent the address of your data as the data itself, so it's not really effective at compression, just a fun thought experiment. The cool part of this in modern times is that LL…
Re: πFS
#204Re: πFS
#205At what point is the metadata larger than the actual file?
Re: πFS
#206Re: πFS
#207This is disturbing to realize that pi then contains all the past and future knowledge, including when I'll pass away.
Re: πFS
#208Earlier quoted context omitted.
You'll find this an interesting watch: Reinventing Entropy Compression is Intelligence Part 1 3blue1brown https://youtu.be/l6DKRf-fAAM?is=ne73FCJ7ErXhzZ-v
You, and the HN users, `lojban`, `klingon`, `ido`, `brithenig`, `solresol`, `babm`, and `tokipona`, may want to start a club. Amusingly, nobody seems to have registered the `esperanto`, `volapuk`, `interslavic`, `balaibalan`, and `dothraki` usernames.
Re: πFS
#209Earlier quoted context omitted.
You'll find this an interesting watch: Reinventing Entropy Compression is Intelligence Part 1 3blue1brown https://youtu.be/l6DKRf-fAAM?is=ne73FCJ7ErXhzZ-v
You, and the HN users, `lojban`, `klingon`, `ido`, `brithenig`, `solresol`, `babm`, and `tokipona`, may want to start a club. Amusingly, nobody seems to have registered the `esperanto`, `volapuk`, `interslavic`, `balaibalan`, and `dothraki` usernames.
Re: πFS
#210Earlier quoted context omitted.
You, and the HN users, `lojban`, `klingon`, `ido`, `brithenig`, `solresol`, `babm`, and `tokipona`, may want to start a club. Amusingly, nobody seems to have registered the `esperanto`, `volapuk`, `interslavic`, `balaibalan`, and `dothraki` usernames.
I feel like I am having a stroke reading this comment