Path: csiph.com!eternal-september.org!feeder.eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail From: Keith Thompson Newsgroups: comp.lang.c Subject: Re: Simply defining =?utf-8?Q?G=C3=B6del?= Incompleteness and Tarski Undefinability away V52 (HP refutation) Date: Fri, 04 Sep 2020 11:55:30 -0700 Organization: None to speak of Lines: 20 Message-ID: <875z8tz80t.fsf@nosuchdomain.example.com> References: <4_ydnav1hZ8u38zCnZ2dnUU7-cPNnZ2d@giganews.com> <5_-dnZwR9tT4-MzCnZ2dnUU7-QnNnZ2d@giganews.com> <9s2dnaY4bdXpBczCnZ2dnUU7-Q_NnZ2d@giganews.com> <1556549d-7d3e-4647-a1a1-e6e2f2da79a9n@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: reader02.eternal-september.org; posting-host="307e00c4f776eed6a5c1245a2f0c0f96"; logging-data="27564"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19Ybi8KkJ1v7Z6ctdesM6FE" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.3 (gnu/linux) Cancel-Lock: sha1:h1qc3oEz4IHVTD13dibJVsFZHjM= sha1:NiyZOvbwWfOcoihNawZngpImGh0= Xref: csiph.com comp.lang.c:154517 olcott writes: [...] > I show a full execution trace of H_Hat correctly deciding halting on > itself. Please clarify what you mean by "I show". Are you saying you've actually shown such a trace? Where? I know you've posted a number of links here and in other newsgroups, and I haven't followed them. What is the URL of a web page that shows this "full execution trace"? If such a web page does not exist, what did you mean by "I show"? Are you planning to show it some day? Have you shown it but not publicly? -- Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com Working, but not speaking, for Philips Healthcare void Void(void) { Void(); } /* The recursive call of the void */