Re: This makes all Analytic(Olcott) truth computable

Liste des GroupesRevenir à s logic 
Sujet : Re: This makes all Analytic(Olcott) truth computable
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic
Date : 18. Aug 2024, 13:47:36
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v9sn0p$2c67u$5@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27
User-Agent : Mozilla Thunderbird
On 8/18/2024 5:32 AM, Mikko wrote:
On 2024-08-17 14:45:45 +0000, olcott said:
 
On 8/17/2024 9:40 AM, Richard Damon wrote:>>>
No, you said that "ALL THEY DID" was that, and that is just a LIE.
>
They developed a full formal system.
>
>
They did nothing besides change the definition of
a set and the result of this was a new formal system.
 Yes they did. They did show that the new system is similar enough to
the old systems to be called "set theory" and sufficiently useful.
 
They redefined the notion of a set in set theory and that
by itself got rid of Russell's Paradox. Mostly this disallows
a set to be a member of itself.
I redefine the notion of formal system in math and logic
and this by itself gets rids of undecidability. Mostly this
rejects self-contradictory expressions.
--
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
29 Jul 24 * Analytic Expressions of language not linked to their semantic meaning are simply untrue219olcott
29 Jul 24 +* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue3Richard Damon
29 Jul 24 i`* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue2olcott
30 Jul 24 i `- Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue1Richard Damon
29 Jul 24 +- Analytic Expressions of language not linked to their semantic meaning are simply untrue V21olcott
30 Jul 24 +* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue212Mikko
30 Jul 24 i`* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue211olcott
31 Jul 24 i `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue210Mikko
31 Jul 24 i  `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue209olcott
2 Aug 24 i   `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue208Mikko
2 Aug 24 i    +* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue206olcott
3 Aug 24 i    i`* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue205Mikko
3 Aug 24 i    i `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue204olcott
3 Aug 24 i    i  +* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue9Richard Damon
3 Aug 24 i    i  i`* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue8olcott
3 Aug 24 i    i  i `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue7Richard Damon
3 Aug 24 i    i  i  +* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue5olcott
4 Aug 24 i    i  i  i`* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue4Richard Damon
4 Aug 24 i    i  i  i `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue3olcott
4 Aug 24 i    i  i  i  +- Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue1Python
4 Aug 24 i    i  i  i  `- Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue1Richard Damon
4 Aug 24 i    i  i  `- Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue1olcott
4 Aug 24 i    i  `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue194Mikko
4 Aug 24 i    i   `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue193olcott
6 Aug 24 i    i    `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue192Mikko
6 Aug 24 i    i     `* x true.191olcott
6 Aug 24 i    i      +* Re: x true.2Jim Burns
6 Aug 24 i    i      i`- Boolean True(L, x) refuting Tarski1olcott
6 Aug 24 i    i      +* Re: x true.2joes
6 Aug 24 i    i      i`- Re: x true.1olcott
7 Aug 24 i    i      +* Re: x true.185Mikko
7 Aug 24 i    i      i`* True on the basis of meaning (and not any other kind)184olcott
8 Aug 24 i    i      i `* Re: True on the basis of meaning (and not any other kind)183Mikko
8 Aug 24 i    i      i  `* Re: True on the basis of meaning (and not any other kind)182olcott
9 Aug 24 i    i      i   `* Re: True on the basis of meaning (and not any other kind)181Mikko
9 Aug 24 i    i      i    `* Re: True on the basis of meaning (and not any other kind)180olcott
9 Aug 24 i    i      i     +* This makes all Analytic(Olcott) truth computable177olcott
10 Aug 24 i    i      i     i`* Re: This makes all Analytic(Olcott) truth computable176Mikko
10 Aug 24 i    i      i     i `* Re: This makes all Analytic(Olcott) truth computable175olcott
12 Aug 24 i    i      i     i  `* Re: This makes all Analytic(Olcott) truth computable174Mikko
12 Aug 24 i    i      i     i   `* Re: This makes all Analytic(Olcott) truth computable173olcott
12 Aug 24 i    i      i     i    +- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
13 Aug 24 i    i      i     i    `* Re: This makes all Analytic(Olcott) truth computable171Mikko
13 Aug 24 i    i      i     i     `* Re: This makes all Analytic(Olcott) truth computable170olcott
15 Aug 24 i    i      i     i      `* Re: This makes all Analytic(Olcott) truth computable169Mikko
16 Aug 24 i    i      i     i       +* Re: This makes all Analytic(Olcott) truth computable159olcott
16 Aug 24 i    i      i     i       i+* Re: This makes all Analytic(Olcott) truth computable6Mikko
16 Aug 24 i    i      i     i       ii`* Re: This makes all Analytic(Olcott) truth computable5olcott
16 Aug 24 i    i      i     i       ii `* Re: This makes all Analytic(Olcott) truth computable4Mikko
16 Aug 24 i    i      i     i       ii  `* Re: This makes all Analytic(Olcott) truth computable3olcott
18 Aug 24 i    i      i     i       ii   `* Re: This makes all Analytic(Olcott) truth computable2Mikko
18 Aug 24 i    i      i     i       ii    `- Re: This makes all Analytic(Olcott) truth computable1olcott
16 Aug 24 i    i      i     i       i`* Re: This makes all Analytic(Olcott) truth computable152Richard Damon
16 Aug 24 i    i      i     i       i `* Re: This makes all Analytic(Olcott) truth computable151olcott
16 Aug 24 i    i      i     i       i  +* Re: This makes all Analytic(Olcott) truth computable142Richard Damon
16 Aug 24 i    i      i     i       i  i`* Re: This makes all Analytic(Olcott) truth computable141olcott
16 Aug 24 i    i      i     i       i  i +* Re: This makes all Analytic(Olcott) truth computable136Richard Damon
16 Aug 24 i    i      i     i       i  i i+* Re: This makes all Analytic(Olcott) truth computable2olcott
16 Aug 24 i    i      i     i       i  i ii`- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
16 Aug 24 i    i      i     i       i  i i`* Re: This makes all Analytic(Olcott) truth computable133olcott
17 Aug 24 i    i      i     i       i  i i +* Re: This makes all Analytic(Olcott) truth computable131Richard Damon
17 Aug 24 i    i      i     i       i  i i i`* Re: This makes all Analytic(Olcott) truth computable130olcott
17 Aug 24 i    i      i     i       i  i i i +* Re: This makes all Analytic(Olcott) truth computable112Richard Damon
17 Aug 24 i    i      i     i       i  i i i i`* Re: This makes all Analytic(Olcott) truth computable111olcott
17 Aug 24 i    i      i     i       i  i i i i `* Re: This makes all Analytic(Olcott) truth computable110Richard Damon
17 Aug 24 i    i      i     i       i  i i i i  `* Re: This makes all Analytic(Olcott) truth computable109olcott
17 Aug 24 i    i      i     i       i  i i i i   `* Re: This makes all Analytic(Olcott) truth computable108Richard Damon
17 Aug 24 i    i      i     i       i  i i i i    `* Re: This makes all Analytic(Olcott) truth computable107olcott
17 Aug 24 i    i      i     i       i  i i i i     +* Re: This makes all Analytic(Olcott) truth computable99Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i`* Re: This makes all Analytic(Olcott) truth computable98olcott
17 Aug 24 i    i      i     i       i  i i i i     i `* Re: This makes all Analytic(Olcott) truth computable97Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i  `* Re: This makes all Analytic(Olcott) truth computable96olcott
17 Aug 24 i    i      i     i       i  i i i i     i   +* Re: This makes all Analytic(Olcott) truth computable42Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i`* Re: This makes all Analytic(Olcott) truth computable41olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i `* Re: This makes all Analytic(Olcott) truth computable40Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i  `* Re: This makes all Analytic(Olcott) truth computable39olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   +* Re: This makes all Analytic(Olcott) truth computable34Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i`* Re: This makes all Analytic(Olcott) truth computable33olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   i +* Re: This makes all Analytic(Olcott) truth computable28Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i`* Re: This makes all Analytic(Olcott) truth computable27olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i +* Re: This makes all Analytic(Olcott) truth computable25Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i`* Re: This makes all Analytic(Olcott) truth computable24olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i +* Re: This makes all Analytic(Olcott) truth computable22Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i`* Re: This makes all Analytic(Olcott) truth computable21olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i `* Re: This makes all Analytic(Olcott) truth computable20Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i  `* Re: This makes all Analytic(Olcott) truth computable19olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   +* Re: This makes all Analytic(Olcott) truth computable17Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i`* Re: This makes all Analytic(Olcott) truth computable16olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i +* Re: This makes all Analytic(Olcott) truth computable14Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i`* Re: This makes all Analytic(Olcott) truth computable13olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i `* Re: This makes all Analytic(Olcott) truth computable12Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i  `* Re: This makes all Analytic(Olcott) truth computable11olcott
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   +* Re: This makes all Analytic(Olcott) truth computable9Richard Damon
17 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   i`* Re: This makes all Analytic(Olcott) truth computable8olcott
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   i `* Re: This makes all Analytic(Olcott) truth computable7Richard Damon
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   i  `* Re: This makes all Analytic(Olcott) truth computable6olcott
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   i   `* Re: This makes all Analytic(Olcott) truth computable5Richard Damon
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   i    `* Re: This makes all Analytic(Olcott) truth computable4olcott
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   i     `* Re: This makes all Analytic(Olcott) truth computable3Richard Damon
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   i      `* Re: This makes all Analytic(Olcott) truth computable2olcott
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   i       `- Re: This makes all Analytic(Olcott) truth computable1Richard Damon
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i i   `- Re: This makes all Analytic(Olcott) truth computable1Mikko
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   i `- Re: This makes all Analytic(Olcott) truth computable1Mikko
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i i   `- Re: This makes all Analytic(Olcott) truth computable1Mikko
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i i `- Re: This makes all Analytic(Olcott) truth computable1Mikko
18 Aug 24 i    i      i     i       i  i i i i     i   i   i i `- Re: This makes all Analytic(Olcott) truth computable1Mikko
18 Aug 24 i    i      i     i       i  i i i i     i   i   i `* Re: This makes all Analytic(Olcott) truth computable4Mikko
18 Aug 24 i    i      i     i       i  i i i i     i   i   `* Re: This makes all Analytic(Olcott) truth computable4Mikko
18 Aug 24 i    i      i     i       i  i i i i     i   `* Re: This makes all Analytic(Olcott) truth computable53Mikko
18 Aug 24 i    i      i     i       i  i i i i     `* Re: This makes all Analytic(Olcott) truth computable7Mikko
18 Aug 24 i    i      i     i       i  i i i `* Re: This makes all Analytic(Olcott) truth computable17Mikko
18 Aug 24 i    i      i     i       i  i i `- Re: This makes all Analytic(Olcott) truth computable1Mikko
18 Aug 24 i    i      i     i       i  i `* Re: This makes all Analytic(Olcott) truth computable4Mikko
18 Aug 24 i    i      i     i       i  `* Re: This makes all Analytic(Olcott) truth computable8Mikko
18 Aug 24 i    i      i     i       `* Re: This makes all Analytic(Olcott) truth computable9olcott
10 Aug 24 i    i      i     +- Re: True on the basis of meaning (and not any other kind)1Mikko
10 Aug 24 i    i      i     `- Re: True on the basis of meaning (and not any other kind)1Mikko
7 Aug 24 i    i      `- Re: x true. but only if it IS true.1Richard Damon
2 Aug 24 i    `- Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue1olcott
31 Jul 24 `* Re: Analytic Expressions of language not linked to their semantic meaning are simply untrue2olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal