DrBanjo@reddthat.com to Math Memes@lemmy.blahaj.zoneEnglish · 2 months agoProbabilityreddthat.comimagemessage-square113linkfedilinkarrow-up1435arrow-down13
arrow-up1432arrow-down1imageProbabilityreddthat.comDrBanjo@reddthat.com to Math Memes@lemmy.blahaj.zoneEnglish · 2 months agomessage-square113linkfedilink
minus-squareNatanael@infosec.publinkfedilinkEnglisharrow-up2·2 months agoThus the joke form, using the principal as a Halting oracle (going up a hierarchy (of complexity)), phrased such that it allows you to select an answer as correct rather than leaving it undecidable https://en.wikipedia.org/wiki/Turing_jump No need for the oracle to actually be correct in the joke form btw
Thus the joke form, using the principal as a Halting oracle (going up a hierarchy (of complexity)), phrased such that it allows you to select an answer as correct rather than leaving it undecidable
https://en.wikipedia.org/wiki/Turing_jump
No need for the oracle to actually be correct in the joke form btw