DrBanjo@reddthat.com to Math Memes@lemmy.blahaj.zoneEnglish · 8 days agoProbabilityreddthat.comimagemessage-square117linkfedilinkarrow-up1416arrow-down13
arrow-up1413arrow-down1imageProbabilityreddthat.comDrBanjo@reddthat.com to Math Memes@lemmy.blahaj.zoneEnglish · 8 days agomessage-square117linkfedilink
minus-squareNatanael@infosec.publinkfedilinkEnglisharrow-up2·6 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