Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connectionsPath: ...!2.eu.feeder.erje.net!feeder.erje.net!news2.arglkargh.de!news.karotte.org!news.space.net!news.muc.de!.POSTED.news.muc.de!not-for-mail From: Alan Mackenzie Newsgroups: comp.theory,sci.logic Subject: Re: Every D(D) simulated by H presents non-halting behavior to H ### Followup-To: comp.theory Date: Fri, 10 May 2024 17:55:56 -0000 (UTC) Organization: muc.de e.V. Message-ID: References: <-5Gdnf-nQvstC6b7nZ2dnZfqnPadnZ2d@brightview.co.uk> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Injection-Date: Fri, 10 May 2024 17:55:56 -0000 (UTC) Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2"; logging-data="32241"; mail-complaints-to="news-admin@muc.de" User-Agent: tin/2.6.3-20231224 ("Banff") (FreeBSD/14.0-RELEASE-p5 (amd64)) Bytes: 4232 Lines: 95 [ Followup-To: set ] In comp.theory olcott 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: > 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 =3D 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 } I removed the line numbers from your code, added in a "pointer to int function" type (you should really learn how to do this yourself) and ran the result on GCC. This is the file I submitted: typedef int (* ptr) (void); int H(ptr x, ptr x) // ptr is pointer to int function int D(ptr x) { int Halt_Status =3D H(x, x); if (Halt_Status) HERE: goto HERE; return Halt_Status; } int main() { H(D,D); } .. These are the diagnostics generated by GCC: olcott.c:2:18: error: redefinition of parameter =E2=80=98x=E2=80=99 2 | int H(ptr x, ptr x) // ptr is pointer to int function | ~~~~^ olcott.c:2:11: note: previous definition of =E2=80=98x=E2=80=99 with type= =E2=80=98ptr=E2=80=99 {aka =E2=80=98int (*)(void)=E2=80=99} 2 | int H(ptr x, ptr x) // ptr is pointer to int function | ~~~~^ olcott.c: In function =E2=80=98H=E2=80=99: olcott.c:4:1: error: expected =E2=80=98=3D=E2=80=99, =E2=80=98,=E2=80=99,= =E2=80=98;=E2=80=99, =E2=80=98asm=E2=80=99 or =E2=80=98__attribute__=E2=80= =99 before =E2=80=98{=E2=80=99 token 4 | { | ^ olcott.c:12:1: error: expected =E2=80=98=3D=E2=80=99, =E2=80=98,=E2=80=99= , =E2=80=98;=E2=80=99, =E2=80=98asm=E2=80=99 or =E2=80=98__attribute__=E2= =80=99 before =E2=80=98{=E2=80=99 token 12 | { | ^ olcott.c:15: error: expected =E2=80=98{=E2=80=99 at end of input > Any H/D pair matching the above template where D(D) is simulated > by the same H(D,D) that it calls cannot possibly reach past its own > line 03. Simple software engineering verified fact. The code for D is so full of errors that it cannot demonstrate anything, beyond a lack of proficiency in C in its author. > --=20 > Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius > hits a target no one else can see." Arthur Schopenhauer --=20 Alan Mackenzie (Nuremberg, Germany).