Path: ...!news.misty.com!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: joes <noreply@example.com>
Newsgroups: comp.theory,sci.logic
Subject: Re: Unconventional partial halt decider and grounding to a truthmaker
Date: Fri, 17 May 2024 07:09:42 -0000 (UTC)
Organization: i2pn2 (i2pn.org)
Message-ID: <v26vrm$19bp2$1@i2pn2.org>
References: <v18e32$1vbql$1@dont-email.me> <v1iqli$nsva$1@dont-email.me>
	<v1k0ts$iuna$1@i2pn2.org> <v1k381$14mbi$2@dont-email.me>
	<v1labh$kf53$1@i2pn2.org> <v1lfnq$1e7af$1@dont-email.me>
	<v1lh1g$kf52$4@i2pn2.org> <v1lmo1$1g1mj$1@dont-email.me>
	<v1luu1$lbo5$3@i2pn2.org> <v1lvuo$1i47i$1@dont-email.me>
	<v1m1bf$lbo5$4@i2pn2.org> <v1m2hc$1ijhr$1@dont-email.me>
	<v1m31m$lbo4$1@i2pn2.org> <v1m4et$1iv85$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 17 May 2024 07:09:42 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="1355554"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="nS1KMHaUuWOnF/ukOJzx6Ssd8y16q9UPs1GZ+I3D0CM";
User-Agent: Pan/0.145 (Duplicitous mercenary valetism; d7e168a
 git.gnome.org/pan2)
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3354
Lines: 34

Am Thu, 16 May 2024 22:29:14 -0400 schrieb Richard Damon:
> On 5/16/24 10:48 AM, olcott wrote:
>> On 5/16/2024 5:42 AM, Mikko wrote:
>>> On 2024-05-15 15:06:26 +0000, olcott said:
>>>> On 5/15/2024 3:06 AM, Mikko wrote:
>>>>> On 2024-05-14 14:32:26 +0000, olcott said:
>>>> I refer to transitioning through a specific state to indicate a
>>>> specific halt status value, for Turing Machines.
>>>
>>> That does not satisfy the usual definition of "halt decider".
>> 
>> Yet it <is> an incremental improvement over both YES and NO are the
>> wrong answer for input D. YES <is> the correct answer and H can not SAY
>> this answer in the conventional way.
>> 
>>> However, we could accept that as a solution to the halting problem if
>>> one could prove that there is a Turing machine that can indicate
>>> halting or non-halting that way for all computations.
>>>
>> Refuting the HP pathological program/input pair is the the full scope
>> of my theory of computation work. Even without my POD24 diagnosis I
>> would have no time to verify this against an infinite set of programs.
> 
> And you don't even get that one right.
> 
>> Validation of POD24 as a robust early clinical end point of poor
>> survival in FL from 5225 patients on 13 clinical trials
>> https://pubmed.ncbi.nlm.nih.gov/34614146/
> 
> 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.

-- 
joes