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 : 17. May 2025, 10:42:33

Autres entêtes

Organisation : -
Message-ID : <1009lm9$b15q$1@dont-email.me>
References : 1 2 3 4 5 6 7
User-Agent : Unison/2.2

On 2025-05-16 15:10:18 +0000, olcott said:

On 5/16/2025 2:15 AM, Mikko wrote:
On 2025-05-16 01:21:04 +0000, olcott said:

On 5/15/2025 6:57 PM, Richard Heathfield wrote:
On 16/05/2025 00:43, olcott wrote:
On 5/15/2025 6:18 PM, Richard Damon wrote:
On 5/15/25 4:47 PM, olcott wrote:
I overcome the proof of undecidability of the Halting
Problem in that the code that
"does the opposite of whatever value that HHH returns"
becomes unreachable to DD correctly simulated by HHH.
Nope, only to youtr INCORRECTLY simuated by HHH.

In other words you believe that professor Sipser
screwed up when he agreed with these exact words.
Or maybe he just knows what 'if' means.

<MIT Professor Sipser agreed to ONLY these verbatim words 10/13/2022>
     If simulating halt decider H correctly simulates its
     input D until H correctly determines that its simulated D
     would never stop running unless aborted then
It is a verified fact that HHH does simulate DD according
to the rules of the x86 language, thus correctly
until HHH correctly determines that its simulated DD
would never stop running unless aborted
Otherwise true but the "correctly" is not verified.

void DDD()
{
   HHH(DDD);
   return;
}
Anyone that knows C can tell that when HHH does simulate
DDD correctly that it keeps getting deeper in recursive
simulation until aborted or OOM error.

No, there are peole who do know C but don't know that HHH is not
void HHH(void (*f)(void)) {} and how therefore cannot tell that
HHH does simulate DDD.
--
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	202	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	183	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 May00:59	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	28	olcott
17 May01:23	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 May02:20	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 May00:53	Re: Overcoming the proof of undecidability of the Halting Problem by a simple example in C	2	olcott
17 May01:18	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	116	Mikko
16 May 25	Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	115	olcott
17 May11:06	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	114	Mikko
17 May18:15	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	113	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	109	Mikko
18 May16:21	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	102	Mike Terry
18 May18:28	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	101	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	72	Richard Damon
18 May19:36	Re: Mike Terry Proves --- How the requirements that Professor Sipser agreed to are exactly met	6	olcott