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 : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theory
Date : 07. May 2025, 09:05:23
Autres entêtes
Organisation : Fix this later
Message-ID : <vvf483$sq03$1@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
On 06/05/2025 15:36, olcott wrote:
<snip>

Try to provide one simple concrete example where we
begin with truth and only apply truth preserving
operations and end up with undecidability.
https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within

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