| Deutsch English Français Italiano |
|
<v38suu$1hf5c$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!3.eu.feeder.erje.net!feeder.erje.net!news2.arglkargh.de!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory,sci.logic Subject: Re: D correctly simulated by H cannot possibly halt --- templates and infinite sets Date: Wed, 29 May 2024 22:48:45 -0500 Organization: A noiseless patient Spider Lines: 71 Message-ID: <v38suu$1hf5c$1@dont-email.me> References: <v3501h$lpnh$1@dont-email.me> <v362eu$2d367$3@i2pn2.org> <v363js$vg63$2@dont-email.me> <v36803$2d368$3@i2pn2.org> <v368je$100kd$3@dont-email.me> <v36rlr$13000$1@dont-email.me> <v37aa6$159q4$4@dont-email.me> <v38eqb$2foi0$5@i2pn2.org> <v38fl6$1bndb$2@dont-email.me> <v38g36$2foi0$12@i2pn2.org> <v38gpi$1bndb$4@dont-email.me> <v38ibi$2fohv$1@i2pn2.org> <v38ilr$1c8ir$1@dont-email.me> <v38j78$2foi0$13@i2pn2.org> <v38jqc$1c8ir$3@dont-email.me> <v38khd$2foi0$16@i2pn2.org> <v38mb0$1ggjs$2@dont-email.me> <v38o1v$2fohv$4@i2pn2.org> <v38on0$1grj4$2@dont-email.me> <v38pqr$2fohv$5@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Thu, 30 May 2024 05:48:47 +0200 (CEST) Injection-Info: dont-email.me; posting-host="0a722b73a14c6c7bef786c05822a9348"; logging-data="1621164"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/xsLi5fSstuCqFDvQPXOja" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:oRNX6895Kzkl7BIEaDbh6FFvOpI= In-Reply-To: <v38pqr$2fohv$5@i2pn2.org> Content-Language: en-US Bytes: 3606 On 5/29/2024 9:55 PM, Richard Damon wrote: > On 5/29/24 10:36 PM, olcott wrote: >> On 5/29/2024 9:25 PM, Richard Damon wrote: >>> On 5/29/24 9:55 PM, olcott wrote: >>>> When the category is examined all at once then there is no need >>>> to look at each individual element. >>> >>> So, which one or ones gave the correct answer for their input? >>> >> >> *Formalizing the Linz Proof structure* >> ∃H ∈ Turing_Machines >> ∀x ∈ *Turing_Machines_Descriptions* >> ∀y ∈ Finite_Strings >> such that H(x,y) = Halts(x,y) >> >> When we formalize it that way then some simulating halt deciders >> get the correct answer. >> >> *Everyone else implicitly assumes this incorrect formalization* >> ∃H ∈ Turing_Machines >> ∀x ∈ *Turing_Machines* >> ∀y ∈ Finite_Strings >> such that H(x,y) = Halts(x,y) >> >> > > Nope. > > You just don't understand the meaning of a "Description" in the problem. > I have an OCD/Aspergers degree of single-minded focus. 20 years ago I tested 50% above normal on the Aspergers test. Because I have focused this concentration of having empathy I now score 50% below normal on Asperger tests. The issue is that everyone else has not paid close enough attention to what a decider does. *A deciders compute the mapping* FROM ITS INPUTS FROM ITS INPUTS FROM ITS INPUTS FROM ITS INPUTS FROM ITS INPUTS *to it own accept or reject state* *Deciders cannot take* ACTUAL TURING MACHINES AS INPUTS ACTUAL TURING MACHINES AS INPUTS ACTUAL TURING MACHINES AS INPUTS ACTUAL TURING MACHINES AS INPUTS ACTUAL TURING MACHINES AS INPUTS *Deciders can only take* FINITE STRINGS AS INPUTS FINITE STRINGS AS INPUTS FINITE STRINGS AS INPUTS FINITE STRINGS AS INPUTS FINITE STRINGS AS INPUTS -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer