Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)

Liste des GroupesRevenir à c theory 
Sujet : Re: Incorrect requirements --- Computing the mapping from the input to HHH(DD)
De : dbush.mobile (at) *nospam* gmail.com (dbush)
Groupes : comp.theory
Date : 10. May 2025, 22:01:04
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vvoeqf$3n3km$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
On 5/10/2025 4:58 PM, olcott wrote:
When HHH(DDD) computes the mapping from its input DDD
to the behavior that this input specifies when DDD is
emulated by HHH according to the rules of the x86
language ...
 
It does not meet the requirements to be a solution to the halting problem below, and is therefore irrelevant to it.
Given any algorithm (i.e. a fixed immutable sequence of instructions) X described as <X> with input Y:
A solution to the halting problem is an algorithm H that computes the following mapping:
(<X>,Y) maps to 1 if and only if X(Y) halts when executed directly
(<X>,Y) maps to 0 if and only if X(Y) does not halt when executed directly

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