this post was submitted on 17 Jul 2024
326 points (94.5% liked)

Programmer Humor

32361 readers
1025 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] [email protected] 37 points 3 months ago* (last edited 3 months ago) (2 children)

to be fair, though, 1 and 0 are just binary representations of values, same as decimal and hexadecimal. within your example, we'd absolutely find the entire works of shakespeare encoded in ascii, unicode, and lcd pixel format with each letter arranged in 3x5 grids.

[–] [email protected] 33 points 3 months ago (2 children)

Doesn't, the binary pattern 10101010 dosen't exists on that number, for example.

[–] [email protected] 7 points 3 months ago (1 children)

You can encode base 2 as base 10, I don't think anyone is saying it exists in binary form.

[–] [email protected] 2 points 3 months ago

Well it's infinite so it has to I guess

[–] [email protected] 4 points 3 months ago (1 children)
[–] [email protected] 15 points 3 months ago

No, because you can't mathematically guarantee that pi contains long strings of predetermined patterns.

The 1.101001000100001... example by the other user was just that - an example. Their number is infinite, but never contains a 2. Pi is also infinite, but does it contain the number e to 100 digits of precision? Maybe. Maybe not. The point is, we don't know and we can't prove it either way (except finding it by accident).

[–] [email protected] 7 points 3 months ago* (last edited 3 months ago)

Actually, there'd only be single pixels past digit 225 in the last example, if I understand you correctly.

If we can choose encoding, we can "cheat" by effectively embedding whatever we want to find in the encoding. The existence of every substring in a one of a set of ordinary encodings might not even be a weaker property than a fixed encoding, though, because infinities can be like that.