The Picard Maneuver@lemmy.worldM to Lemmy Shitpost@lemmy.world · 3 个月前Infinite Monkey Theoremlemmy.worldimagemessage-square75linkfedilinkarrow-up1941arrow-down114
arrow-up1927arrow-down1imageInfinite Monkey Theoremlemmy.worldThe Picard Maneuver@lemmy.worldM to Lemmy Shitpost@lemmy.world · 3 个月前message-square75linkfedilink
minus-squareJackbyDev@programming.devlinkfedilinkEnglisharrow-up10arrow-down1·3 个月前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.
minus-squareexasperation@lemm.eelinkfedilinkEnglisharrow-up4·edit-23 个月前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.
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.