- Refuting the halting problem proofs - 1 Update
- lug028988@gmail.com - 1 Update
- Merry CHRISTmas! - 1 Update
| olcott <NoOne@NoWhere.com>: May 15 02:52PM -0500 To overcome the pathological self-reference error of the conventional halting problem proofs we simply define halt decider H such that every input P to halt decider H that itself calls H has the same halting value as the halting value as input P2 adapted from input P where all calls to H have been replaced with calls to Simulate. We can see that on the basis of this corrected criteria the actual Linz H would correctly decide not halting on the actual Linz Ĥ shown on page 319. http://www.liarparadox.org/Peter_Linz_HP(Pages_315-320).pdf Does the simulation of input P by simulating (at least partial) halt decider H have to be stopped to prevent the infinite execution of P? void H_Hat(u32 P) { u32 Input_Halts = Halts(P, P); if (Input_Halts) HERE: goto HERE; } THIS IS A TRUISM: If the simulation never needs to be stopped then we can swap Simulate(P,P) for Halts(P,P) and it will stop otherwise we know that the simulation must have needed to have been stopped at some point. http://www.liarparadox.org/Halting_problem_undecidability_and_infinitely_nested_simulation.pdf -- Copyright 2021 Pete Olcott "Great spirits have always encountered violent opposition from mediocre minds." Einstein |
| Steve Robertson <steve_o_1985@hotmail.com>: May 14 04:53PM -0700 On 12/25/2020 7:06 AM, Rick C. Hodgin wrote: > Many have forgotten the true meaning of CHRISTmas. It goes like this: Wrong newsgroup you fucking idiot. |
| You received this digest because you're subscribed to updates for this group. You can change your settings on the group membership page. To unsubscribe from this group and stop receiving emails from it send an email to comp.lang.c+++unsubscribe@googlegroups.com. |
No comments:
Post a Comment