Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: immibis <news@immibis.com>
Newsgroups: comp.theory,sci.logic
Subject: =?UTF-8?B?UmU6IFZlcmlmaWVkIGZhY3QgdGhhdCDEpC5IIOKfqMSk4p+pIOKfqMSk?=
 =?UTF-8?B?4p+pIGFuZCBIIOKfqMSk4p+pIOKfqMSk4p+pIGhhdmUgZGlmZmVyZW50IGJlaGF2?=
 =?UTF-8?Q?ior_ZFC_--new_focus--?=
Date: Mon, 11 Mar 2024 16:36:42 +0100
Organization: A noiseless patient Spider
Lines: 12
Message-ID: <usn8eu$3mf48$3@dont-email.me>
References: <usia2e$2f2pd$1@dont-email.me> <usineq$2hnpb$3@dont-email.me>
 <usiq9n$2ijsm$1@dont-email.me> <usir82$2inqh$2@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 11 Mar 2024 15:37:03 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="888d5c2b4a7a39ea1bd55d37c91a1b7c";
	logging-data="3882120"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/KW+zmZeY/Na+FspIh2mL2"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:2kcb02xm50LbXZ6sR7V7/nyd5zY=
Content-Language: en-US
In-Reply-To: <uslu1i$3do6h$1@dont-email.me>
Bytes: 2509

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.

For example, you can't compute the colour of the number 4. That is an 
actual limit to computation.

You can't compute the halting problem. That is an actual limit to 
computation.