Page 2 of 2
Re: Halting problem undecidability and infinitely nested simulation
Posted: Thu Apr 07, 2022 3:22 am
by PeteOlcott
Skepdick wrote: ↑Mon Mar 21, 2022 10:13 am
wtf wrote: ↑Thu Mar 10, 2022 4:51 am
I know what loop unrolling is but I could not discern from his posts in this thread that this is what he's doing. Did you determine this from his papers, which I didn't look at? Just curious how you worked this out.
I have broadly skimmed over his papers/posts so I have a gut feel on his end goal.
His obsession is with "provability", and provability is analogous to program/proof termination. He is fixated on identifying heuristics which detect non-terminating code and his pet heuristic is cyclical graphs (loops that haven't been unrolled).
Gödel's incompleteness G is merely infinitely recursive, thus not a truth bearer.
Re: Halting problem undecidability and infinitely nested simulation
Posted: Thu Apr 07, 2022 2:51 pm
by promethean75
"He is fixated on identifying heuristics which detect non-terminating code"
Is this true, Pete? Are you fixated on identifying heuristics which detect non-terminating code?
Do you want to talk about it? No pressure. Just letting you know I'm here.
Re: Halting problem undecidability and infinitely nested simulation
Posted: Sat Apr 09, 2022 5:09 pm
by PeteOlcott
I tried to delete this
Re: Halting problem undecidability and infinitely nested simulation
Posted: Sat Apr 09, 2022 5:10 pm
by PeteOlcott
promethean75 wrote: ↑Thu Apr 07, 2022 2:51 pm
"He is fixated on identifying heuristics which detect non-terminating code"
Is this true, Pete? Are you fixated on identifying heuristics which detect non-terminating code?
Do you want to talk about it? No pressure. Just letting you know I'm here.
I had a whole reply carefully written and then my browser forgot the whole thing before I could post it.
Re: Halting problem undecidability and infinitely nested simulation
Posted: Sat Apr 09, 2022 9:55 pm
by wtf
PeteOlcott wrote: ↑Sat Apr 09, 2022 5:10 pm
I had a whole reply carefully written and then my browser forgot the whole thing before I could post it.
Another glitch in the matrix. And they say we're not in a simulation!
FWIW I tend to write lengthy posts into a text file then paste them in to the forum when I'm done. For exactly this reason.
Re: Halting problem undecidability and infinitely nested simulation
Posted: Sat Apr 23, 2022 4:30 pm
by PeteOlcott
wtf wrote: ↑Sat Apr 09, 2022 9:55 pm
PeteOlcott wrote: ↑Sat Apr 09, 2022 5:10 pm
I had a whole reply carefully written and then my browser forgot the whole thing before I could post it.
Another glitch in the matrix. And they say we're not in a simulation!
FWIW I tend to write lengthy posts into a text file then paste them in to the forum when I'm done. For exactly this reason.
I rewrote the whole paper again and created a new post.