Deutsch English Français Italiano |
<usq66d$e4sh$3@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: =?UTF-8?B?UmU6IFZlcmlmaWVkIGZhY3QgdGhhdCDEpC5IIOKfqMSk4p+pIOKfqMSk?= =?UTF-8?B?4p+pIGFuZCBIIOKfqMSk4p+pIOKfqMSk4p+pIGhhdmUgZGlmZmVyZW50IGJlaGF2?= =?UTF-8?Q?ior_ZFC_--logically_impossible--?= Date: Tue, 12 Mar 2024 13:16:45 -0500 Organization: A noiseless patient Spider Lines: 47 Message-ID: <usq66d$e4sh$3@dont-email.me> References: <usia2e$2f2pd$1@dont-email.me> <usit21$2j3c8$1@dont-email.me> <usiufa$2j99n$1@dont-email.me> <usiukh$2jaj3$1@dont-email.me> <usiuup$2jdc7$2@dont-email.me> <usj254$2jutc$2@dont-email.me> <usj2e3$2jut2$1@dont-email.me> <usj2je$2jutc$3@dont-email.me> <usj2rs$2jut2$2@dont-email.me> <usj32s$2k5id$1@dont-email.me> <usjd20$2plge$1@dont-email.me> <usjef5$1cf5q$6@i2pn2.org> <usjfj8$2q613$1@dont-email.me> <usjgs6$1cf5q$7@i2pn2.org> <usjhks$2qhfq$1@dont-email.me> <usjj7v$1cf5q$8@i2pn2.org> <uskg1p$30hr1$1@dont-email.me> <KEkHN.386271$vFZa.185803@fx13.iad> <uskog1$32h3c$1@dont-email.me> <uskpe3$32l00$1@dont-email.me> <uskq04$32h3c$3@dont-email.me> <usks70$1enef$1@i2pn2.org> <usktro$33lov$1@dont-email.me> <usl1c7$1enef$9@i2pn2.org> <usll3l$38f21$1@dont-email.me> <lttHN.366350$q3F7.85039@fx45.iad> <uslou1$390q2$1@dont-email.me> <uslpbr$1enef$17@i2pn2.org> <uslu1i$3do6h$1@dont-email.me> <usn8eu$3mf48$3@dont-email.me> <usn9k1$3m7k2$8@dont-email.me> <usq5eg$1l201$17@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Tue, 12 Mar 2024 18:16:46 -0000 (UTC) Injection-Info: dont-email.me; posting-host="2de151991156ec4f63802e311fdc7732"; logging-data="463761"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19JeH2i34mx0xPv5qSC8BX8" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:bO76wvZAoWnxe/huS5QiXMdP6sk= In-Reply-To: <usq5eg$1l201$17@i2pn2.org> Content-Language: en-US Bytes: 3736 On 3/12/2024 1:04 PM, Richard Damon wrote: > On 3/11/24 8:56 AM, olcott wrote: >> On 3/11/2024 10:36 AM, immibis wrote: >>> On 11/03/24 04:33, olcott wrote: >>>> Then we are back to undecidability being incorrectly construed >>>> as an actual limit to computation. >>> >>> Proof that a certain thing cannot be computed is always a limit to >>> computation. >>> >> Yet in only the same way that the Liar Paradox >> "This sentence is not true." >> does not have a truth value that can be computed. >> >>> For example, you can't compute the colour of the number 4. That is an >>> actual limit to computation. >>> >> >> The inability to to the logically impossible is not any actual limit. >> If we say that the Halting Problem cannot be solved for the same sort >> of reason that Square Circles do not exist then this is not any actual >> limit. > > But SHOWING that something is logically impossible reveals the > limitations that were already there. > > Yes, the Halting Theorem doesn't MAKE the problem impossible, it shows > that it always was, and gives us knowledge of that. > The halting problem does not derive a limit to computation any more than the inability of CAD systems to draw square circles places a limit on computation. > But, you don't understand the nature of Truth and Knowledge, so that > won't make sense. > >> >>> You can't compute the halting problem. That is an actual limit to >>> computation. >> > -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer