Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Ben Bacarisse <ben.usenet@bsb.me.uk> |
|---|---|
| Newsgroups | comp.theory |
| Subject | Re: Simulating halt decider H correctly decides halt status of pathological inputs (V2) |
| Date | 2021-07-18 03:39 +0100 |
| Organization | A noiseless patient Spider |
| Message-ID | <8735scl50x.fsf@bsb.me.uk> (permalink) |
| References | <aoGdnZthSvke2279nZ2dnUU7-KnNnZ2d@giganews.com> |
olcott <NoOne@NoWhere.com> writes:
> // Based on: Strachey(1965) "An impossible program"
> // https://doi.org/10.1093/comjnl/7.4.313
> void P(u32 x)
> {
> if (H(x, x))
> HERE: goto HERE;
> }
>
> int main()
> {
> Output("Input_Halts = ", P((u32)P);
> }
P(P) halts (according to you). H(P,P) == 0 (according to you). This is
wrong (according to everyone /but/ you).
> *Stipulated Definition of Halting*
> An input to a halt decider is defined to halt if and only if this
> input stops running while simulating halt decider H remains a pure
> simulator of this input.
Why do you think anyone else cares about this silly definition?
--
Ben.
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Simulating halt decider H correctly decides halt status of pathological inputs (V2) olcott <NoOne@NoWhere.com> - 2021-07-17 16:07 -0500
Re: Simulating halt decider H correctly decides halt status of pathological inputs (V2) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-18 03:39 +0100
Re: Simulating halt decider H correctly decides halt status of pathological inputs (V2) olcott <NoOne@NoWhere.com> - 2021-07-19 09:50 -0500
Re: Simulating halt decider H correctly decides halt status of pathological inputs (V2) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-20 01:35 +0100
Re: Simulating halt decider H correctly decides halt status of pathological inputs (V2) olcott <NoOne@NoWhere.com> - 2021-07-20 09:11 -0500
Re: Simulating halt decider H correctly decides halt status of pathological inputs (V2) Richard Damon <Richard@Damon-Family.org> - 2021-07-20 11:32 -0700
Re: Simulating halt decider H correctly decides halt status of pathological inputs (V2) Ben Bacarisse <ben.usenet@bsb.me.uk> - 2021-07-21 01:28 +0100
csiph-web