The Picard Maneuver@lemmy.worldM to Lemmy Shitpost@lemmy.world · 2 years agoInfinite Monkey Theoremlemmy.worldimagemessage-square23linkfedilinkarrow-up1462
arrow-up1462imageInfinite Monkey Theoremlemmy.worldThe Picard Maneuver@lemmy.worldM to Lemmy Shitpost@lemmy.world · 2 years agomessage-square23linkfedilink
minus-squareJackbyDev@programming.devlinkfedilinkEnglisharrow-up5·2 years agoThe funny thing is, if you truly have infinite monkeys, it doesn’t matter if they’re using it correctly or not. There is an infinite amount of them.
minus-squareexasperation@lemm.eelinkfedilinkEnglisharrow-up1·2 years agoSome infinities are bigger than others, though. Even if you have countably infinite monkeys typing countably infinite strings for an infinite period of time, there will be an infinite number of strings that the monkeys haven’t typed, that will never be in the set of completed typed strings. Cantor’s diagonalization proves it.
The funny thing is, if you truly have infinite monkeys, it doesn’t matter if they’re using it correctly or not. There is an infinite amount of them.
Some infinities are bigger than others, though.
Even if you have countably infinite monkeys typing countably infinite strings for an infinite period of time, there will be an infinite number of strings that the monkeys haven’t typed, that will never be in the set of completed typed strings.
Cantor’s diagonalization proves it.