Sujet : Re: Undecidability based on epistemological antinomies V2 --correct reasoning--
De : ross.a.finlayson (at) *nospam* gmail.com (Ross Finlayson)
Groupes : comp.theory sci.logicDate : 25. Apr 2024, 18:09:25
Autres entêtes
Message-ID : <y4ednaL7rMisHbf7nZ2dnZfqnPjByJ2d@giganews.com>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
User-Agent : Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0
On 04/25/2024 04:32 AM, Richard Damon wrote:
On 4/25/24 12:33 AM, olcott wrote:
On 4/24/2024 10:59 PM, Ross Finlayson wrote:
The only thing that I have ever been talking about is True(L,x)
specified as relations between finite strings such that a
correct and consistent True(L,x) can be defined for every
element of human knowledge that can be expressed using language.
>
As far as Eastern religion goes Zen/Tao & Advaita.
>
>
>
Then what is the value of True(L,x) where x is defined as to be the
stagtement: "Not True(L,x)"?
>
If it is TRUE, the x is the equivalent of NOT TRUE, or FALSE and thus
your True(L,x) has said a false statement was true.
>
If it is FALSE, then x is the equivalent of NOT FALSE, or TRUE, and thus
your True(L,x) has said that a TRUE statement was FALSE.
>
If it refuses to answer, then you have lied that it can be defined for
ANY finite string.
>
That, our your logic system just can't handle the basics of the problem.
"In the Flat-Land of Tertium Non Datur".
Date | Sujet | # | | Auteur |
18 Apr 24 | Undecidability based on epistemological antinomies V2 | 277 | | olcott |
18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 220 | | Richard Damon |
18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 219 | | olcott |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 218 | | Richard Damon |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 217 | | olcott |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 216 | | Richard Damon |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 27 | | olcott |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 5 | | Richard Damon |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 4 | | olcott |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 3 | | Richard Damon |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 2 | | olcott |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 1 | | Richard Damon |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 21 | | olcott |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 19 | | olcott |
21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 16 | | Mikko |
22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 4 | | olcott |
23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 3 | | Richard Damon |
23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 2 | | olcott |
24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 11 | | olcott |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 10 | | olcott |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 7 | | Ross Finlayson |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 6 | | olcott |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 5 | | Richard Damon |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 4 | | Ross Finlayson |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 3 | | olcott |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 2 | | Richard Damon |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Ross Finlayson |
27 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | olcott |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 2 | | olcott |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 1 | | Richard Damon |
19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 186 | | olcott |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 3 | | Richard Damon |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 2 | | olcott |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 1 | | Richard Damon |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 182 | | olcott |
20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 3 | | Richard Damon |
21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 2 | | olcott |
21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 1 | | Richard Damon |
21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 178 | | olcott |
22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 177 | | olcott |
24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 176 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 171 | | Richard Damon |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 170 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 10 | | Richard Damon |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 9 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 8 | | Richard Damon |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 7 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 6 | | Richard Damon |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 2 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 1 | | Richard Damon |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 2 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 1 | | Richard Damon |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 1 | | Ross Finlayson |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 159 | | olcott |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 1 | | Richard Damon |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 139 | | olcott |
26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 138 | | Richard Damon |
26 Apr 24 | D simulated by H never halts no matter what H does | 137 | | olcott |
26 Apr 24 | Re: D simulated by H never halts no matter what H does | 1 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does | 135 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does | 134 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does | 133 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does | 132 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does | 131 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does | 130 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does | 1 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does | 1 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 127 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 126 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 125 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 124 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 123 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 19 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 18 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 17 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 16 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 15 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 14 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 13 | | Richard Damon |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 12 | | olcott |
27 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 11 | | Richard Damon |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 10 | | olcott |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 9 | | Richard Damon |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 8 | | olcott |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 7 | | Richard Damon |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 6 | | olcott |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 5 | | Richard Damon |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 4 | | olcott |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 3 | | Richard Damon |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 2 | | olcott |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 1 | | Richard Damon |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 103 | | olcott |
28 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 1 | | Richard Damon |
29 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 101 | | olcott |
29 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 99 | | Mikko |
29 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 98 | | olcott |
30 Apr 24 | Re: D simulated by H never halts no matter what H does V3 | 1 | | Richard Damon |
28 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 18 | | olcott |
25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 4 | | olcott |
18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 54 | | olcott |
18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 2 | | olcott |