The Picard ManeuverM to Lemmy [email protected] • 18 days agoInfinite Monkey Theoremlemmy.worldimagemessage-square75fedilinkarrow-up1934
arrow-up1934imageInfinite Monkey Theoremlemmy.worldThe Picard ManeuverM to Lemmy [email protected] • 18 days agomessage-square75fedilink
minus-squareJackbyDevlinkfedilinkEnglish10•18 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-square@[email protected]linkfedilinkEnglish4•edit-217 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.