Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.theory > #134968
| From | Mr Flibble <flibble@red-dwarf.jmc.corp> |
|---|---|
| Subject | Re: Addressing duffer-speak |
| Newsgroups | comp.theory |
| References | (16 earlier) <10eb1ed$34jh1$1@dont-email.me> <72c0ad1f66b0692981b90495d5b673c84b214ef5.camel@gmail.com> <10eb3f8$359u6$1@dont-email.me> <bdaff965df9b5ee3d72dffb2ee5878bb60039dc9.camel@gmail.com> <10eb70q$36c6m$1@dont-email.me> |
| Message-ID | <F9aOQ.51047$PRof.17642@fx09.ams4> (permalink) |
| Organization | Eweka Internet Services |
| Date | 2025-11-03 22:38 +0000 |
On Mon, 03 Nov 2025 15:32:08 -0600, olcott wrote:
> On 11/3/2025 3:22 PM, wij wrote:
>> On Mon, 2025-11-03 at 14:31 -0600, olcott wrote:
>>> On 11/3/2025 2:01 PM, wij wrote:
>
>
>> If H(D) does return, what does your post mean:
>>
>> int D()
>> {
>> int Halt_Status = H(D); // <---- Does this H(D) return?
>> if (Halt_Status)
>> HERE: goto HERE;
>> return Halt_Status;
>> }
>>
>> *THIS IS THE KEY MOST IMPORTANT UNAMBIGUOUS STATEMENT*
>> D simulated by H cannot possibly reach its own simulated "return"
>> statement.
>>
>>
> Maybe you need to carefully study these words reading them over-and-over
> again and again until you can pay 100% complete attention to every tiny
> detail of everything that they specify.
>
> The function H is a simulating termination analyzer:
> (a) Detects a non-terminating behavior pattern:
> abort simulation and return 0.
> (b) Simulated input reaches its simulated
> "return" statement: return 1.
>
> When given a function P, it literally simulates each step of executing
> P() to see whether that simulated execution ever reaches a return
> statement. Now let H simulate D. Based only on the outcome of that
> literal simulation (not on reasoning about what should happen), what
> result should H(D) produce?
It doesn't matter what result H(D) produces because D will do the opposite
making H wrong.
/Flibble
--
meet ever shorter deadlines, known as "beat the clock"
Back to comp.theory | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Plonkers Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-11-02 01:46 +0000
Re: Plonkers Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-02 02:12 +0000
"duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-01 21:41 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? Mike Terry <news.dead.person.stones@darjeeling.plus.com> - 2025-11-02 04:08 +0000
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-01 23:14 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? dbush <dbush.mobile@gmail.com> - 2025-11-02 00:32 -0400
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-02 07:34 +0000
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-11-02 04:39 +0000
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? Richard Damon <Richard@Damon-Family.org> - 2025-11-02 14:10 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 14:26 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? Richard Damon <Richard@Damon-Family.org> - 2025-11-02 22:58 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 22:27 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? Richard Damon <Richard@Damon-Family.org> - 2025-11-02 23:35 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 22:57 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 18:25 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? dbush <dbush.mobile@gmail.com> - 2025-11-02 19:32 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 18:35 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? dbush <dbush.mobile@gmail.com> - 2025-11-02 20:04 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 19:17 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? dbush <dbush.mobile@gmail.com> - 2025-11-02 20:26 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 20:25 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? dbush <dbush.mobile@gmail.com> - 2025-11-02 21:33 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 20:53 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? dbush <dbush.mobile@gmail.com> - 2025-11-02 22:11 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 21:16 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? dbush <dbush.mobile@gmail.com> - 2025-11-02 22:27 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? Richard Heathfield <rjh@cpax.org.uk> - 2025-11-03 03:49 +0000
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 22:24 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? Richard Heathfield <rjh@cpax.org.uk> - 2025-11-03 01:00 +0000
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? dbush <dbush.mobile@gmail.com> - 2025-11-02 20:06 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? Richard Heathfield <rjh@cpax.org.uk> - 2025-11-03 02:35 +0000
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 20:54 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 21:13 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 19:07 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? dbush <dbush.mobile@gmail.com> - 2025-11-02 20:08 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-02 07:15 +0000
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 07:16 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? wij <wyniijj5@gmail.com> - 2025-11-02 21:46 +0800
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 07:54 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? wij <wyniijj5@gmail.com> - 2025-11-02 22:12 +0800
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? wij <wyniijj5@gmail.com> - 2025-11-02 23:23 +0800
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 14:29 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? dbush <dbush.mobile@gmail.com> - 2025-11-02 08:48 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 07:57 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? dbush <dbush.mobile@gmail.com> - 2025-11-02 09:00 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 08:09 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? dbush <dbush.mobile@gmail.com> - 2025-11-02 09:13 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 09:12 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? dbush <dbush.mobile@gmail.com> - 2025-11-02 12:18 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 14:31 -0600
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? dbush <dbush.mobile@gmail.com> - 2025-11-02 16:42 -0500
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-02 14:19 +0000
Re: "duffer speak" ??? Mike can't be dishonest so what is left ? olcott <polcott333@gmail.com> - 2025-11-02 08:42 -0600
Re: Plonkers Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-11-02 07:10 +0000
Addressing duffer-speak olcott <polcott333@gmail.com> - 2025-11-03 07:47 -0600
Re: Addressing duffer-speak wij <wyniijj5@gmail.com> - 2025-11-03 22:19 +0800
Re: Addressing duffer-speak olcott <polcott333@gmail.com> - 2025-11-03 10:32 -0600
Re: Addressing duffer-speak wij <wyniijj5@gmail.com> - 2025-11-04 00:42 +0800
Re: Addressing duffer-speak olcott <polcott333@gmail.com> - 2025-11-03 11:18 -0600
Re: Addressing duffer-speak wij <wyniijj5@gmail.com> - 2025-11-04 01:33 +0800
Re: Addressing duffer-speak olcott <polcott333@gmail.com> - 2025-11-03 12:00 -0600
Re: Addressing duffer-speak wij <wyniijj5@gmail.com> - 2025-11-04 02:13 +0800
Re: Addressing duffer-speak olcott <polcott333@gmail.com> - 2025-11-03 12:30 -0600
Re: Addressing duffer-speak wij <wyniijj5@gmail.com> - 2025-11-04 03:09 +0800
Re: Addressing duffer-speak olcott <polcott333@gmail.com> - 2025-11-03 13:16 -0600
Re: Addressing duffer-speak wij <wyniijj5@gmail.com> - 2025-11-04 03:23 +0800
Re: Addressing duffer-speak olcott <polcott333@gmail.com> - 2025-11-03 13:27 -0600
Re: Addressing duffer-speak wij <wyniijj5@gmail.com> - 2025-11-04 03:34 +0800
Re: Addressing duffer-speak olcott <polcott333@gmail.com> - 2025-11-03 13:37 -0600
Re: Addressing duffer-speak wij <wyniijj5@gmail.com> - 2025-11-04 03:52 +0800
Re: Addressing duffer-speak olcott <polcott333@gmail.com> - 2025-11-03 13:57 -0600
Re: Addressing duffer-speak wij <wyniijj5@gmail.com> - 2025-11-04 04:01 +0800
Re: Addressing duffer-speak olcott <polcott333@gmail.com> - 2025-11-03 14:31 -0600
Re: Addressing duffer-speak wij <wyniijj5@gmail.com> - 2025-11-04 05:22 +0800
Re: Addressing duffer-speak olcott <polcott333@gmail.com> - 2025-11-03 15:32 -0600
Re: Addressing duffer-speak Mr Flibble <flibble@red-dwarf.jmc.corp> - 2025-11-03 22:38 +0000
Re: Addressing duffer-speak "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-03 15:25 -0800
Re: Addressing duffer-speak wij <wyniijj5@gmail.com> - 2025-11-04 19:40 +0800
Re: Addressing duffer-speak --- head games olcott <polcott333@gmail.com> - 2025-11-04 06:31 -0600
Re: Addressing duffer-speak --- head games dbush <dbush.mobile@gmail.com> - 2025-11-04 07:53 -0500
csiph-web