Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic
Subject: A different perspective on undecidability
Date: Wed, 16 Oct 2024 09:27:09 -0500
Organization: A noiseless patient Spider
Lines: 18
Message-ID: <veoift$29dtl$2@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Wed, 16 Oct 2024 16:27:10 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="f097d53e4abea8ea9babea4b430282e3";
	logging-data="2406325"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/JLl3qkDwXEHNmT+UeXSnc"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:fy905ktiLxFHjtzEImj7gVw2WAU=
Content-Language: en-US
Bytes: 1664

The whole notion of undecidability is anchored in ignoring the fact that
some expressions of language are simply not truth bearers. When neither
YES nor NO is the correct answer to a YES/NO question then the question
itself is incorrect.

We can correct this problem very easily by applying truth preserving
operations to expressions of language that have been stipulated to be
true.

When this forms the foundation for a Tarski like:
True(L, x) predicate then ~True(L, x) & ~True(L, ~x) means that x is not
a truth bearer. When we do this then LP := ~True(LP) is rejected not a
truth bearer.

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