The Picard Maneuver@lemmy.worldM to Lemmy Shitpost@lemmy.world · 8 days agoInfinite Monkey Theoremlemmy.worldimagemessage-square76fedilinkarrow-up1941arrow-down114
arrow-up1927arrow-down1imageInfinite Monkey Theoremlemmy.worldThe Picard Maneuver@lemmy.worldM to Lemmy Shitpost@lemmy.world · 8 days agomessage-square76fedilink
minus-squareJackbyDev@programming.devlinkfedilinkEnglisharrow-up10arrow-down1·7 days 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-up3·edit-27 days 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.