Path: ...!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: ZFC solution to incorrect questions: reject them (NFFC)
Date: Tue, 12 Mar 2024 17:40:17 -0500
Organization: A noiseless patient Spider
Lines: 17
Message-ID: <usqlkh$hn98$2@dont-email.me>
References: <usq5uq$e4sh$1@dont-email.me> <usq715$ed9g$3@dont-email.me>
 <usq8rh$etp9$1@dont-email.me> <usqe3m$fsqm$2@dont-email.me>
 <usqeaf$g2eo$3@dont-email.me> <usqhg3$1lvbo$4@i2pn2.org>
 <usqi7i$gtih$3@dont-email.me> <usqjvb$hcum$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 12 Mar 2024 22:40:17 -0000 (UTC)
Injection-Info: dont-email.me; posting-host="2de151991156ec4f63802e311fdc7732";
	logging-data="580904"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19BpYUIPgDnng0wY1N0D8ra"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:ninl55SoYyNSphgZvd11SLHsTVU=
In-Reply-To: <usqjvb$hcum$3@dont-email.me>
Content-Language: en-US
Bytes: 1908

On 3/12/2024 5:11 PM, immibis wrote:
> On 12/03/24 22:42, olcott wrote:
>> ZFC removed logically impossible decision problem instances. My new
>> foundation for computation (NFFC) only removes logically impossible
>> decision problem instances. Turing machines remain the same.
> 
> If Turing machines remain the same, then every halt decider still has a 
> Turing machine which it gets wrong.

Turing machines can remain the same yet the notion of computation
would change. Undecidable inputs simply become construed as semantically
invalid inputs.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer