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
…