Sujet : Re: No not believe Liars that changed their name to mine speak for me --- this is libelous
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : comp.theoryDate : 03. Sep 2024, 14:52:28
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vb74as$3b4ub$10@dont-email.me>
References : 1 2
User-Agent : Mozilla Thunderbird
On 9/3/2024 3:48 AM, Mikko wrote:
On 2024-09-02 16:24:23 +0000, olcott said:
A halt decider is a Turing machine that computes
the mapping from its finite string input to the
behavior that this finite string specifies.
>
If the finite string machine string machine
description specifies that it cannot possibly
reach its own final halt state then this machine
description specifies non-halting behavior.
>
A halt decider never ever computes the mapping
for the computation that itself is contained within.
>
Unless there is a pathological relationship between
the halt decider H and its input D the direct execution
of this input D will always have identical behavior to
D correctly simulated by simulating halt decider H.
>
>
Simulating Termination Analyzer H is Not Fooled by Pathological Input D
https://www.researchgate.net/ publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
You needn't worry. We don't believe anyone who uses the name "olcott"
with a lower case c or puts a copyright claim for "Olcott" to the bottom
of the message.
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <
news@immibis.com>
news@immibis.com can have his account on
eternal-september.org terminated for forgery.
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer