Deutsch English Français Italiano |
<utkr4e$34uks$3@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.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: Can any pathological input thwart a simulating abort decider? Date: Fri, 22 Mar 2024 15:53:34 -0500 Organization: A noiseless patient Spider Lines: 33 Message-ID: <utkr4e$34uks$3@dont-email.me> References: <utkjd0$335kr$1@dont-email.me> <utkn38$342d0$1@dont-email.me> <utkn97$33vs9$1@dont-email.me> <utkpvr$34og8$3@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Fri, 22 Mar 2024 20:53:35 -0000 (UTC) Injection-Info: dont-email.me; posting-host="690daa18ce180247edf7b429f714d68a"; logging-data="3308188"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18prOrMCZy9ymTo+lonTGn3" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:/e4gwbPXKFn1MW03/WS+3s2S3+A= Content-Language: en-US In-Reply-To: <utkpvr$34og8$3@dont-email.me> Bytes: 2182 On 3/22/2024 3:34 PM, immibis wrote: > On 22/03/24 20:47, olcott wrote: >> On 3/22/2024 2:44 PM, immibis wrote: >>> On 22/03/24 19:41, olcott wrote: >>>> 01 int D(ptr x) // ptr is pointer to int function >>>> 02 { >>>> 03 int Halt_Status = H(x, x); >>>> 04 if (Halt_Status) >>>> 05 HERE: goto HERE; >>>> 06 return Halt_Status; >>>> 07 } >>>> 08 >>>> 09 void main() >>>> 10 { >>>> 11 H(D,D); >>>> 12 } >>> >>> Incomplete program. When you run it, it prints "Error: Undefined >>> function H" and then halts. >>> >> >> That you ignore what I say seems far too Trollish >> https://github.com/plolcott/x86utm/blob/master/Halt7.c > > That's a different program that cannot be translated to a Turing machine. If a counter-example exists for abort decider H in C then it exists for TM H. Only the C version can show every single detail. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer