Re: Every D(D) simulated by H presents non-halting behavior to H ###

Liste des GroupesRevenir à theory 
Sujet : Re: Every D(D) simulated by H presents non-halting behavior to H ###
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theory
Date : 15. May 2024, 09:18:26
Autres entêtes
Organisation : -
Message-ID : <v21r4i$otc2$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
User-Agent : Unison/2.2
On 2024-05-14 14:35:42 +0000, olcott said:

On 5/14/2024 4:52 AM, Mikko wrote:
On 2024-05-13 14:43:09 +0000, olcott said:
 
On 5/13/2024 4:14 AM, Mikko wrote:
On 2024-05-13 04:54:30 +0000, immibis said:
 
On 10/05/24 19:55, Alan Mackenzie wrote:
[ Followup-To: set ]
 In comp.theory olcott <polcott333@gmail.com> wrote:
 [ .... ]
 I've tried out your much spammed code on GCC (see below).  It is clear
you have never built or run this code, which ironically can't reach Line
06.  It can't even reach line 00.
 
Richard tried to get away with D never simulated by H as an example
of D simulated by H:
 
Message-ID: <v0ummt$2qov3$2@i2pn2.org>
On 5/1/2024 7:28 PM, Richard Damon wrote:
 
*That people say they know I am wrong yet will not show the detailed*
*steps of how I am wrong indicates that they are probably liars*
 You have said, or at least implied that your code fragment is runnable.
I think you are the liar, here.
 
00 int H(ptr x, ptr x)  // ptr is pointer to int function
01 int D(ptr x)
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 int main()
10 {
11   H(D,D);
12 }
  .  These are the diagnostics generated by GCC:
 
And the halting problem is about Turing machines, anyway.
 Not necessarily. The same question can be asked about different machines.
The restriction to Turing machines is just one way to ensure that the
problem is well defined.
 
 Well put. All computable functions even if written in C.
 You still must ensure that the problem is well defined. With C there is
the problem that conforming C programs often fail to be strictly conforming.
If a program is not strictly conforming it may be interpreted as halting
by some implementation and non-halting or incorrect by another.
 
 00 int H(ptr x, ptr x)  // ptr is pointer to int function
01 int D(ptr x)
02 {
03   int Halt_Status = H(x, x);
04   if (Halt_Status)
05     HERE: goto HERE;
06   return Halt_Status;
07 }
08
09 int main()
10 {
11   H(D,D);
12 }
 One can correctly determine that every D simulated by H
never reaches past its own line 03.
That is not strictly conforming and hardly conforming at all.
--
Mikko

Date Sujet#  Auteur
14 May 24 * Re: Every D(D) simulated by H presents non-halting behavior to H ###216Mikko
14 May 24 `* Re: Every D(D) simulated by H presents non-halting behavior to H ###215olcott
15 May 24  +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
15 May 24  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###213Mikko
15 May 24   `* Re: Every D(D) simulated by H presents non-halting behavior to H ###212olcott
15 May 24    +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3joes
15 May 24    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###2olcott
16 May 24    i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
16 May 24    +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
16 May 24    `* Re: Every D(D) simulated by H presents non-halting behavior to H ###207Mikko
16 May 24     `* Re: Every D(D) simulated by H presents non-halting behavior to H ###206olcott
16 May 24      +* Re: Every D(D) simulated by H presents non-halting behavior to H ###24Alan Mackenzie
16 May 24      i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###23olcott
17 May 24      i +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Mikko
17 May 24      i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###21Alan Mackenzie
18 May 24      i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###19olcott
18 May 24      i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###18André G. Isaak
18 May 24      i  i +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
18 May 24      i  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###12olcott
19 May 24      i  i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###11André G. Isaak
19 May 24      i  i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###10olcott
19 May 24      i  i i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8immibis
19 May 24      i  i i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7olcott
19 May 24      i  i i  i +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
19 May 24      i  i i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###5immibis
19 May 24      i  i i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###4olcott
19 May 24      i  i i  i   +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
20 May 24      i  i i  i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2immibis
20 May 24      i  i i  i    `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Mikko
19 May 24      i  i i  `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
18 May 24      i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###4olcott
18 May 24      i  i  +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
18 May 24      i  i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Fred. Zwarts
18 May 24      i  i   `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
18 May 24      i  `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
17 May 24      +* Re: Every D(D) simulated by H presents non-halting behavior to H ###176Mikko
17 May 24      i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###175olcott
18 May 24      i +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
18 May 24      i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###173Mikko
18 May 24      i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###65olcott
18 May 24      i  i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
19 May 24      i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###63DFS
19 May 24      i  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8immibis
20 May 24      i  i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Chris M. Thomasson
20 May 24      i  i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###6Keith Thompson
20 May 24      i  i i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Chris M. Thomasson
20 May 24      i  i i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Keith Thompson
21 May 24      i  i i  i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
20 May 24      i  i i  +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1olcott
20 May 24      i  i i  `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Kenny McCormack
19 May 24      i  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###52olcott
19 May 24      i  i i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
19 May 24      i  i i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###50Richard Damon
19 May 24      i  i i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###49Chris M. Thomasson
20 May 24      i  i i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###48immibis
20 May 24      i  i i   `* Re: Every D(D) simulated by H presents non-halting behavior to H ###47David Brown
20 May 24      i  i i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ###4Kenny McCormack
20 May 24      i  i i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Alan Mackenzie
20 May 24      i  i i    i `* Topicality: Who really cares? (Was: Every D(D) simulated by H presents non-halting behavior to H ###)2Kenny McCormack
21 May 24      i  i i    i  `- Re: Topicality: Who really cares? (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1David Brown
20 May 24      i  i i    +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8Chris M. Thomasson
21 May 24      i  i i    i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7David Brown
21 May 24      i  i i    i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###6James Kuyper
21 May 24      i  i i    i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###5David Brown
21 May 24      i  i i    i   +- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
21 May 24      i  i i    i   +* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Keith Thompson
22 May 24      i  i i    i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H ###1David Brown
24 May 24      i  i i    i   `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
21 May 24      i  i i    `* Re: Every D(D) simulated by H presents non-halting behavior to H ###34immibis
21 May 24      i  i i     +* Lying meets the standard of losing defamation cases2olcott
21 May 24      i  i i     i`- Re: Lying meets the standard of losing defamation cases1Richard Damon
21 May 24      i  i i     +* Lying meets the standard of losing defamation cases2olcott
21 May 24      i  i i     i`- Re: Lying meets the standard of losing defamation cases1Richard Damon
21 May 24      i  i i     +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Keith Thompson
21 May 24      i  i i     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Kenny McCormack
21 May 24      i  i i     i `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1immibis
21 May 24      i  i i     +* Re: Every D(D) simulated by H presents non-halting behavior to H ###16David Brown
21 May 24      i  i i     i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###15James Kuyper
21 May 24      i  i i     i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###14immibis
21 May 24      i  i i     i  +- Thought control??? (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Kenny McCormack
22 May 24      i  i i     i  +* Re: Every D(D) simulated by H presents non-halting behavior to H ###8Richard Damon
22 May 24      i  i i     i  i`* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Keith Thompson
22 May 24      i  i i     i  i +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3olcott
22 May 24      i  i i     i  i i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1immibis
22 May 24      i  i i     i  i i`- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Richard Damon
22 May 24      i  i i     i  i `* Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###)3Kenny McCormack
22 May 24      i  i i     i  i  `* Re: Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###)2immibis
22 May 24      i  i i     i  i   `- Re: Policy dispute (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Kenny McCormack
22 May 24      i  i i     i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###4James Kuyper
22 May 24      i  i i     i   +* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Kenny McCormack
22 May 24      i  i i     i   i`- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Kaz Kylheku
22 May 24      i  i i     i   `- Re: Every D(D) simulated by H presents non-halting behavior to H ###1David Brown
21 May 24      i  i i     `* Re: Every D(D) simulated by H presents non-halting behavior to H ###10Chris M. Thomasson
21 May 24      i  i i      +* Subway (Was: Every D(D) simulated by H presents non-halting behavior to H ###)2Kenny McCormack
21 May 24      i  i i      i`- Re: Subway (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Chris M. Thomasson
21 May 24      i  i i      `* Re: Every D(D) simulated by H presents non-halting behavior to H ###7Keith Thompson
21 May 24      i  i i       +* Re: Every D(D) simulated by H presents non-halting behavior to H ###3Chris M. Thomasson
21 May 24      i  i i       i+- Re: Every D(D) simulated by H presents non-halting behavior to H ###1Chris M. Thomasson
21 May 24      i  i i       i`- Welcome! (Was: Every D(D) simulated by H presents non-halting behavior to H ###)1Kenny McCormack
22 May 24      i  i i       `* Re: Every D(D) simulated by H presents non-halting behavior to H ###3immibis
24 May 24      i  i i        `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2James Kuyper
19 May 24      i  i `* Re: Every D(D) simulated by H presents non-halting behavior to H ###2Chris M. Thomasson
18 May 24      i  `* Re: Every D(D) simulated by H presents non-halting behavior to H ###107James Kuyper
18 May 24      `* Re: Every D(D) simulated by H presents non-halting behavior to H ###5immibis

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal