Sujet : Re: ZFC solution to incorrect questions: reject them (NFFC)
De : polcott2 (at) *nospam* gmail.com (olcott)
Groupes : comp.theory sci.logicDate : 13. Mar 2024, 00:40:17
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <usqlkh$hn98$2@dont-email.me>
References : 1 2 3 4 5 6 7 8
User-Agent : Mozilla Thunderbird
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; Geniushits a target no one else can see." Arthur Schopenhauer