Path: csiph.com!news.mixmin.net!eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups: sci.logic,comp.theory,comp.ai.philosophy
Subject: Re: dishonest subject lines
Followup-To: comp.theory
Date: Tue, 20 Jun 2023 17:02:46 +0100
Organization: A noiseless patient Spider
Lines: 29
Message-ID: <87r0q69l5l.fsf_-_@bsb.me.uk>
References: <u6jhqq$1570m$1@dont-email.me> <580d711a-afd0-4eae-b2bd-84b0126905d3n@googlegroups.com> <u6ptvb$23qkq$1@dont-email.me> <6a7076e8-79b9-49cb-8da9-dc538329cf89n@googlegroups.com> <87wmzzjjv6.fsf@bsb.me.uk> <u6sfa8$2fgi8$2@dont-email.me> <eTjkM.3650$WpOe.1930@fx18.iad>
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Injection-Info: dont-email.me; posting-host="4c6daad976f0015f94eedb7b5cde6d3c"; logging-data="2614527"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/A/L227iqL+TP3tsbyNRxz62TAzbshijk="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
Cancel-Lock: sha1:h4FqQ8828BnUmGsaf+dE3xsgvMo= sha1:L1/EOXK/UXejt0vrQFgLCzf9Dcg=
X-BSB-Auth: 1.5f586b7814156d5e8952.20230620170246BST.87r0q69l5l.fsf_-_@bsb.me.uk
Xref: csiph.com sci.logic:254717 comp.theory:65020 comp.ai.philosophy:29780

Richard Damon <Richard@Damon-Family.org> writes:

>> On 6/19/2023 3:08 PM, Ben Bacarisse wrote:

>>> Me: "do you still assert that [...] false is the "correct" answer even
>>>      though P(P) halts?"
>>>
>>> PO: Yes that is the correct answer even though P(P) halts.
<cut>
>>> This was not a slip of the tongue.  He has been quite clear that he is
>>> talking about something other than what the world calls halting.  It's
>>> about what /would/ happen if the program were slight different, not
>>> about what actually happens:
>>>
>>> PO: "A non-halting computation is every computation that never halts
>>>      unless its simulation is aborted.  This maps to every element of the
>>>      conventional halting problem set of non-halting computations and a
>>>      few more."

> Ben is just pointing out the ERRORS in your logic

I don't think I pointed to any errors of logic.  I just quoted PO so
that readers can see what he's talking about.

Why do you keep making posts with personally derogatory subject lines?
You are just amplifying his nasty voice.

-- 
Ben.