Sujet : Re: Undecidability based on epistemological antinomies V2
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : sci.logicDate : 20. Apr 2024, 09:41:26
Autres entêtes
Organisation : -
Message-ID : <uvvrj6$3i152$1@dont-email.me>
References : 1 2 3 4 5 6 7
User-Agent : Unison/2.2
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.
-- 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 |