Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Mikko <mikko.levanto@iki.fi>
Newsgroups: sci.logic
Subject: Re: Undecidability based on epistemological antinomies V2
Date: Sat, 20 Apr 2024 10:41:26 +0300
Organization: -
Lines: 17
Message-ID: <uvvrj6$3i152$1@dont-email.me>
References: <uvq0sg$21m7a$1@dont-email.me> <uvq359$1doq3$4@i2pn2.org> <uvrbvs$2acf7$1@dont-email.me> <uvs70t$1h01f$1@i2pn2.org> <uvsgcl$2i80k$1@dont-email.me> <uvsj4v$1h01e$1@i2pn2.org> <uvsknc$2mq5c$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 20 Apr 2024 09:41:26 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="3c0dc521ac8cd5f46eb39e971a1d97ad";
	logging-data="3736738"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+U3olLApDH60H7wHYCl6i6"
User-Agent: Unison/2.2
Cancel-Lock: sha1:UXQv8xSZR99g/45/1NNi5M5HYjs=
Bytes: 1639

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