Re: Undecidability based on epistemological antinomies

Liste des GroupesRevenir à c theory 
Sujet : Re: Undecidability based on epistemological antinomies
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : sci.logic comp.theory
Date : 18. Apr 2024, 00:42:45
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <uvpj95$1doq2$1@i2pn2.org>
References : 1
User-Agent : Mozilla Thunderbird
On 4/17/24 3:27 PM, olcott wrote:
...14 Every epistemological antinomy can likewise be used for a similar
undecidability proof...(Gödel 1931:43-44)
 *I will paraphrase his quote using the simplest terms*
 Every expression X that cannot possibly be true or false proves that
there is something wrong with a formal system that cannot correctly
determine whether X is true or false.
 
Nope, that is NOT what he means, and shows your utter misunderstanding of the logic.
Your WHOLE logic system is just based on STRAWMWN like this, which show that you idea about "correct reasoning" are not correct, and are not actually based on actual reasoning.
This has been pointed out to you, and your continued repeating them just shows your complete stupidity, and that you are nothing but a pitiful hypocritical pathologically liar.

Date Sujet#  Auteur
10 Nov 24 o 

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal