Path: csiph.com!news.mixmin.net!eternal-september.org!reader01.eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.lang.c,comp.lang.c++,comp.theory
Subject: Re: H(P,P) is pure software engineering that correctly refutes the halting theorem
Followup-To: comp.theory
Date: Wed, 13 Jul 2022 19:41:24 -0700
Organization: None to speak of
Lines: 12
Message-ID: <875yk05sbv.fsf@nosuchdomain.example.com>
References: <tagdbc$mlb$1@gioia.aioe.org> <9fc98d2a-f43f-4463-b41b-fe5747056cebn@googlegroups.com> <tai3ut$1afk$1@gioia.aioe.org> <mOqdnRGdL5ZaM1H_nZ2dnUU7_8zNnZ2d@giganews.com> <tajvkl$13ac$1@gioia.aioe.org> <1tmdnWTZkrczuVP_nZ2dnUU7_8zNnZ2d@giganews.com> <t3qzK.380747$vAW9.26309@fx10.iad> <-bWdnc2EzYm6s1P_nZ2dnUU7_81g4p2d@giganews.com> <PfqzK.360372$ssF.203774@fx14.iad> <rNGdnaEiAbjIrlP_nZ2dnUU7_83NnZ2d@giganews.com> <nlyzK.502768$5fVf.118235@fx09.iad> <UsKdnYFrVr34JVP_nZ2dnUU7_8zNnZ2d@giganews.com> <pUIzK.447336$70j.311658@fx16.iad> <eP2dnZJ6CYOBw1L_nZ2dnUU7_83NnZ2d@giganews.com> <LbKzK.32587$BZ1.1589@fx03.iad> <lfWdnUSUDIgK71L_nZ2dnUU7_8zNnZ2d@giganews.com> <tcLzK.48986$iR.41893@fx44.iad>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Info: reader01.eternal-september.org; posting-host="87f44e162230bee0a6d0ee1a7c011f6c"; logging-data="2749041"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+4yJzBYYyXc4SLB8Wob2CB"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux)
Cancel-Lock: sha1:qFt+gsWbeCLvzopIWiune1jQWRk= sha1:29Hzfr345KcMHhva9ZZIRpitAag=
Xref: csiph.com comp.lang.c:166697 comp.lang.c++:85161 comp.theory:53705

Richard Damon <Richard@Damon-Family.org> writes:
> On 7/13/22 9:34 PM, olcott wrote:
[214 lines deleted]

Richard, please stop cross-posting to comp.lang.c and comp.lang.c++.

Followups directed back where they belong.

-- 
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
Working, but not speaking, for Philips
void Void(void) { Void(); } /* The recursive call of the void */