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
inputs) halts, you haven't solved the halting problem.
Obviously it's possible to determine that *some* programs terminate. For
example, it's pretty trivial to write a program that can prove that `func
main() {}` halts.
On Thu, Dec 10, 2020 at 6:29 PM Tambet Väli <heel...@gmail.com> wrote:
>
> 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 {
> i = i + 1
> if i > 100 {
> return false
> }
> }
> return true
> }
>
> Halting(a, iterate)
>
> Isn't the solution, whether this fits another program with halting problem
> - in this simple case the solution is simply a != a.
>
> --
> You received this message because you are subscribed to the Google Groups
> "golang-nuts" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to golang-nuts+unsubscr...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/golang-nuts/a1b369ac-11bd-4308-9b52-3bc708cb8fffn%40googlegroups.com
> <https://groups.google.com/d/msgid/golang-nuts/a1b369ac-11bd-4308-9b52-3bc708cb8fffn%40googlegroups.com?utm_medium=email&utm_source=footer>
> .
>
--
You received this message because you are subscribed to the Google Groups
"golang-nuts" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to golang-nuts+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/golang-nuts/CAEkBMfFzMtC%2BmUaS6nfq3hAxPXWpLB0Ta0Q7oRsMUbTKaKxr5w%40mail.gmail.com.
