Path: ...!news.mixmin.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: Re: Undecidability based on epistemological antinomies V2 --Tarski
 Proof--
Date: Mon, 22 Apr 2024 12:37:55 -0500
Organization: A noiseless patient Spider
Lines: 80
Message-ID: <v0679k$12sq2$1@dont-email.me>
References: <uvq0sg$21m7a$1@dont-email.me> <uvq359$1doq3$4@i2pn2.org>
 <uvrbvs$2acf7$1@dont-email.me> <uvs70t$1h01f$1@i2pn2.org>
 <uvsgcl$2i80k$1@dont-email.me> <uvsj4v$1h01e$1@i2pn2.org>
 <uvubo2$34nh3$1@dont-email.me> <uvvsap$3i5q8$1@dont-email.me>
 <v00mf6$3nu0r$1@dont-email.me> <v02gu5$6quf$1@dont-email.me>
 <v038om$bitp$2@dont-email.me> <v05b0k$sivu$1@dont-email.me>
 <v05r5e$vvml$2@dont-email.me> <v05vl4$1165d$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 22 Apr 2024 19:37:57 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="46595afa4d7150812db5f19c9f026b24";
	logging-data="1143618"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19IH15f79prgFO5sGGAnRZa"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:EYOsae+LeesXDt+++yK9NuFr02o=
In-Reply-To: <v05vl4$1165d$1@dont-email.me>
Content-Language: en-US
Bytes: 4884

On 4/22/2024 10:27 AM, Mikko wrote:
> On 2024-04-22 14:10:54 +0000, olcott said:
> 
>> On 4/22/2024 4:35 AM, Mikko wrote:
>>> On 2024-04-21 14:44:37 +0000, olcott said:
>>>
>>>> On 4/21/2024 2:57 AM, Mikko wrote:
>>>>> On 2024-04-20 15:20:05 +0000, olcott said:
>>>>>
>>>>>> On 4/20/2024 2:54 AM, Mikko wrote:
>>>>>>> On 2024-04-19 18:04:48 +0000, olcott said:
>>>>>>>
>>>>>>>> When we create a three-valued logic system that has these
>>>>>>>> three values: {True, False, Nonsense}
>>>>>>>> https://en.wikipedia.org/wiki/Three-valued_logic
>>>>>>>
>>>>>>> Such three valued logic has the problem that a tautology of the
>>>>>>> ordinary propositional logic cannot be trusted to be true. For
>>>>>>> example, in ordinary logic A ∨ ¬A is always true. This means that
>>>>>>> some ordinary proofs of ordinary theorems are no longer valid and
>>>>>>> you need to accept the possibility that a theory that is complete
>>>>>>> in ordinary logic is incomplete in your logic.
>>>>>>>
>>>>>>
>>>>>> I only used three-valued logic as a teaching device. Whenever an
>>>>>> expression of language has the value of {Nonsense} then it is
>>>>>> rejected and not allowed to be used in any logical operations. It
>>>>>> is basically invalid input.
>>>>>
>>>>> You cannot teach because you lack necessary skills. Therefore you
>>>>> don't need any teaching device.
>>>>>
>>>>
>>>> That is too close to ad homimen.
>>>> If you think my reasoning is incorrect then point to the error
>>>> in my reasoning. Saying that in your opinion I am a bad teacher
>>>> is too close to ad hominem because it refers to your opinion of
>>>> me and utterly bypasses any of my reasoning.
>>>
>>> No, it isn't. You introduced youtself as a topic of discussion so
>>> you are a legitimate topic of discussion.
>>>
>>> I didn't claim that there be any reasoning, incorrect or otherwise.
>>>
>>
>> If you claim I am a bad teacher you must point out what is wrong with
>> the lesson otherwise your claim that I am a bad teacher is essentially
>> an as hominem attack.
> 
> You are not a teacher, bad or otherwise. That you lack skills that
> happen to be necessary for teaching is obvious from you postings
> here. A teacher needs to understand human psychology but you don't.
> 

You may be correct that I am a terrible teacher.
None-the-less Mathematicians might not have very much understanding
of the link between proof theory and computability. When I refer to
rejecting an invalid input math would seem to construe this as nonsense,
where as computability theory would totally understand.

The closest link between computability and math seems to be type
theory. Math people can understand that an epistemological antinomy
(AKA expression of language that cannot possibly be true or false)
is not a proposition:

A proposition is a central concept in the philosophy of language,
semantics, logic, and related fields, often characterized as the primary
bearer of truth or falsity. Propositions are also often characterized as
being the kind of thing that declarative sentences denote.
https://en.wikipedia.org/wiki/Proposition

It seems that they should also understand that formal bivalent
mathematical systems only deal with propositions. No one here
seems to understand that.


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