that actually requires degrees of self-reference that put you into the territory of paradox theorems.
Oh, OK, the Löbstacle thing. You’re right, that’s a matter of program verification and as such more in the territory of Problem One than of Problem Two.
Oh, OK, the Löbstacle thing. You’re right, that’s a matter of program verification and as such more in the territory of Problem One than of Problem Two.