DrBanjo@reddthat.com to Math Memes@lemmy.blahaj.zoneEnglish · 1 month agoProbabilityimagemessage-square110linkfedilinkarrow-up1419arrow-down13
arrow-up1416arrow-down1imageProbabilityDrBanjo@reddthat.com to Math Memes@lemmy.blahaj.zoneEnglish · 1 month agomessage-square110linkfedilink
minus-squareNatanaellinkfedilinkEnglisharrow-up2·30 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