Deutsch English Français Italiano |
<usq47d$dnd0$2@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news.mixmin.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott2@gmail.com> Newsgroups: comp.theory,sci.logic Subject: =?UTF-8?B?UmU6IFZlcmlmaWVkIGZhY3QgdGhhdCDEpC5IIOKfqMSk4p+pIOKfqMSk?= =?UTF-8?B?4p+pIGFuZCBIIOKfqMSk4p+pIOKfqMSk4p+pIGhhdmUgZGlmZmVyZW50IGJlaGF2?= =?UTF-8?Q?ior_ZFC_--new_focus--?= Date: Tue, 12 Mar 2024 12:43:09 -0500 Organization: A noiseless patient Spider Lines: 48 Message-ID: <usq47d$dnd0$2@dont-email.me> References: <usia2e$2f2pd$1@dont-email.me> <KEkHN.386271$vFZa.185803@fx13.iad> <uskog1$32h3c$1@dont-email.me> <uskpe3$32l00$1@dont-email.me> <uskq04$32h3c$3@dont-email.me> <usks70$1enef$1@i2pn2.org> <usktro$33lov$1@dont-email.me> <usl1c7$1enef$9@i2pn2.org> <usll3l$38f21$1@dont-email.me> <lttHN.366350$q3F7.85039@fx45.iad> <uslou1$390q2$1@dont-email.me> <uslpbr$1enef$17@i2pn2.org> <uslu1i$3do6h$1@dont-email.me> <usm07p$1enef$21@i2pn2.org> <usm1sg$3ebq5$2@dont-email.me> <usm2ps$1enef$22@i2pn2.org> <usm3eg$3em6b$1@dont-email.me> <usm4id$1enef$24@i2pn2.org> <usm5np$3f27j$2@dont-email.me> <usm6p0$1enef$25@i2pn2.org> <usn0d2$3klcn$1@dont-email.me> <uso6gi$3t0l7$3@dont-email.me> <usoa3t$3ttg8$1@dont-email.me> <usodpd$3uhqb$1@dont-email.me> <usoecc$3ujat$1@dont-email.me> <usoesp$3uo9o$1@dont-email.me> <usog2a$3utnd$1@dont-email.me> <usoi9m$1j3v1$5@i2pn2.org> <usoimh$2vll$4@dont-email.me> <usojqv$1j3v1$6@i2pn2.org> <usok2o$3h5n$1@dont-email.me> <usq3m9$1l201$9@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 12 Mar 2024 17:43:09 -0000 (UTC) Injection-Info: dont-email.me; posting-host="2de151991156ec4f63802e311fdc7732"; logging-data="449952"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19Y9nSMQEgMoc/yg30Nwokc" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:MGr1DFnZFWYOJO3o1x42ZL1AxP8= In-Reply-To: <usq3m9$1l201$9@i2pn2.org> Content-Language: en-US Bytes: 3822 On 3/12/2024 12:33 PM, Richard Damon wrote: > On 3/11/24 9:01 PM, olcott wrote: >> On 3/11/2024 10:57 PM, Richard Damon wrote: >>> On 3/11/24 8:37 PM, olcott wrote: >>>> On 3/11/2024 10:31 PM, Richard Damon wrote: >>>>> On 3/11/24 7:52 PM, olcott wrote: >>>>>> On 3/11/2024 9:32 PM, immibis wrote: >>>>>>> On 12/03/24 03:24, olcott wrote: >>>>> \ >>>>>>>> Troll detected. >>>>>>>> >>>>>>> >>>>>>> Once we understand that either YES or NO is the right answer >>>>>> >>>>>> Not for this decider/input question: Ĥ.H / ⟨Ĥ⟩ ⟨Ĥ⟩ >>>>>> For that decider/input question both YES and NO are the wrong answer. >>>>> >>>>> The problem that you keeep on missing is that by the point we can >>>>> ask this question, H and H^ are FULLY CODED, and thus we know their >>>>> behavirs. >>>> >>>> H.q0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* H.qy // Ĥ applied to ⟨Ĥ⟩ halts >>>> H.q0 ⟨Ĥ⟩ ⟨Ĥ⟩ ⊢* H.qn // Ĥ applied to ⟨Ĥ⟩ does not halt >>>> >>>> Since you know that is false why lie? >>>> ⊢* specifies an infinite set of encodings. >>> >>> Nope, read him again, not just skim and assume. >>> >>> Should Represents the ARBITRARY path that THIS H will do. >>> >> >> I have read it again and again since 2004, you are getting >> this incorrectly. I have two copies of the book. >> > > Really, so how does he actually DEFINE that notation, his exact words. > *This discussion has moved to my new post* [Proving my 2004 claim that some decider/input pairs are incorrect questions] I formalize the claim of all of the halting problem roofs there. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer