Sujet : Re: Undecidability based on epistemological antinomies V2 --Mendelson--
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : sci.logicDate : 21. Apr 2024, 09:50:53
Autres entêtes
Organisation : -
Message-ID : <v02ggt$6org$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Unison/2.2
On 2024-04-20 16:37:27 +0000, olcott said:
On 4/20/2024 2:41 AM, Mikko wrote:
On 2024-04-19 02:25:48 +0000, olcott said:
On 4/18/2024 8:58 PM, Richard Damon wrote:
Godel's proof you are quoting from had NOTHING to do with undecidability,
*Mendelson (and everyone that knows these things) disagrees*
https://sistemas.fciencias.unam.mx/~lokylog/images/Notas/la_aldea_de_la_logica/Libros_notas_varios/L_02_MENDELSON,%20E%20-%20Introduction%20to%20Mathematical%20Logic,%206th%20Ed%20-%20CRC%20Press%20(2015).pdf
On questions whether Gödel said something or not the sumpreme authority
is not Mendelson but Gödel.
When some authors affirm that undecidability and incompleteness
are the exact same thing then whenever Gödel uses the term
incompleteness then he is also referring to the term undecidability.
That does not follow. Besides, a reference to the term "undecidability"
is not a reference to the concept 'undecidability'.
-- Mikko
| 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 |