DrBanjo@reddthat.com to Math Memes@lemmy.blahaj.zoneEnglish · 28 days agoProbabilityimagemessage-square117linkfedilinkarrow-up1437arrow-down13
arrow-up1434arrow-down1imageProbabilityDrBanjo@reddthat.com to Math Memes@lemmy.blahaj.zoneEnglish · 28 days agomessage-square117linkfedilink
minus-squareNatanael@infosec.publinkfedilinkEnglisharrow-up2·26 days 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