def godel(inString):
godelProg = rf('godel.py')
haltInPeano = convertHaltToPeano(godelProg)
notHaltInPeano = 'NOT ' + haltInPeano
if provableInPeano(notHaltInPeano) == 'yes':
return 'halted' # any value would do
else: # This line will never be executed! But anyway...
utils.loop() # deliberate infinite loop
def godel(inString):
godelProg = rf("godel.py")
haltInPeano = convertHaltToPeano(godelProg)
notHaltInPeano = "NOT " + haltInPeano
if provableInPeano(notHaltInPeano) == "yes":
return "halted"
else:
utils.loop()
def haltsViaCompletePeano(inString):
haltInPeano = convertHaltToPeano(inString)
notHaltInPeano = 'NOT ' + haltInPeano
proofString = ''
while True:
if isPeanoProof(proofString, haltInPeano) == 'yes':
return 'yes'
if isPeanoProof(proofString, notHaltInPeano) == 'yes':
return 'no'
proofString = utils.nextASCII(proofString)
def haltsViaCompletePeano(inString):
haltInPeano = convertHaltToPeano(inString)
notHaltInPeano = "NOT " + haltInPeano
proofString = ""
while True:
if isPeanoProof(proofString, haltInPeano) == "yes":
return "yes"
if isPeanoProof(proofString, notHaltInPeano) == "yes":
return "no"
proofString = utils.nextASCII(proofString)
def haltsViaPeano(inString):
haltsInPA = convertHaltToPeano(inString)
return trueInPeano(haltInPA)