Groups > comp.theory > #51970

Re: Refuting the HP proofs (adapted for software engineers)[ Andy Walker ]

From	Ben <ben.usenet@bsb.me.uk>
Newsgroups	comp.theory
Subject	Re: Refuting the HP proofs (adapted for software engineers)[ Andy Walker ]
Date	2022-06-06 01:40 +0100
Organization	A noiseless patient Spider
Message-ID	<87mteqlj44.fsf@bsb.me.uk> (permalink)
References	(12 earlier) <t7ihd1$1qaq$1@news.muc.de> <t7j2et$gmt$1@gioia.aioe.org> <t7j8vh$2i1$1@dont-email.me> <t7jg0k$1qko$1@gioia.aioe.org> <t7jhfn$kfc$1@dont-email.me>

Show all headers | View raw

Jeff Barnett <jbb@notatt.com> writes:

> On 6/5/2022 5:59 PM, Mike Terry wrote:

>> The question right now is what you would call a TM which evaluates
>> the first 10 steps of a computation, and then does something else. 
>> What is it doing while evaluating those 10 steps?
>
> What would I call it? POOP! It just goes to show the accuracy and
> flexibility of Ben's acronym for any Peter-related concept.

Credit where it's due... POOP is Richard's.  Mine was not as good.

-- 
Ben.

Thread

csiph-web