Re: Every sufficiently competent C programmer knows --- Very Stupid Mistake

Liste des GroupesRevenir à c theory 
Sujet : Re: Every sufficiently competent C programmer knows --- Very Stupid Mistake
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theory
Date : 12. Mar 2025, 02:41:10
Autres entêtes
Organisation : Fix this later
Message-ID : <vqqonm$28lh2$1@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
On 12/03/2025 01:22, olcott wrote:
DDD correctly simulated by HHH never reaches its
own "return" instruction and terminates normally
in any finite or infinite number of correctly
simulated steps.
If it correctly simulates infinitely many steps, it doesn't terminate. Look up "infinite".
But your task is to decide for /any/ program, not just DDD. That, as you are so fond of saying, is 'stipulated', and you can't get out of it. The whole point of the Entscheidungsproblem is its universality. Ignore that, and you have nothing.
--
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
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