Path: ...!feed.opticnetworks.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory,sci.logic Subject: Re: 195 page execution trace of DDD correctly simulated by HH0 ---Boilerplate Reply Date: Fri, 21 Jun 2024 13:22:48 -0500 Organization: A noiseless patient Spider Lines: 44 Message-ID: References: MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 21 Jun 2024 20:22:49 +0200 (CEST) Injection-Info: dont-email.me; posting-host="d3e479354f6c59f79625e93d556f5bfb"; logging-data="3445103"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/DxopckKzE4rRIxHenCy9P" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:rFtGExMKhanhhZUWl6yPH0A1zuI= Content-Language: en-US In-Reply-To: Bytes: 3024 On 6/21/2024 1:00 PM, Richard Damon wrote: > On 6/21/24 1:55 PM, olcott wrote: >> On 6/21/2024 12:40 PM, Richard Damon wrote: >>> On 6/21/24 1:22 PM, olcott wrote: >>>> >>>> When there is no mapping from the finite string x86 machine >>>> language input to H(D,D) to theĀ  behavior of D(D) then >>>> H(D,D) IS NOT being asked about the behavior of D(D). >>> >>> But there *IS* a mapping, it just isn't a COMPUTABLE MAPPING. >>> >> >> If there is a mapping yet not a computable mapping then >> the actual halt decider cannot even see the question that >> the textbooks expect it to see. > > But a decider doesn't "See" the question. it just computes the result it > was programmed to give. > It must be the behavior that the input finite string actually specifies. It cannot be the behavior that the programmer imagines that it specifies. > You don't seem to understand what a program is. Maybe you are just a > badly trained AI that was never trained on computer theory. > >> >> This is not the same thing as the inability to correctly >> answer this question. This is something brand new that has >> never been thought of before. >> > > Right, you are just proving you have no idea about what programming is > about. > > sorry, you are just to stupid to understand. > > Maybe it has never been though of before as it is so based on false > ideas that no one has ever been that lost in their logic. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer