Halting problem undecidability and infinitely nested simulation

What is the basis for reason? And mathematics?

Moderators: AMod, iMod

PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: Halting problem undecidability and infinitely nested simulation

Post 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.
promethean75
Posts: 4932
Joined: Sun Nov 04, 2018 10:29 pm

Re: Halting problem undecidability and infinitely nested simulation

Post 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.
PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: Halting problem undecidability and infinitely nested simulation

Post by PeteOlcott »

I tried to delete this
Last edited by PeteOlcott on Sat Apr 09, 2022 5:11 pm, edited 2 times in total.
PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: Halting problem undecidability and infinitely nested simulation

Post 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.
wtf
Posts: 1178
Joined: Tue Sep 08, 2015 11:36 pm

Re: Halting problem undecidability and infinitely nested simulation

Post 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.
PeteOlcott
Posts: 1514
Joined: Mon Jul 25, 2016 6:55 pm

Re: Halting problem undecidability and infinitely nested simulation

Post 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.
Post Reply