| Deutsch English Français Italiano |
|
<100l3jh$2v0e9$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory Subject: =?UTF-8?Q?Re=3A_Analysis_of_Flibble=E2=80=99s_Latest=3A_Detecting_v?= =?UTF-8?Q?s=2E_Simulating_Infinite_Recursion_ZFC?= Date: Wed, 21 May 2025 12:47:29 -0500 Organization: A noiseless patient Spider Lines: 32 Message-ID: <100l3jh$2v0e9$1@dont-email.me> References: <Ms4XP.801347$BFJ.668081@fx13.ams4> <95db078e80b2868ed15a9a9a2af0280d96234a3a@i2pn2.org> <100jo18$2mhfd$1@dont-email.me> <100jpv9$2m0ln$4@dont-email.me> <100kt0c$2tae8$3@dont-email.me> <100ktr7$2reaa$1@dont-email.me> <100l09v$2tae8$5@dont-email.me> <100l1ov$2ul3j$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Wed, 21 May 2025 19:47:29 +0200 (CEST) Injection-Info: dont-email.me; posting-host="7faeabb3f4a2e362069c5f0f1728441c"; logging-data="3113417"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+80FF6JmjQaElwmlmmlDAk" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:wq8cUrcqcJVMCsP5H8Q+yWcLRdw= X-Antivirus-Status: Clean In-Reply-To: <100l1ov$2ul3j$1@dont-email.me> X-Antivirus: Norton (VPS 250521-10, 5/21/2025), Outbound message Content-Language: en-US On 5/21/2025 12:16 PM, Richard Heathfield wrote: > On 21/05/2025 17:51, olcott wrote: >> On 5/21/2025 11:09 AM, Richard Heathfield wrote: > > <snip> > >>> That an algorithm for ascertaining whether an arbitrary program with >>> arbitrary input halts cannot actually exist is precisely what the >>> Halting Problem proves. >> >> If you think that it can exist then prove that it >> exists by encoding it in C. > > It can't exist. The Halting Problem proves that it can't. I said that > already. > *PAY ATTENTION* I am saying that a key element of the halting problem proof cannot exist, thus the proof itself cannot exist. Do you understand that a non-existent proof cannot prove one damn thing? > Sheesh, you think /I'm/ not paying attention. > Like a Manic person on meth... -- Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer