Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.software-eng > #3666
| From | olcott <polcott2@gmail.com> |
|---|---|
| Newsgroups | sci.logic, comp.theory, comp.ai.philosophy, comp.software-eng |
| Subject | Simulating Halt Deciders Defeat the Halting Theorem V2 |
| Date | 2023-02-20 12:39 -0600 |
| Organization | A noiseless patient Spider |
| Message-ID | <tt0eo7$r85s$1@dont-email.me> (permalink) |
Cross-posted to 4 groups.
int D(int (*x)())
{
int Halt_Status = H(x, x);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
When simulating halt decider H is applied to the conventional (otherwise
impossible) input D ordinary software engineering conclusively proves
that D correctly simulated by H cannot possibly reach its own return
statement and terminate normally (AKA halt).
A simulating halt decider H correctly predicts whether or not D
correctly simulated by H would ever reach its own final state.
The ultimate measure of a correct simulation is that the execution trace
behavior of the simulated input exactly matches the behavior that the
input machine code specifies.
https://www.researchgate.net/publication/368568464_Simulating_Halt_Deciders_Defeat_the_Halting_Theorem
Disagreeing with the above verified facts is only possible through
dishonesty or incompetence.
Whether or not the above directly applies to the halting theorem is the
only actually open issue.
--
Copyright 2023 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer
Back to comp.software-eng | Previous | Next — Next in thread | Find similar | Unroll thread
Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-20 12:39 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> - 2023-02-20 19:20 -0500
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-20 18:46 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-20 19:10 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-20 20:22 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> - 2023-02-20 21:32 -0500
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-20 20:53 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> - 2023-02-20 22:06 -0500
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-20 21:28 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> - 2023-02-20 22:38 -0500
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-20 22:08 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> - 2023-02-20 23:21 -0500
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-20 22:44 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> - 2023-02-21 07:03 -0500
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 olcott <polcott2@gmail.com> - 2023-02-21 09:38 -0600
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> - 2023-02-21 18:45 -0500
Re: Simulating Halt Deciders Defeat the Halting Theorem V2 Richard Damon <Richard@Damon-Family.org> - 2023-02-20 20:54 -0500
csiph-web