Newsportal USENET - Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C

Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C

Sujet : Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 19. May 2025, 10:36:17

Autres entêtes

Organisation : -
Message-ID : <100eu2h$1i4s7$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13
User-Agent : Unison/2.2

On 2025-05-19 00:33:58 +0000, olcott said:

On 5/18/2025 7:27 PM, Ben Bacarisse wrote:
Richard Heathfield <rjh@cpax.org.uk> writes:

On 18/05/2025 23:18, Ben Bacarisse wrote:
Richard Heathfield <rjh@cpax.org.uk> writes:
...
If they know C they should know that it's
u32 HHH(void (*P)()), according to Halt7.c.
It takes a pointer to a function that accepts no arguments and returns no
value.
Yes, but I am surprised that you are being so modern!! You used to
favour C90 and didn't really care for anything more recent.
I am just as surprised that you missed the distinction I was making, which
was between these:
void HHH(void (*f)(void))
u32 HHH(void (*P)())
Empty parentheses had nothing to do with my point. On line 16 we find:
typedef uint32_t u32;
uint32_t != void.
Yes, I got the distinction you were making, but I must have got confused
about the referent of "it" in the part I quoted. I was hoping to add
to the discussion despite ignoring your main point. Sorry.

*Copied from the original post that he responded to*
int DD()
{
   int Halt_Status = HHH(DD);
   if (Halt_Status)
   HERE: goto HERE;
   return Halt_Status;
}
HHH simulates DD that calls HHH(DD) to simulate itself
again over and over until HHH sees this repeating pattern
and aborts or both HHH and DD crash due to OOM error.
His main point was to dodge the actual meaning
of the word *simulate*

Whose?
--
Mikko

Les messages affichés proviennent d'usenet.

Date	Sujet	#	Auteur
15 May 25	Overcoming the proof of undecidability of the Halting Problem by a simple example in C	220	olcott
15 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	18	olcott
15 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	12	olcott
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	7	olcott
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	2	olcott
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Richard Damon
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	4	Mikko
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	3	olcott
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Richard Damon
17 May10:27	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Mikko
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	4	Mikko
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	3	olcott
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Richard Damon
17 May10:30	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Mikko
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	5	Mikko
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	4	olcott
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	olcott
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Richard Damon
17 May10:35	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Mikko
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	201	olcott
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	61	Richard Heathfield
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	60	olcott
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	3	Richard Heathfield
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	2	olcott
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Richard Heathfield
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	56	Mikko
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	55	olcott
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	29	Richard Heathfield
17 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	28	olcott
17 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	6	Richard Damon
17 May03:46	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	5	olcott
17 May03:58	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	4	Richard Damon
17 May04:15	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	3	olcott
17 May09:57	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Fred. Zwarts
17 May13:48	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Richard Damon
17 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	21	Richard Heathfield
17 May03:24	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	20	olcott
17 May03:44	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	15	Richard Heathfield
17 May03:55	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	14	olcott
17 May04:33	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	13	Richard Heathfield
17 May04:49	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	12	olcott
17 May05:09	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	5	Richard Heathfield
17 May05:37	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	4	olcott
17 May05:52	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	3	Richard Heathfield
17 May06:04	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	2	olcott
17 May06:20	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Richard Heathfield
17 May13:59	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	6	Richard Damon
18 May12:09	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	5	Richard Heathfield
19 May10:23	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	4	Mikko
19 May11:08	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	3	Richard Heathfield
19 May13:32	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	2	Mikko
19 May13:57	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Richard Heathfield
17 May03:42	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	4	Richard Damon
17 May05:53	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	3	olcott
17 May09:50	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Fred. Zwarts
17 May13:52	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Richard Damon
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	3	Richard Damon
17 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	2	olcott
17 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Richard Damon
17 May10:42	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	22	Mikko
18 May12:05	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	21	Richard Heathfield
18 May23:18	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	20	Ben Bacarisse
19 May01:01	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	18	Richard Heathfield
19 May01:27	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	17	Ben Bacarisse
19 May01:33	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	16	olcott
19 May02:02	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	14	Richard Heathfield
19 May02:24	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	13	olcott
19 May03:08	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	11	Richard Heathfield
19 May04:16	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	8	Richard Heathfield
19 May05:12	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	7	Richard Heathfield
19 May05:25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	6	olcott
19 May05:57	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	4	Richard Heathfield
19 May06:27	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	3	olcott
19 May07:17	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Richard Heathfield
19 May10:54	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Mikko
19 May12:00	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Richard Damon
19 May10:49	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Mikko
19 May11:56	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Richard Damon
19 May10:41	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Mikko
19 May10:36	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Mikko
19 May10:29	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Mikko
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	5	Richard Damon
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	4	olcott
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	3	Richard Damon
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	2	olcott
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	1	Richard Damon
16 May 25	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	134	Mikko
16 May 25	Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	133	olcott
17 May11:06	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	132	Mikko
17 May18:15	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	131	olcott
17 May20:58	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	3	Richard Damon
17 May21:03	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	2	olcott
18 May10:12	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	1	Mikko
18 May10:09	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	127	Mikko
18 May16:21	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	120	Mike Terry
18 May18:28	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	119	olcott
18 May20:08	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	28	joes
18 May20:18	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	27	olcott
18 May20:30	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	1	Richard Damon
19 May11:12	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	25	Mikko
20 May05:10	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	24	olcott
18 May20:25	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	90	Richard Damon
18 May19:36	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	6	olcott