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

Liste des GroupesRevenir à theory 
Sujet : Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C
De : ben (at) *nospam* bsb.me.uk (Ben Bacarisse)
Groupes : comp.theory
Date : 19. May 2025, 01:27:51
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <87v7pxzbp4.fsf@bsb.me.uk>
References : 1 2 3 4 5 6 7 8 9 10 11
User-Agent : Gnus/5.13 (Gnus v5.13)
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.

--
Ben.

Date Sujet#  Auteur
15 May 25 * Overcoming the proof of undecidability of the Halting Problem by a simple example in C202olcott
15 May 25 +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C18olcott
15 May 25 i+* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C12olcott
16 May 25 ii+* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C7olcott
16 May 25 iii+* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C2olcott
16 May 25 iiii`- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
16 May 25 iii`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4Mikko
16 May 25 iii `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3olcott
16 May 25 iii  +- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
17 May10:27 iii  `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Mikko
16 May 25 ii`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4Mikko
16 May 25 ii `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3olcott
16 May 25 ii  +- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
17 May10:30 ii  `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Mikko
16 May 25 i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C5Mikko
16 May 25 i `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4olcott
16 May 25 i  +- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1olcott
16 May 25 i  +- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
17 May10:35 i  `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Mikko
16 May 25 `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C183olcott
16 May 25  +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C61Richard Heathfield
16 May 25  i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C60olcott
16 May 25  i +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3Richard Heathfield
16 May 25  i i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C2olcott
16 May 25  i i `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Heathfield
16 May 25  i `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C56Mikko
16 May 25  i  `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C55olcott
16 May 25  i   +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C29Richard Heathfield
17 May00:59  i   i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C28olcott
17 May01:23  i   i +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C6Richard Damon
17 May03:46  i   i i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C5olcott
17 May03:58  i   i i `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4Richard Damon
17 May04:15  i   i i  `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3olcott
17 May09:57  i   i i   +- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Fred. Zwarts
17 May13:48  i   i i   `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
17 May02:20  i   i `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C21Richard Heathfield
17 May03:24  i   i  `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C20olcott
17 May03:44  i   i   +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C15Richard Heathfield
17 May03:55  i   i   i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C14olcott
17 May04:33  i   i   i `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C13Richard Heathfield
17 May04:49  i   i   i  `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C12olcott
17 May05:09  i   i   i   +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C5Richard Heathfield
17 May05:37  i   i   i   i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4olcott
17 May05:52  i   i   i   i `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3Richard Heathfield
17 May06:04  i   i   i   i  `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C2olcott
17 May06:20  i   i   i   i   `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Heathfield
17 May13:59  i   i   i   `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C6Richard Damon
18 May12:09  i   i   i    `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C5Richard Heathfield
19 May10:23  i   i   i     `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4Mikko
19 May11:08  i   i   i      `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3Richard Heathfield
19 May13:32  i   i   i       `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C2Mikko
19 May13:57  i   i   i        `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Heathfield
17 May03:42  i   i   `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4Richard Damon
17 May05:53  i   i    `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3olcott
17 May09:50  i   i     +- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Fred. Zwarts
17 May13:52  i   i     `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
16 May 25  i   +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3Richard Damon
17 May00:53  i   i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C2olcott
17 May01:18  i   i `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
17 May10:42  i   `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C22Mikko
18 May12:05  i    `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C21Richard Heathfield
18 May23:18  i     `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C20Ben Bacarisse
19 May01:01  i      +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C18Richard Heathfield
19 May01:27  i      i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C17Ben Bacarisse
19 May01:33  i      i `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C16olcott
19 May02:02  i      i  +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C14Richard Heathfield
19 May02:24  i      i  i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C13olcott
19 May03:08  i      i  i +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C11Richard Heathfield
19 May04:16  i      i  i i+* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C8Richard Heathfield
19 May05:12  i      i  i ii`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C7Richard Heathfield
19 May05:25  i      i  i ii `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C6olcott
19 May05:57  i      i  i ii  +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4Richard Heathfield
19 May06:27  i      i  i ii  i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3olcott
19 May07:17  i      i  i ii  i +- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Heathfield
19 May10:54  i      i  i ii  i `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Mikko
19 May12:00  i      i  i ii  `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
19 May10:49  i      i  i i+- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Mikko
19 May11:56  i      i  i i`- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
19 May10:41  i      i  i `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Mikko
19 May10:36  i      i  `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Mikko
19 May10:29  i      `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Mikko
16 May 25  +* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C5Richard Damon
16 May 25  i`* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C4olcott
16 May 25  i `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C3Richard Damon
16 May 25  i  `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C2olcott
16 May 25  i   `- Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C1Richard Damon
16 May 25  `* Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C116Mikko
16 May 25   `* Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met115olcott
17 May11:06    `* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met114Mikko
17 May18:15     `* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met113olcott
17 May20:58      +* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met3Richard Damon
17 May21:03      i`* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met2olcott
18 May10:12      i `- Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met1Mikko
18 May10:09      `* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met109Mikko
18 May16:21       +* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met102Mike Terry
18 May18:28       i`* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met101olcott
18 May20:08       i +* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met28joes
18 May20:18       i i`* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met27olcott
18 May20:30       i i +- Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met1Richard Damon
19 May11:12       i i `* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met25Mikko
20 May05:10       i i  `* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met24olcott
18 May20:25       i `* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met72Richard Damon
18 May19:36       `* Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met6olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal