Sujet : Re: Undecidability based on epistemological antinomies V2 --Mendelson--
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : sci.logic comp.theoryDate : 26. Apr 2024, 21:01:20
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <v0gtm0$2a19s$5@i2pn2.org>
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
User-Agent : Mozilla Thunderbird
On 4/26/24 2:40 PM, olcott wrote:
Mathematical incompleteness and decision problem undecidability
have a totally vacuous philosophical foundation.
Nope, THAT STATEMENT has an incorrect philosophical foundation, because you just don't understand the meaning of the words you are using.
Even the most grand philosophical foundations admit that fundamentally, there can be truths that are not knowable in sufficiently complicated logical systems.
That you don't understand that is YOUR limitation, not the limitation of philosophy.
| Date | Sujet | # | | Auteur |
| 18 Apr 24 |  Undecidability based on epistemological antinomies V2 | 323 | | olcott |
| 18 Apr 24 |  Re: Undecidability based on epistemological antinomies V2 | 262 | | Richard Damon |
| 18 Apr 24 |   Re: Undecidability based on epistemological antinomies V2 | 261 | | olcott |
| 19 Apr 24 |  Re: Undecidability based on epistemological antinomies V2 | 260 | | Richard Damon |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 259 | | olcott |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 258 | | Richard Damon |
| 19 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 56 | | 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 | 50 | | Mikko |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 49 | | 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-- | 47 | | Mikko |
| 21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 46 | | 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-- | 43 | | Mikko |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 10 | | olcott |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 5 | | 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 | | Mikko |
| 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 | | Mikko |
| 23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 4 | | Richard Damon |
| 23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 3 | | olcott |
| 24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Richard Damon |
| 24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Mikko |
| 23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 32 | | olcott |
| 24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 31 | | Mikko |
| 24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 30 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 29 | | Mikko |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 28 | | olcott |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 27 | | Mikko |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 26 | | 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-- | 17 | | Mikko |
| 27 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 16 | | olcott |
| 28 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 15 | | Mikko |
| 28 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 14 | | olcott |
| 29 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 13 | | Mikko |
| 29 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 12 | | olcott |
| 29 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 11 | | Mikko |
| 29 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 10 | | olcott |
| 30 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 9 | | Mikko |
| 30 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 8 | | olcott |
| 1 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 7 | | Mikko |
| 1 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 6 | | olcott |
| 2 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 5 | | Mikko |
| 2 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 4 | | olcott |
| 3 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 3 | | Mikko |
| 3 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 2 | | olcott |
| 4 May 24 | Re: Undecidability based on epistemological antinomies V2 --Mendelson-- | 1 | | Mikko |
| 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-- | 199 | | 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-- | 195 | | Mikko |
| 20 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 194 | | 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-- | 190 | | Mikko |
| 21 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 189 | | olcott |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 188 | | Mikko |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 187 | | olcott |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 186 | | Mikko |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 1 | | olcott |
| 22 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 184 | | olcott |
| 23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 183 | | Mikko |
| 23 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 182 | | olcott |
| 24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --Tarski Proof-- | 181 | | Mikko |
| 24 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 180 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 149 | | Richard Damon |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 148 | | 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)-- | 137 | | Mikko |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 136 | | 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)-- | 134 | | Mikko |
| 26 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 26 | | olcott |
| 26 Apr 24 | D simulated by H never halts no matter what H does | 107 | | olcott |
| 25 Apr 24 | Re: Undecidability based on epistemological antinomies V2 --H(D,D)-- | 30 | | Mikko |
| 18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 54 | | olcott |
| 18 Apr 24 | Re: Undecidability based on epistemological antinomies V2 | 6 | | olcott |