Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable

Liste des GroupesRevenir à theory 
Sujet : Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable
De : acm (at) *nospam* muc.de (Alan Mackenzie)
Groupes : sci.logic comp.theory
Suivi-à : comp.theory
Date : 05. May 2025, 11:47:54
Autres entêtes
Organisation : muc.de e.V.
Message-ID : <vva50q$24vr$1@news.muc.de>
References : 1
User-Agent : tin/2.6.4-20241224 ("Helmsdale") (FreeBSD/14.2-RELEASE-p1 (amd64))
[ Followup-To: set ]

In comp.theory olcott <polcott333@gmail.com> wrote:
When we define formal systems as a finite list of basic facts and allow
semantic logical entailment as the only rule of inference we have
systems that can express any truth that can be expressed in language.

Also with such systems Undecidability is impossible. The only
incompleteness are things that are unknown or unknowable.

Do you believe in the tooth fairy, too?

[ .... ]

--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer

--
Alan Mackenzie (Nuremberg, Germany).


Date Sujet#  Auteur
5 May 25 * Formal systems that cannot possibly be incomplete except for unknowns and unknowable594olcott
5 May 25 +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Mikko
5 May 25 +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable19Alan Mackenzie
5 May 25 i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable18olcott
5 May 25 i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable17Alan Mackenzie
5 May 25 i  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable16olcott
5 May 25 i   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable15Alan Mackenzie
5 May 25 i    `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable14olcott
5 May 25 i     `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable13Alan Mackenzie
5 May 25 i      `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable12olcott
5 May 25 i       +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable7Alan Mackenzie
5 May 25 i       i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable6olcott
5 May 25 i       i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable5Alan Mackenzie
5 May 25 i       i  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable4olcott
6 May 25 i       i   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3Alan Mackenzie
6 May 25 i       i    `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
7 May 25 i       i     `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
6 May 25 i       `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable4joes
6 May 25 i        `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3olcott
7 May 25 i         +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
7 May 25 i         `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Mikko
5 May 25 `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable573Richard Damon
5 May 25  +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable569olcott
6 May 25  i+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3Richard Damon
6 May 25  ii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
6 May 25  ii `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
6 May 25  i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable565olcott
6 May 25  i +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable561Alan Mackenzie
6 May 25  i i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable560olcott
6 May 25  i i +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable556Alan Mackenzie
6 May 25  i i i+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable552Richard Heathfield
7 May 25  i i ii+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable5Ben Bacarisse
7 May 25  i i iii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable4Richard Heathfield
7 May 25  i i iii +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Heathfield
7 May 25  i i iii +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Heathfield
9 May 25  i i iii `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Heathfield
7 May 25  i i ii+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable544olcott
7 May 25  i i iii+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable532Richard Heathfield
7 May 25  i i iiii+* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable529olcott
7 May 25  i i iiiii+- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1dbush
7 May 25  i i iiiii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable527Richard Heathfield
7 May 25  i i iiiii `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable526olcott
7 May 25  i i iiiii  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable525Richard Heathfield
7 May 25  i i iiiii   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable524olcott
7 May 25  i i iiiii    +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable511dbush
7 May 25  i i iiiii    i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable510olcott
7 May 25  i i iiiii    i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable509dbush
8 May 25  i i iiiii    i  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable508olcott
8 May 25  i i iiiii    i   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable507dbush
8 May 25  i i iiiii    i    `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable506olcott
8 May 25  i i iiiii    i     `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable505dbush
8 May 25  i i iiiii    i      `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable504olcott
8 May 25  i i iiiii    i       `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable503dbush
8 May 25  i i iiiii    i        +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
8 May 25  i i iiiii    i        i`- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1dbush
8 May 25  i i iiiii    i        +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable499olcott
8 May 25  i i iiiii    i        i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable498dbush
8 May 25  i i iiiii    i        i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable497olcott
8 May 25  i i iiiii    i        i  `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable496dbush
8 May 25  i i iiiii    i        i   `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable495olcott
8 May 25  i i iiiii    i        i    +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3dbush
8 May 25  i i iiiii    i        i    i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
8 May 25  i i iiiii    i        i    i `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1dbush
8 May 25  i i iiiii    i        i    `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable491Richard Heathfield
8 May 25  i i iiiii    i        i     `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable490olcott
8 May 25  i i iiiii    i        i      +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable488Richard Heathfield
8 May 25  i i iiiii    i        i      i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable487Mike Terry
8 May 25  i i iiiii    i        i      i +* Incorrect requirements --- Computing the mapping from the input to HHH(DD)485olcott
8 May 25  i i iiiii    i        i      i i+* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)474Fred. Zwarts
8 May 25  i i iiiii    i        i      i ii`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)473olcott
8 May 25  i i iiiii    i        i      i ii +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)468Richard Heathfield
8 May 25  i i iiiii    i        i      i ii i+* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)6olcott
8 May 25  i i iiiii    i        i      i ii ii`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)5Richard Heathfield
8 May 25  i i iiiii    i        i      i ii ii `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)4olcott
9 May 25  i i iiiii    i        i      i ii ii  `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3Richard Damon
9 May 25  i i iiiii    i        i      i ii ii   `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)2olcott
9 May 25  i i iiiii    i        i      i ii ii    `- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Damon
8 May 25  i i iiiii    i        i      i ii i+- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Heathfield
8 May 25  i i iiiii    i        i      i ii i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)460Keith Thompson
8 May 25  i i iiiii    i        i      i ii i +- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Keith Thompson
8 May 25  i i iiiii    i        i      i ii i +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)127olcott
9 May 25  i i iiiii    i        i      i ii i i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)126Keith Thompson
9 May 25  i i iiiii    i        i      i ii i i `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)125olcott
9 May 25  i i iiiii    i        i      i ii i i  +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)12Keith Thompson
9 May 25  i i iiiii    i        i      i ii i i  i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)11olcott
9 May 25  i i iiiii    i        i      i ii i i  i +- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Keith Thompson
9 May 25  i i iiiii    i        i      i ii i i  i +- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Damon
9 May 25  i i iiiii    i        i      i ii i i  i +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)4Richard Heathfield
9 May 25  i i iiiii    i        i      i ii i i  i i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3olcott
9 May 25  i i iiiii    i        i      i ii i i  i i +- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Heathfield
9 May 25  i i iiiii    i        i      i ii i i  i i `- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Damon
9 May 25  i i iiiii    i        i      i ii i i  i `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)4Fred. Zwarts
9 May 25  i i iiiii    i        i      i ii i i  i  `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3olcott
9 May 25  i i iiiii    i        i      i ii i i  i   +- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Damon
10 May 25  i i iiiii    i        i      i ii i i  i   `- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Fred. Zwarts
9 May 25  i i iiiii    i        i      i ii i i  +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)100Richard Damon
9 May 25  i i iiiii    i        i      i ii i i  i+* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)2olcott
9 May 25  i i iiiii    i        i      i ii i i  ii`- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Keith Thompson
9 May 25  i i iiiii    i        i      i ii i i  i+* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)10Richard Damon
9 May 25  i i iiiii    i        i      i ii i i  ii`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)9Keith Thompson
9 May 25  i i iiiii    i        i      i ii i i  ii +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)2olcott
9 May 25  i i iiiii    i        i      i ii i i  ii +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3Richard Damon
9 May 25  i i iiiii    i        i      i ii i i  ii `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3olcott
9 May 25  i i iiiii    i        i      i ii i i  i+* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)67Fred. Zwarts
9 May 25  i i iiiii    i        i      i ii i i  i+- Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)1Richard Damon
10 May 25  i i iiiii    i        i      i ii i i  i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)19Mike Terry
9 May 25  i i iiiii    i        i      i ii i i  +* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)3Richard Heathfield
9 May 25  i i iiiii    i        i      i ii i i  `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)9Fred. Zwarts
8 May 25  i i iiiii    i        i      i ii i `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)331olcott
9 May 25  i i iiiii    i        i      i ii `* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)4Fred. Zwarts
9 May 25  i i iiiii    i        i      i i`* Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)10olcott
8 May 25  i i iiiii    i        i      i `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Heathfield
8 May 25  i i iiiii    i        i      `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
8 May 25  i i iiiii    i        `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1olcott
7 May 25  i i iiiii    +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable11Richard Heathfield
8 May 25  i i iiiii    `- Re: faithful simulations [was: Formal systems that cannot possibly be incomplete except for unknowns and unknowable]1joes
7 May 25  i i iiii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2Richard Heathfield
7 May 25  i i iii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable11dbush
7 May 25  i i ii`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2olcott
6 May 25  i i i+- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1olcott
7 May 25  i i i`* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2Mikko
7 May 25  i i +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon
7 May 25  i i +- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Mikko
7 May 25  i i `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Heathfield
6 May 25  i `* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable3Richard Damon
5 May 25  +* Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable2Richard Heathfield
6 May 25  `- Re: Formal systems that cannot possibly be incomplete except for unknowns and unknowable1Richard Damon

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal