Re: Every sufficiently competent C programmer knows --- Semantic Property of Finite String

Liste des GroupesRevenir à c theory 
Sujet : Re: Every sufficiently competent C programmer knows --- Semantic Property of Finite String
De : dbush.mobile (at) *nospam* gmail.com (dbush)
Groupes : comp.theory
Date : 13. Mar 2025, 03:49:31
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vqth3r$2t2hb$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10
User-Agent : Mozilla Thunderbird
On 3/12/2025 10:41 PM, olcott wrote:
On 3/12/2025 7:56 PM, dbush wrote:
On 3/12/2025 8:41 PM, olcott wrote:>>
>
NOT WHEN IT IS STIPULATED THAT THE BEHAVIOR BEING
MEASURED IS
>
>
The direct execution of DDD
 is proven to be different than the behavior of DDD
emulated by HHH according to the semantics of the
x86 language.
 
Which is not what a solution to the halting problem is stipulated to compute:
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
11 Mar 25 * Every sufficiently competent C programmer knows343olcott
11 Mar 25 +* Re: Every sufficiently competent C programmer knows25Richard Damon
11 Mar 25 i`* Re: Every sufficiently competent C programmer knows24olcott
11 Mar 25 i +- Re: Every sufficiently competent C programmer knows1dbush
11 Mar 25 i +* Re: Every sufficiently competent C programmer knows21Mikko
11 Mar 25 i i`* Re: Every sufficiently competent C programmer knows20olcott
11 Mar 25 i i +- Re: Every sufficiently competent C programmer knows1Richard Heathfield
11 Mar 25 i i +* Re: Every sufficiently competent C programmer knows4Mikko
11 Mar 25 i i i`* Re: Every sufficiently competent C programmer knows3olcott
11 Mar 25 i i i +- Re: Every sufficiently competent C programmer knows1Richard Damon
12 Mar 25 i i i `- Re: Every sufficiently competent C programmer knows1Mikko
11 Mar 25 i i +- Re: Every sufficiently competent C programmer knows1Richard Damon
16 Mar 25 i i `* Re: Every sufficiently competent C programmer knows13Mikko
16 Mar 25 i i  +* Re: Every sufficiently competent C programmer knows11Richard Heathfield
16 Mar 25 i i  i+* Re: Every sufficiently competent C programmer knows2Mikko
16 Mar 25 i i  ii`- Re: Every sufficiently competent C programmer knows1Richard Heathfield
16 Mar 25 i i  i`* Re: Every sufficiently competent C programmer knows8Keith Thompson
16 Mar 25 i i  i +* Every sufficiently competent C programmer knows --- original post appended at end6olcott
16 Mar 25 i i  i i+* Re: Every sufficiently competent C programmer knows --- original post appended at end4joes
17 Mar 25 i i  i ii`* Re: Every sufficiently competent C programmer knows --- Correct Emulation Specifies Behavior3olcott
17 Mar 25 i i  i ii +- Re: Every sufficiently competent C programmer knows --- Correct Emulation Specifies Behavior1joes
17 Mar 25 i i  i ii `- Re: Every sufficiently competent C programmer knows --- Correct Emulation Specifies Behavior1Richard Damon
17 Mar 25 i i  i i`- Re: Every sufficiently competent C programmer knows --- original post appended at end1Mikko
16 Mar 25 i i  i `- Re: Every sufficiently competent C programmer knows1Richard Heathfield
16 Mar 25 i i  `- Re: Every sufficiently competent C programmer knows1olcott
11 Mar 25 i `- Re: Every sufficiently competent C programmer knows1Richard Damon
11 Mar 25 +- Re: Every sufficiently competent C programmer knows1Richard Heathfield
11 Mar 25 +* Re: Every sufficiently competent C programmer knows16Fred. Zwarts
11 Mar 25 i+* Re: Every sufficiently competent C programmer knows12Richard Heathfield
11 Mar 25 ii`* Re: Every sufficiently competent C programmer knows11olcott
11 Mar 25 ii +* Re: Every sufficiently competent C programmer knows5Richard Heathfield
11 Mar 25 ii i`* Re: Every sufficiently competent C programmer knows4olcott
11 Mar 25 ii i `* Re: Every sufficiently competent C programmer knows3Richard Heathfield
11 Mar 25 ii i  `* Re: Every sufficiently competent C programmer knows2olcott
11 Mar 25 ii i   `- Re: Every sufficiently competent C programmer knows1Richard Heathfield
11 Mar 25 ii +* Re: Every sufficiently competent C programmer knows4Mikko
11 Mar 25 ii i+- Re: Every sufficiently competent C programmer knows1Richard Heathfield
11 Mar 25 ii i`* Re: Every sufficiently competent C programmer knows2olcott
12 Mar 25 ii i `- Re: Every sufficiently competent C programmer knows1Mikko
11 Mar 25 ii `- Re: Every sufficiently competent C programmer knows1Richard Damon
11 Mar 25 i`* Re: Every sufficiently competent C programmer knows3Mikko
11 Mar 25 i `* Re: Every sufficiently competent C programmer knows2olcott
11 Mar 25 i  `- Re: Every sufficiently competent C programmer knows1Mikko
11 Mar 25 `* Re: Every sufficiently competent C programmer knows300Mikko
11 Mar 25  `* Re: Every sufficiently competent C programmer knows299olcott
11 Mar 25   +* Re: Every sufficiently competent C programmer knows290Richard Heathfield
11 Mar 25   i+* Re: Every sufficiently competent C programmer knows5olcott
11 Mar 25   ii+- Re: Every sufficiently competent C programmer knows1Richard Heathfield
12 Mar 25   ii`* Re: Every sufficiently competent C programmer knows3Mikko
12 Mar 25   ii `* Re: Every sufficiently competent C programmer knows2Richard Heathfield
13 Mar 25   ii  `- Re: Every sufficiently competent C programmer knows1Mikko
11 Mar 25   i`* Re: Every sufficiently competent C programmer knows284Mike Terry
11 Mar 25   i +- Re: Every sufficiently competent C programmer knows1wij
11 Mar 25   i +* Re: Every sufficiently competent C programmer knows82Richard Heathfield
11 Mar 25   i i+* Re: Every sufficiently competent C programmer knows7wij
11 Mar 25   i ii+* Re: Every sufficiently competent C programmer knows5Richard Heathfield
11 Mar 25   i iii+- Re: Every sufficiently competent C programmer knows1wij
11 Mar 25   i iii`* Re: Every sufficiently competent C programmer knows3wij
11 Mar 25   i iii `* Re: Every sufficiently competent C programmer knows2Richard Heathfield
11 Mar 25   i iii  `- Re: Every sufficiently competent C programmer knows1dbush
12 Mar 25   i ii`- Re: Every sufficiently competent C programmer knows1Mikko
11 Mar 25   i i+* Re: Every sufficiently competent C programmer knows71Mike Terry
11 Mar 25   i ii+* Re: Every sufficiently competent C programmer knows3Richard Heathfield
12 Mar 25   i iii`* Re: Every sufficiently competent C programmer knows2Mike Terry
12 Mar 25   i iii `- Re: Every sufficiently competent C programmer knows1Richard Heathfield
12 Mar 25   i ii+* Re: Every sufficiently competent C programmer knows44Fred. Zwarts
12 Mar 25   i iii`* Re: Every sufficiently competent C programmer knows43Mike Terry
12 Mar 25   i iii `* Re: Every sufficiently competent C programmer knows --- posthumous reviewers42olcott
12 Mar 25   i iii  +* Re: Every sufficiently competent C programmer knows --- posthumous reviewers40Richard Damon
13 Mar 25   i iii  i`* Re: Every sufficiently competent C programmer knows --- posthumous reviewers39olcott
13 Mar 25   i iii  i +* Re: Every sufficiently competent C programmer knows --- posthumous reviewers3Richard Damon
13 Mar 25   i iii  i i`* Re: Every sufficiently competent C programmer knows --- posthumous reviewers2olcott
13 Mar 25   i iii  i i `- Re: Every sufficiently competent C programmer knows --- posthumous reviewers1Richard Damon
13 Mar 25   i iii  i +* Re: Every sufficiently competent C programmer knows --- posthumous reviewers34Mikko
13 Mar 25   i iii  i i`* Re: Every sufficiently competent C programmer knows --- posthumous reviewers33olcott
13 Mar 25   i iii  i i +* Re: Every sufficiently competent C programmer knows --- posthumous reviewers3joes
14 Mar 25   i iii  i i i`* Re: Every sufficiently competent C programmer knows --- posthumous reviewers2olcott
14 Mar 25   i iii  i i i `- Re: Every sufficiently competent C programmer knows --- posthumous reviewers1Richard Damon
14 Mar 25   i iii  i i +- Re: Every sufficiently competent C programmer knows --- posthumous reviewers1Richard Damon
14 Mar 25   i iii  i i +- Re: Every sufficiently competent C programmer knows --- posthumous reviewers1Fred. Zwarts
14 Mar 25   i iii  i i +* Re: Every sufficiently competent C programmer knows --- posthumous reviewers23Mikko
14 Mar 25   i iii  i i i`* Re: Every sufficiently competent C programmer knows --- posthumous reviewers22olcott
14 Mar 25   i iii  i i i +- Re: Every sufficiently competent C programmer knows --- posthumous reviewers1Richard Damon
15 Mar 25   i iii  i i i `* Re: Every sufficiently competent C programmer knows --- posthumous reviewers20Mikko
15 Mar 25   i iii  i i i  `* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement19olcott
15 Mar 25   i iii  i i i   +* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement6dbush
16 Mar 25   i iii  i i i   i`* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement5olcott
16 Mar 25   i iii  i i i   i +* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement3dbush
16 Mar 25   i iii  i i i   i i`* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement2olcott
16 Mar 25   i iii  i i i   i i `- Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement1dbush
16 Mar 25   i iii  i i i   i `- Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement1Mikko
16 Mar 25   i iii  i i i   +- Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement1Mikko
16 Mar 25   i iii  i i i   +* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement5Richard Damon
16 Mar 25   i iii  i i i   i`* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement4olcott
16 Mar 25   i iii  i i i   i `* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement3Richard Damon
17 Mar 25   i iii  i i i   i  `* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement2olcott
17 Mar 25   i iii  i i i   i   `- Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement1Richard Damon
16 Mar 25   i iii  i i i   `* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement6joes
16 Mar 25   i iii  i i i    `* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement5olcott
16 Mar 25   i iii  i i i     `* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement4dbush
16 Mar 25   i iii  i i i      `* Re: Every sufficiently competent C programmer knows --- Paraphrase of Sipser's agreement3olcott
15 Mar 25   i iii  i i `* Re: Every sufficiently competent C programmer knows --- posthumous reviewers4Mikko
13 Mar 25   i iii  i `- Re: Every sufficiently competent C programmer knows --- posthumous reviewers1Fred. Zwarts
13 Mar 25   i iii  `- Re: Every sufficiently competent C programmer knows --- posthumous reviewers1Fred. Zwarts
13 Mar 25   i ii`* Re: Every sufficiently competent C programmer knows23Ben Bacarisse
12 Mar 25   i i`* Re: Every sufficiently competent C programmer knows3Mikko
11 Mar 25   i +* Re: Every sufficiently competent C programmer knows --- Stupid Mistake?2olcott
11 Mar 25   i +* Re: Every sufficiently competent C programmer knows --- Counter-Factual ERROR4olcott
12 Mar 25   i +* Re: Every sufficiently competent C programmer knows --- Very Stupid Mistake101olcott
12 Mar 25   i `* Re: Every sufficiently competent C programmer knows --- Mike's very stupid mistake93olcott
11 Mar 25   +* Re: Every sufficiently competent C programmer knows3Mikko
11 Mar 25   `* Re: Every sufficiently competent C programmer knows5Fred. Zwarts

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal