Deutsch English Français Italiano |
<v34tnf$lfph$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
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: olcott <polcott333@gmail.com> Newsgroups: comp.theory,sci.logic Subject: =?UTF-8?Q?Re=3A_A_simulating_halt_decider_applied_to_the_The_Peter_?= =?UTF-8?Q?Linz_Turing_Machine_description_=E2=9F=A8=C4=A4=E2=9F=A9?= Date: Tue, 28 May 2024 10:37:18 -0500 Organization: A noiseless patient Spider Lines: 75 Message-ID: <v34tnf$lfph$1@dont-email.me> References: <v2nsvh$1rd65$2@dont-email.me> <v2vpt6$3g0m3$3@dont-email.me> <v2vqou$26570$5@i2pn2.org> <v2vrcl$3gakv$1@dont-email.me> <v2vslp$26570$6@i2pn2.org> <v301m6$3hcgb$1@dont-email.me> <v305j9$26571$1@i2pn2.org> <v30e5l$3lerc$1@dont-email.me> <v30fbr$26570$9@i2pn2.org> <v30hiq$3lv80$1@dont-email.me> <v30jb5$26571$2@i2pn2.org> <v30pr8$3r67p$1@dont-email.me> <v30rvv$3riij$1@dont-email.me> <v30t8u$26571$6@i2pn2.org> <v30u04$3rour$1@dont-email.me> <v30upc$26571$7@i2pn2.org> <v30vp3$3s4od$1@dont-email.me> <v321o0$28n58$1@i2pn2.org> <v3255k$2pkb$2@dont-email.me> <v326fd$28n59$2@i2pn2.org> <v327h8$3a17$1@dont-email.me> <v328l1$28n58$2@i2pn2.org> <v329t8$3mh0$2@dont-email.me> <v32ait$28n58$4@i2pn2.org> <v32bvc$48pj$1@dont-email.me> <v32cko$2937i$1@i2pn2.org> <v32nsa$6fo3$1@dont-email.me> <v32tfs$29dee$1@i2pn2.org> <v331mf$84p2$1@dont-email.me> <v332ci$29def$2@i2pn2.org> <v33790$8u5p$1@dont-email.me> <v337r0$29dee$2@i2pn2.org> <v33iqc$ebbg$1@dont-email.me> <v34fft$2bb65$1@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 28 May 2024 17:37:20 +0200 (CEST) Injection-Info: dont-email.me; posting-host="62ab2bf33c274f123184493b42753dfc"; logging-data="704305"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+U/3xj1CR3lPROle3UTjAk" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:ni2EKgSQVAhFMUqr+F06hajkaXU= Content-Language: en-US In-Reply-To: <v34fft$2bb65$1@i2pn2.org> Bytes: 4274 On 5/28/2024 6:34 AM, Richard Damon wrote: > On 5/27/24 11:24 PM, olcott wrote: >> On 5/27/2024 7:17 PM, Richard Damon wrote: >>> >>> He STARTS with a proof that one specific (but arbitrary) machine gets >>> the wrong answer. >>> >> >> *Not exactly, you are misreading this* >> >> The domain of this problem is to be taken as the set of all Turing >> machines and all w; that is, we are looking for a single Turing machine >> that, given the description of an arbitrary M and w, will predict >> whether or not the computation of M applied to w will halt > > *** a single Turing Machine *** > > not singular > >> >> ... >> >> Proof: We assume the contrary, namely that there exists an algorithm, >> and consequently some Turing machine H, that solves the halting problem >> https://www.liarparadox.org/Peter_Linz_HP_317-320.pdf > > *** some Turing Machine *** > > Note singular > >> >> Ordinary existential quantification looks for at least one >> element not exactly one element: > > But you can look for at least one by looking for one without an > assumption that it is unique. > The Peter Linz words refer to ordinary existential quantification anchored in the infinite set of Turing machines. ∃H ∈ Turing_Machines ∀x ∈ Turing_Machines_Descriptions ∀y ∈ Finite_Strings such that H(x,y) = Halts(x,x) >> >> Does at least one Turing machine exist of the infinite set >> of all Turing machines ... > > Right, so if we can prove that none of them are correct, you have shown > that some is contradicted. > >> >> So like I have always said, the second ⊢* specifies >> an infinite set of Turing machines. >> > > As a SPECIFICATION of the domain of selection, yes. > > As a SPECIFICATION of what THIS ONE machine does, no. > My formalization already handles this. *Here is the same thing applied to H/D pairs* ∃H ∈ C_Functions ∀D ∈ x86_Machine_Code_of_C_Functions such that H(D,D) = Halts(D,D) -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer