Deutsch English Français Italiano |
<vpdaj5$3u9g$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory Subject: Re: DD specifies non-terminating behavior to HHH --- RECURSIVE CHAIN --- Saving Democracy Date: Sat, 22 Feb 2025 14:03:47 -0600 Organization: A noiseless patient Spider Lines: 121 Message-ID: <vpdaj5$3u9g$1@dont-email.me> References: <vo6420$3mpmf$1@dont-email.me> <vocpl7$16c4e$4@dont-email.me> <vof56u$1n9k0$1@dont-email.me> <vofnj2$1qh2r$2@dont-email.me> <vohrmi$29f46$1@dont-email.me> <vojs0e$2oikq$4@dont-email.me> <vokdha$2rcqi$1@dont-email.me> <vom1fr$34osr$1@dont-email.me> <ee9d41d5f1c2a8dd8ff44d3ddeee20d2c3bcccc1@i2pn2.org> <vomgd8$3anm4$2@dont-email.me> <f5d6cbae83eb89e411d76d1d9ca801ef2678cec2@i2pn2.org> <voojl9$3mdke$2@dont-email.me> <855e571c6668207809e1eb67138de6af48d164fa@i2pn2.org> <vorlqp$aet5$2@dont-email.me> <e174ca1c1cbc58c67ffae3b67b69f63f21a82f86@i2pn2.org> <vp69r4$2mdtr$1@dont-email.me> <8fa176d46bf5b8c36def9e32ced67a1a3f81bae1@i2pn2.org> <vpbhrk$3mfi7$1@dont-email.me> <2e999502c40f736a3f3579d23bdb2b42dc74e897@i2pn2.org> <vpcurc$irt$5@dont-email.me> <vpd0e5$uj5$1@dont-email.me> <vpd3fg$irt$10@dont-email.me> <vpd4ih$2pvp$1@dont-email.me> <vpd6hp$2q85$3@dont-email.me> <vpd7s7$3e5k$1@dont-email.me> <vpd8pl$3h9q$1@dont-email.me> <vpd97q$3e5k$2@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sat, 22 Feb 2025 21:03:49 +0100 (CET) Injection-Info: dont-email.me; posting-host="9ac4b0f7013656f9614fe2304e793339"; logging-data="129328"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/VILVIKG55WJw9MqPOgp/T" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:YROub8mCa14pI0avnLQbsgxsSLE= X-Antivirus: Norton (VPS 250222-4, 2/22/2025), Outbound message In-Reply-To: <vpd97q$3e5k$2@dont-email.me> Content-Language: en-US X-Antivirus-Status: Clean Bytes: 6263 On 2/22/2025 1:40 PM, dbush wrote: > On 2/22/2025 2:33 PM, olcott wrote: >> On 2/22/2025 1:17 PM, dbush wrote: >>> On 2/22/2025 1:54 PM, olcott wrote: >>>> On 2/22/2025 12:21 PM, dbush wrote: >>>>> On 2/22/2025 1:02 PM, olcott wrote: >> >>>>>>> >>>>>> 01 int F(int i) >>>>>> 02 { >>>>>> 03 if (i<10) { >>>>>> 04 return 0; >>>>>> 05 } else { >>>>>> 06 return F(i+1); >>>>>> 07 } >>>>>> 08 } >>>>>> 09 >>>>>> 10 int no_numbers_greater_than_10() >>>>>> 11 { >>>>>> 12 return F(0); >>>>>> 13 } >>>>>> 14 >>>>>> 15 int main() >>>>>> 16 { >>>>>> 17 no_numbers_greater_than_10(); >>>>>> 18 return 0; >>>>>> 19 } >>>>> >>>>> Actually, let's update main: >>>>> >>>>> int main() >>>>> { >>>>> F((int)no_numbers_greater_than_10); >>>>> return 0; >>>>> } >>>>> >>>>>>> >>>>>>> The function no_numbers_greater_than_10() checks if any natural >>>>>>> number exists that is greater than 10. It does this by checking >>>>>>> all natural numbers one at a time. If one such number exists it >>>>>>> halts and return 0. If no such number exists, it will run >>>>>>> forever as no such number will satisfy the condition. >>>>>>> >>>>>> >>>>>> Your code is incomplete. I added main() with line numbers. >>>>>> >>>>>>> We can see that no_numbers_greater_than_10 correctly simulated by >>>>>>> F cannot possibly terminate normal by reaching its own "return" >>>>>>> instruction. This means that F correctly reports that >>>>>>> no_numbers_greater_than_10 is non-halting. It further means, >>>>>>> since no_numbers_greater_than_10 doesn't halt that there is no >>>>>>> natural number greater than 10. >>>>>>> >>>>>>> Agreed? >>>>>> >>>>>> Here the execution trace that I see: >>>>>> 15, 16, 17, 10, 11, 12, 01, 02, 03, 04, 12, 18, 19 >>>>>> >>>>> >>>>> Just as you say we're not talking about the direct execution of DD, >>>>> we're also not talking about the direct execution of >>>>> no_numbers_greater_than_10. We're talking about >>>>> no_numbers_greater_than_10 correctly simulated by F. >>>>> >>>>> It's a verified fact that no_numbers_greater_than_10 correctly >>>>> simulated by F cannot possibly return so >>>>> F(no_numbers_greater_than_10) is correct to report non-halting, >>>>> which means that there is no natural number greater than 10. >>>>> >>>>> Agreed? >>>>> >>>> >>>> Leaving out main() made this difficult. >>>> We can assume that the address of no_numbers_greater_than_10 > 10. >>>> This will emulate no_numbers_greater_than_10 at incorrect byte offsets >>>> causing it to crash. This may or may not make F crash depending >>>> on how robust its emulator is. >>>> >>> >>> Let's make a small change so that wraparound is well defined: >>> >>> int F(uintptr_t i) >>> { >>> if (i<10) { >>> return 0; >>> } else { >>> return F(i+1); >>> } >>> } >>> >>> This ensures that F((uintptr_t)no_numbers_greater_than_10) returns 0. >>> >>> This doesn't change the fact that no_numbers_greater_than_10 correctly >>> simulated by F cannot possibly return so F(no_numbers_greater_than_10) >>> is correct to report non-halting, which means that there is no natural >>> number greater than 10. >>> >>> Agreed? >> >> i starts out as the address of >> no_numbers_greater_than_10 >> Then causes the emulation to crash. >> > > If that address is greater than 10 then F returns 0 right away, > otherwise it makes at most 10 recursive calls before returning 0, so > there would be no crash. > You may be correct yet it does not see like that to me. Please give me the line number by line number execution trace that you are assuming. > So you agree that no_numbers_greater_than_10 correctly > simulated by F (i.e. if the body of the function F is replaced by an > unconditional simulator as you said is correct) cannot possibly return? -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer