Re: [go-nuts] Halting Problem

2020-12-10 Thread 'Axel Wagner' via golang-nuts
I don't really understand what you are trying to say. The halting problem (there is one, it's not a property of programs) is to write a program that can detect if an arbitrary other program halts for a given input. If you can only determine if a certain class of programs (and/or only on certain inp

[go-nuts] Halting Problem

2020-12-10 Thread Tambet Väli
Isn't this kind of a solution to a Halting Problem, if code is able to detect another, which has the same kind of halting problem? For example: func Halting(a, iterate bool) { if iterate { atrue, afalse bool atrue = Halting(true, false) afalse = Halting(false, false) } For a {