Gödel's incompleteness G is merely infinitely recursive, thus not a truth bearer.Skepdick wrote: ↑Mon Mar 21, 2022 10:13 amI 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).
Halting problem undecidability and infinitely nested simulation
-
- Posts: 1514
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Halting problem undecidability and infinitely nested simulation
-
- Posts: 4932
- Joined: Sun Nov 04, 2018 10:29 pm
Re: Halting problem undecidability and infinitely nested simulation
"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.
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.
-
- Posts: 1514
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Halting problem undecidability and infinitely nested simulation
I tried to delete this
Last edited by PeteOlcott on Sat Apr 09, 2022 5:11 pm, edited 2 times in total.
-
- Posts: 1514
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Halting problem undecidability and infinitely nested simulation
I had a whole reply carefully written and then my browser forgot the whole thing before I could post it.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.
Re: Halting problem undecidability and infinitely nested simulation
Another glitch in the matrix. And they say we're not in a simulation!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.
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.
-
- Posts: 1514
- Joined: Mon Jul 25, 2016 6:55 pm
Re: Halting problem undecidability and infinitely nested simulation
I rewrote the whole paper again and created a new post.wtf wrote: ↑Sat Apr 09, 2022 9:55 pmAnother glitch in the matrix. And they say we're not in a simulation!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.
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.