Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Ben Bacarisse <ben@bsb.me.uk>
Newsgroups: comp.theory,sci.logic
Subject: Re: Unconventional partial halt decider and grounding to a truthmaker
Date: Fri, 17 May 2024 13:50:00 +0100
Organization: A noiseless patient Spider
Lines: 56
Message-ID: <87frugiow7.fsf@bsb.me.uk>
References: <v18e32$1vbql$1@dont-email.me> <v1m5co$lbo4$2@i2pn2.org>
	<v1m71h$1jnpi$1@dont-email.me> <v1m7mh$lbo5$5@i2pn2.org>
	<v1mb8f$1kgpl$1@dont-email.me> <v1mkf8$lbo5$7@i2pn2.org>
	<v1mkmm$1q5ee$1@dont-email.me> <v1na6f$1ugl0$1@dont-email.me>
	<v1o67n$24f4c$1@dont-email.me> <v1q1ie$2l40t$1@dont-email.me>
	<v1q9fp$qb0p$1@i2pn2.org> <v1qmq8$2prs6$1@dont-email.me>
	<v1qouc$2qb2s$1@dont-email.me> <v1vbpd$3gbc$1@dont-email.me>
	<v1vslr$7enr$1@dont-email.me> <v21qdm$op3a$1@dont-email.me>
	<v22j1j$u8vi$3@dont-email.me> <v24nv1$1h2lu$1@dont-email.me>
	<v256bn$1kahe$1@dont-email.me> <v26fdq$18ad7$1@i2pn2.org>
	<v26vrm$19bp2$1@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 17 May 2024 14:50:05 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="80ee5154a20b4247f91fd687134a3fac";
	logging-data="2318040"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+KQ79AT0el2qBB/O6B/TvD7qnBSDsSUa0="
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:dhIx5P43wq5flYQzO0myZwXJEWE=
	sha1:8uXCiEaWHQsbITavXbMHmwkSdcI=
X-BSB-Auth: 1.688b180b515573fc7567.20240517135000BST.87frugiow7.fsf@bsb.me.uk
Bytes: 3974

joes <noreply@example.com> writes:

> Am Thu, 16 May 2024 22:29:14 -0400 schrieb Richard Damon:

>> Yep, perhaps some day soon we will be rid of your lies.
> That’s low.
> Your continuous cries of „liar” aren’t any better than Peter’s spam.

Long before I stopped replying to PO I stopped calling his remarks lies.
He is simply too deluded to be reliably accused of lying.  After all, he
published a website claiming to bring new scripture to the world and
defended himself in court (on an unrelated matter) with the claim that
he was God.  Unless all of that was just a game, he is not sufficiently
in touch with reality to be a liar.

When I did engage with him it was to try to pin down what he was really
saying and, after years of back-and-forth, he made two unequivocal
statement that, to my mind, render all subsequent discussion pointless.
First, when asked

    "Here's the key question: do you still assert that H(P,P) == false is
    the 'correct' answer even though P(P) halts?"

He replied:

   "Yes that is the correct answer even though P(P) halts."

Second, when talking about axioms and proofs he claims that if

  {A,B,C} |- X    then    {A,B,C,~A} ~|- X

(|- being "proves" and ~|- being "does not prove").

The first shows that he's not talking about that halting problem and the
second that when he says he's "refuted" all the proofs he does not know
what the words mean.  Of course, he can retract these statements at any
time and move on, but he won't.

Some of his more deluded claims look like lies because he back-peddled
on them himself.  His December 2018 claim to have

  "... encoded all of the exact TMD instructions of the Linz Turing
  machine H that correctly decides halting for its fully encoded input
  pair: (Ĥ, Ĥ)."

was rowed-back and eventually claimed to be "poetic licence".  Was it a
lie?  I think his mental illness was simply in a manic phase and he'd
"seen the light" and wanted to tell the world.  Maybe I am being too
kind here, I don't know.

What I do know is that it's pointless talking to someone who has made it
so clear that they are not talking about the halting problem and that
they don't even know what a proof is.

-- 
Ben.