Deutsch English Français Italiano |
<ut22f9$2d19j$6@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: Re: H(D,D)==0 is correct when reports on the actual behavior that it sees --outermost H-- Date: Fri, 15 Mar 2024 13:02:16 -0500 Organization: A noiseless patient Spider Lines: 21 Message-ID: <ut22f9$2d19j$6@dont-email.me> References: <usda7b$18hee$1@dont-email.me> <usk8s1$2v4mk$1@dont-email.me> <uskg40$30hr1$2@dont-email.me> <usmk7t$3hvpu$1@dont-email.me> <usn4k9$3li08$1@dont-email.me> <usn7b3$3m7lb$1@dont-email.me> <usn89c$3m7k2$4@dont-email.me> <usp4u1$6nok$1@dont-email.me> <uspnac$aqak$1@dont-email.me> <usq00t$1l201$4@i2pn2.org> <usq0ru$caqa$11@dont-email.me> <usq8l4$1l201$27@i2pn2.org> <usq9mu$f2ir$1@dont-email.me> <usqaeb$1l201$29@i2pn2.org> <usqbfu$fgna$1@dont-email.me> <usuni1$1j259$1@dont-email.me> <usvo39$1rdem$1@dont-email.me> <usvqg5$1sokd$5@i2pn2.org> <usvrd2$1ru1i$3@dont-email.me> <usvta6$1sokd$8@i2pn2.org> <ut035h$1tjqn$1@dont-email.me> <ut06h6$1tev8$2@i2pn2.org> <ut06n9$1u3jv$6@dont-email.me> <ut0ajf$1tev8$5@i2pn2.org> <ut0bqc$1vmjr$1@dont-email.me> <ut0c3a$22qv6$1@dont-email.me> <ut0cek$1vmjr$2@dont-email.me> <ut14r4$2711j$1@dont-email.me> <ut1l8v$2afad$1@dont-email.me> <ut1v5v$2cfjp$2@dont-email.me> <ut1vgp$2c29l$16@dont-email.me> <ut21ef$1vtvj$1@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Fri, 15 Mar 2024 18:02:17 -0000 (UTC) Injection-Info: dont-email.me; posting-host="628c0b780d2c261756f82ddadd066eb3"; logging-data="2524467"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+SWBIFy95wqbQ/njRjH9gp" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:6/uq80bqKel6JaTMQItzyVkU0oQ= In-Reply-To: <ut21ef$1vtvj$1@i2pn2.org> Content-Language: en-US Bytes: 2691 On 3/15/2024 12:44 PM, Richard Damon wrote: > On 3/15/24 10:11 AM, olcott wrote: >> D(D) specifies an infinite chain of H(D,D) unless D(D) is aborted >> at some point. The outermost H(D,D) always has seen a longer execution >> trace than any of the inner ones. >> > > Right, *AT SOME POINT* but not nessesarily HERE. > > No, the outermose has seen more execution trace then the innerones have > at the point that H aborts their simulation. > I have moved the above dialogue to this to [Proof that H(D,D) meets its abort criteria] -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer