How To: Solve the Halting Problem using DreamBerd

[rnxpyke]

I think there are some serious implications to this...

[lijok]

Someone call gödel

[thacuber2a03]

wait how does this work?

[stohrendorf]

const const halts = false!
while(;halts) {
   print("goedel was right")!
}
print("goedel was wrong")!
const const halts<-Infinity> = true!!

[c910335]

Your algorithm DOES NOT solve the halting problem.

Given an input program that halts after infinite steps, your algorithm outputs true. However, the correct answer is false because it does not halt within finite steps.

For example:

const const halts = false!
halts? // Your algorithm outputs `true`, but the correct answer is `false`.

// The input program halts after infinite steps
var var i!
when (i > 0) {
   i++!
}
i = 1!

const const halts<-Infinity> = true!!

The input program halts when it runs out all natural numbers, and thus it halts after infinite steps, or precisely, countably infinite steps.

[thacuber2a03]

dang it, not even with customizable lifetimes are we able to solve the halting problem :(

[ThePython10110]

while(;halts) {

Is that a LOOP?