cousin_it comments on A model of UDT with a halting oracle

cousin_it 19 Dec 2011 5:33 UTC
2 points
Nice catches! You’re right on both points. I have to go to sleep now, will figure this out tomorrow.