Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--

Liste des GroupesRevenir à s logic 
Sujet : Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : sci.logic
Date : 23. Apr 2024, 10:21:39
Autres entêtes
Organisation : -
Message-ID : <v07r2j$1h57l$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : Unison/2.2
On 2024-04-22 17:37:55 +0000, olcott said:

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.
Sume mathematicians do have very much understanding of that. But that
link is not needed for understanding and solving problems separately
in the two areas.

When I refer to rejecting an invalid input math would seem to construe
this as nonsense, where as computability theory would totally understand.
People working on computability theory do not understand "invalid input"
as "impossible input". They understand it as an input that must be
handled differently from ordinary input. Likewise, mathematicians do
understand that some inputs must be considered separately and differently.
But mathematicians don't call those inputs "invalid".
--
Mikko

Date Sujet#  Auteur
18 Apr 24 * Undecidability based on epistemological antinomies V2323olcott
18 Apr 24 +* Re: Undecidability based on epistemological antinomies V2262Richard Damon
18 Apr 24 i`* Re: Undecidability based on epistemological antinomies V2261olcott
19 Apr 24 i `* Re: Undecidability based on epistemological antinomies V2260Richard Damon
19 Apr 24 i  `* Re: Undecidability based on epistemological antinomies V2259olcott
19 Apr 24 i   `* Re: Undecidability based on epistemological antinomies V2258Richard Damon
19 Apr 24 i    +* Re: Undecidability based on epistemological antinomies V256olcott
19 Apr 24 i    i+* Re: Undecidability based on epistemological antinomies V25Richard Damon
19 Apr 24 i    ii`* Re: Undecidability based on epistemological antinomies V24olcott
19 Apr 24 i    ii `* Re: Undecidability based on epistemological antinomies V23Richard Damon
19 Apr 24 i    ii  `* Re: Undecidability based on epistemological antinomies V22olcott
20 Apr 24 i    ii   `- Re: Undecidability based on epistemological antinomies V21Richard Damon
20 Apr 24 i    i`* Re: Undecidability based on epistemological antinomies V250Mikko
20 Apr 24 i    i `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--49olcott
20 Apr 24 i    i  +- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Richard Damon
21 Apr 24 i    i  `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--47Mikko
21 Apr 24 i    i   `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--46olcott
21 Apr 24 i    i    +- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Richard Damon
21 Apr 24 i    i    +- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Richard Damon
22 Apr 24 i    i    `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--43Mikko
22 Apr 24 i    i     +* Re: Undecidability based on epistemological antinomies V2 --Mendelson--10olcott
22 Apr 24 i    i     i+* Re: Undecidability based on epistemological antinomies V2 --Mendelson--5Mikko
22 Apr 24 i    i     ii`* Re: Undecidability based on epistemological antinomies V2 --Mendelson--4olcott
23 Apr 24 i    i     ii `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--3Mikko
23 Apr 24 i    i     ii  `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--2olcott
24 Apr 24 i    i     ii   `- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Mikko
23 Apr 24 i    i     i`* Re: Undecidability based on epistemological antinomies V2 --Mendelson--4Richard Damon
23 Apr 24 i    i     i `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--3olcott
24 Apr 24 i    i     i  +- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Richard Damon
24 Apr 24 i    i     i  `- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Mikko
23 Apr 24 i    i     `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--32olcott
24 Apr 24 i    i      `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--31Mikko
24 Apr 24 i    i       `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--30olcott
25 Apr 24 i    i        `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--29Mikko
25 Apr 24 i    i         `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--28olcott
26 Apr 24 i    i          `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--27Mikko
26 Apr 24 i    i           `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--26olcott
26 Apr 24 i    i            +- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Richard Damon
26 Apr 24 i    i            +* Re: Undecidability based on epistemological antinomies V2 --Mendelson--7Ross Finlayson
26 Apr 24 i    i            i`* Re: Undecidability based on epistemological antinomies V2 --Mendelson--6olcott
26 Apr 24 i    i            i `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--5Richard Damon
26 Apr 24 i    i            i  `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--4Ross Finlayson
26 Apr 24 i    i            i   `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--3olcott
26 Apr 24 i    i            i    `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--2Richard Damon
26 Apr 24 i    i            i     `- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Ross Finlayson
27 Apr 24 i    i            `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--17Mikko
27 Apr 24 i    i             `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--16olcott
28 Apr 24 i    i              `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--15Mikko
28 Apr 24 i    i               `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--14olcott
29 Apr 24 i    i                `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--13Mikko
29 Apr 24 i    i                 `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--12olcott
29 Apr 24 i    i                  `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--11Mikko
29 Apr 24 i    i                   `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--10olcott
30 Apr 24 i    i                    `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--9Mikko
30 Apr 24 i    i                     `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--8olcott
1 May 24 i    i                      `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--7Mikko
1 May 24 i    i                       `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--6olcott
2 May 24 i    i                        `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--5Mikko
2 May 24 i    i                         `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--4olcott
3 May 24 i    i                          `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--3Mikko
3 May 24 i    i                           `* Re: Undecidability based on epistemological antinomies V2 --Mendelson--2olcott
4 May 24 i    i                            `- Re: Undecidability based on epistemological antinomies V2 --Mendelson--1Mikko
19 Apr 24 i    +* Re: Undecidability based on epistemological antinomies V22olcott
20 Apr 24 i    i`- Re: Undecidability based on epistemological antinomies V21Richard Damon
19 Apr 24 i    `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--199olcott
20 Apr 24 i     +* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--3Richard Damon
20 Apr 24 i     i`* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--2olcott
20 Apr 24 i     i `- Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--1Richard Damon
20 Apr 24 i     `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--195Mikko
20 Apr 24 i      `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--194olcott
20 Apr 24 i       +* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--3Richard Damon
21 Apr 24 i       i`* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--2olcott
21 Apr 24 i       i `- Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--1Richard Damon
21 Apr 24 i       `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--190Mikko
21 Apr 24 i        `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--189olcott
22 Apr 24 i         `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--188Mikko
22 Apr 24 i          `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--187olcott
22 Apr 24 i           `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--186Mikko
22 Apr 24 i            +- Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--1olcott
22 Apr 24 i            `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--184olcott
23 Apr 24 i             `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--183Mikko
23 Apr 24 i              `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--182olcott
24 Apr 24 i               `* Re: Undecidability based on epistemological antinomies V2 --Tarski Proof--181Mikko
24 Apr 24 i                `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--180olcott
25 Apr 24 i                 +* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--149Richard Damon
25 Apr 24 i                 i`* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--148olcott
25 Apr 24 i                 i +* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--10Richard Damon
25 Apr 24 i                 i i`* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--9olcott
25 Apr 24 i                 i i `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--8Richard Damon
25 Apr 24 i                 i i  `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--7olcott
25 Apr 24 i                 i i   `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--6Richard Damon
25 Apr 24 i                 i i    +* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--2olcott
25 Apr 24 i                 i i    i`- Re: Undecidability based on epistemological antinomies V2 --H(D,D)--1Richard Damon
25 Apr 24 i                 i i    +* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--2olcott
25 Apr 24 i                 i i    i`- Re: Undecidability based on epistemological antinomies V2 --H(D,D)--1Richard Damon
25 Apr 24 i                 i i    `- Re: Undecidability based on epistemological antinomies V2 --H(D,D)--1Ross Finlayson
25 Apr 24 i                 i `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--137Mikko
25 Apr 24 i                 i  `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--136olcott
26 Apr 24 i                 i   +- Re: Undecidability based on epistemological antinomies V2 --H(D,D)--1Richard Damon
26 Apr 24 i                 i   `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--134Mikko
26 Apr 24 i                 i    +* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--26olcott
26 Apr 24 i                 i    `* D simulated by H never halts no matter what H does107olcott
25 Apr 24 i                 `* Re: Undecidability based on epistemological antinomies V2 --H(D,D)--30Mikko
18 Apr 24 +* Re: Undecidability based on epistemological antinomies V254olcott
18 Apr 24 `* Re: Undecidability based on epistemological antinomies V26olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal