What happens with U() like this:
def U(): if(A()==1 and every Goodstein sequence terminates at 0) return 10 else if(A()==2) return 1 else return 5
That’s a nice question, but it seems to be about a different formalism, not the one talking about programs. How do you encode “every Goodstein sequence terminates at 0” as a program?
What happens with U() like this:
def U():
if(A()==1 and every Goodstein sequence terminates at 0) return 10
else if(A()==2) return 1
else return 5
That’s a nice question, but it seems to be about a different formalism, not the one talking about programs. How do you encode “every Goodstein sequence terminates at 0” as a program?