jin@lemmy.blahaj.zone to Asklemmy@lemmy.mlEnglish · edit-222 days agoWhat is a creepy or weird fact that would scare even the bravest person?message-squaremessage-square179fedilinkarrow-up1132arrow-down12
arrow-up1130arrow-down1message-squareWhat is a creepy or weird fact that would scare even the bravest person?jin@lemmy.blahaj.zone to Asklemmy@lemmy.mlEnglish · edit-222 days agomessage-square179fedilink
minus-squareCanadaPlus@lemmy.sdf.orglinkfedilinkarrow-up2·edit-221 days agoYeah, OP seems to be assuming a continuous mapping. It still works if you don’t, but the standard way to prove it is the more abstract “diagonal argument”.
minus-squarejsomae@lemmy.mllinkfedilinkarrow-up1·edit-222 hours agoBut then a simple comeback would be, “well perhaps there is a non-continuous mapping.” (There isn’t one, of course.) “It still works if you don’t” – how does red’s argument work if you don’t? Red is not using cantor’s diagonal proof.
Yeah, OP seems to be assuming a continuous mapping. It still works if you don’t, but the standard way to prove it is the more abstract “diagonal argument”.
But then a simple comeback would be, “well perhaps there is a non-continuous mapping.” (There isn’t one, of course.)
“It still works if you don’t” – how does red’s argument work if you don’t? Red is not using cantor’s diagonal proof.