Undecidability based on epistemological antinomies

Liste des GroupesRevenir à s logic 
Sujet : Undecidability based on epistemological antinomies
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theory
Date : 17. Apr 2024, 21:27:54
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <uvp7rs$1p34r$1@dont-email.me>
User-Agent : Mozilla Thunderbird
....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.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

Date Sujet#  Auteur
17 Apr 24 * Undecidability based on epistemological antinomies10olcott
17 Apr 24 +* Re: Undecidability based on epistemological antinomies8Ross Finlayson
17 Apr 24 i`* Re: Undecidability based on epistemological antinomies7olcott
18 Apr 24 i `* Re: Undecidability based on epistemological antinomies6Richard Damon
18 Apr 24 i  +* Re: Undecidability based on epistemological antinomies4olcott
18 Apr 24 i  i`* Re: Undecidability based on epistemological antinomies3Richard Damon
18 Apr 24 i  i `* Re: Undecidability based on epistemological antinomies2olcott
18 Apr 24 i  i  `- Re: Undecidability based on epistemological antinomies1Richard Damon
18 Apr 24 i  `- Re: Undecidability based on epistemological antinomies1Ross Finlayson
18 Apr 24 `- Re: Undecidability based on epistemological antinomies1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal