Re: What it would take... People to address my points with reasoning instead of rhetoric

Liste des GroupesRevenir à c theory 
Sujet : Re: What it would take... People to address my points with reasoning instead of rhetoric
De : rjh (at) *nospam* cpax.org.uk (Richard Heathfield)
Groupes : comp.theory
Date : 13. May 2025, 19:00:33
Autres entêtes
Organisation : Fix this later
Message-ID : <10001c3$1v9nn$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13
User-Agent : Mozilla Thunderbird
On 13/05/2025 18:12, dbush wrote:
On 5/13/2025 1:06 PM, Richard Heathfield wrote:
On 13/05/2025 17:21, dbush wrote:
On 5/13/2025 12:01 PM, olcott wrote:
>
<snip>
>
The actual reasoning why HHH is supposed to report
on the behavior of the direct execution of DD()
instead of the actual behavior that the finite
string of DD specifies:
>
Quite simply, it's the behavior of the direct execution that we want to know about.
>
Why?
>
DDD doesn't do anything interesting.
 I wasn't referring to DDD specifically, but in general.
 He's claiming *in general* that H(X) is supposed to report on "X simulated by H" instead of the direct execution of X,
...where the former is obviously less interesting than the latter. Fair enough.
<snip>
--
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
10 May 25 * What it would take...143Richard Heathfield
10 May 25 +* Re: What it would take...10Richard Damon
10 May 25 i+* Re: What it would take...2Richard Damon
10 May 25 ii`- Re: What it would take...1Richard Damon
10 May 25 i`* Re: What it would take...7olcott
10 May 25 i +- Re: What it would take...1Fred. Zwarts
10 May 25 i `* Re: What it would take...5wij
10 May 25 i  `* Re: What it would take...4olcott
10 May 25 i   +* Re: What it would take...2olcott
10 May 25 i   i`- Re: What it would take...1Richard Damon
11 May 25 i   `- Re: What it would take...1Mikko
12 May 25 +* Re: What it would take...130Ben Bacarisse
12 May 25 i+* Re: What it would take...121Richard Heathfield
13 May 25 ii+* Re: What it would take...118Ben Bacarisse
13 May 25 iii+* Re: What it would take... TO GET MY REVIEWERS TO PAY COMPLETE ATTENTION?4olcott
13 May 25 iiii+- Re: What it would take... TO GET MY REVIEWERS TO PAY COMPLETE ATTENTION?1dbush
13 May 25 iiii+- Re: What it would take... TO GET MY REVIEWERS TO PAY COMPLETE ATTENTION?1Richard Damon
13 May 25 iiii`- Re: What it would take... TO GET MY REVIEWERS TO PAY COMPLETE ATTENTION?1Mikko
13 May 25 iii+* Re: What it would take...16Richard Heathfield
13 May 25 iiii`* How the requirements that Professor Sipser agreed to are exactly met15olcott
13 May 25 iiii +* Re: How the requirements that Professor Sipser agreed to are exactly met8Richard Heathfield
13 May 25 iiii i`* Re: How the requirements that Professor Sipser agreed to are exactly met7olcott
13 May 25 iiii i +- Re: How the requirements that Professor Sipser agreed to are exactly met1dbush
13 May 25 iiii i +- Re: How the requirements that Professor Sipser agreed to are exactly met1Richard Heathfield
13 May 25 iiii i +* Re: How the requirements that Professor Sipser agreed to are exactly met3Richard Damon
13 May 25 iiii i i`* Re: How the requirements that Professor Sipser agreed to are exactly met2olcott
13 May 25 iiii i i `- Re: How the requirements that Professor Sipser agreed to are exactly met1Richard Damon
13 May 25 iiii i `- Re: How the requirements that Professor Sipser agreed to are exactly met1Mikko
13 May 25 iiii +* Re: How the requirements that Professor Sipser agreed to are exactly met5Richard Damon
13 May 25 iiii i`* Re: How the requirements that Professor Sipser agreed to are exactly met4olcott
13 May 25 iiii i `* Re: How the requirements that Professor Sipser agreed to are exactly met3Richard Damon
14 May 25 iiii i  `* Re: How the requirements that Professor Sipser agreed to are exactly met2olcott
14 May 25 iiii i   `- Re: How the requirements that Professor Sipser agreed to are exactly met1Richard Damon
13 May 25 iiii `- Re: How the requirements that Professor Sipser agreed to are exactly met1Fred. Zwarts
13 May 25 iii`* Re: What it would take...97Mike Terry
13 May 25 iii +- Re: What it would take...1Richard Heathfield
13 May 25 iii +* Re: What it would take...8olcott
13 May 25 iii i+* Re: What it would take...5Richard Heathfield
13 May 25 iii ii+* Re: What it would take...2olcott
13 May 25 iii iii`- Re: What it would take...1Richard Damon
13 May 25 iii ii`* Re: What it would take...2olcott
13 May 25 iii ii `- Re: What it would take...1Richard Damon
13 May 25 iii i+- Re: What it would take...1Richard Damon
13 May 25 iii i`- Re: What it would take...1Mikko
13 May 25 iii `* Re: What it would take...87André G. Isaak
13 May 25 iii  `* Re: What it would take...86olcott
13 May 25 iii   `* Re: What it would take...85Fred. Zwarts
13 May 25 iii    `* Re: What it would take...84Mike Terry
13 May 25 iii     `* Re: What it would take... People to address my points with reasoning instead of rhetoric83olcott
13 May 25 iii      +* Re: What it would take... People to address my points with reasoning instead of rhetoric74dbush
13 May 25 iii      i+* Re: What it would take... People to address my points with reasoning instead of rhetoric52olcott
13 May 25 iii      ii+* Re: What it would take... People to address my points with reasoning instead of rhetoric50dbush
13 May 25 iii      iii`* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP49olcott
14 May 25 iii      iii +* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP47dbush
14 May 25 iii      iii i`* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP46olcott
14 May 25 iii      iii i +* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP44dbush
14 May 25 iii      iii i i`* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP43olcott
14 May 25 iii      iii i i `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP42dbush
14 May 25 iii      iii i i  `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP41olcott
14 May 25 iii      iii i i   `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP40dbush
14 May 25 iii      iii i i    `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP39olcott
14 May 25 iii      iii i i     `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP38dbush
14 May 25 iii      iii i i      `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP37olcott
14 May 25 iii      iii i i       `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP36dbush
14 May 25 iii      iii i i        `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP35olcott
14 May 25 iii      iii i i         +* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP6dbush
14 May 25 iii      iii i i         i`* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP5olcott
14 May 25 iii      iii i i         i +* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP3Fred. Zwarts
14 May 25 iii      iii i i         i i`* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP2olcott
14 May 25 iii      iii i i         i i `- Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP1dbush
14 May 25 iii      iii i i         i `- Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP1dbush
14 May 25 iii      iii i i         `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP28Richard Heathfield
14 May 25 iii      iii i i          `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP27olcott
14 May 25 iii      iii i i           `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP26Richard Heathfield
14 May 25 iii      iii i i            `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP25olcott
14 May 25 iii      iii i i             `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP24Richard Heathfield
14 May 25 iii      iii i i              `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP23olcott
14 May 25 iii      iii i i               +* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP21Richard Heathfield
14 May 25 iii      iii i i               i`* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP20olcott
14 May 25 iii      iii i i               i +* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP18Richard Heathfield
14 May 25 iii      iii i i               i i`* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP17olcott
14 May 25 iii      iii i i               i i +* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP11Richard Heathfield
14 May 25 iii      iii i i               i i i`* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP10olcott
14 May 25 iii      iii i i               i i i +* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP8Richard Heathfield
14 May 25 iii      iii i i               i i i i`* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP7olcott
14 May 25 iii      iii i i               i i i i `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP6Richard Heathfield
14 May 25 iii      iii i i               i i i i  `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP5olcott
14 May 25 iii      iii i i               i i i i   `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP4dbush
14 May 25 iii      iii i i               i i i i    `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP3olcott
15 May 25 iii      iii i i               i i i i     `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP2Fred. Zwarts
16 May 25 iii      iii i i               i i i i      `- Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP1olcott
14 May 25 iii      iii i i               i i i `- Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP1dbush
16 May 25 iii      iii i i               i i `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP5joes
16 May 25 iii      iii i i               i i  `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP4olcott
16 May 25 iii      iii i i               i i   `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP3Richard Damon
16 May 25 iii      iii i i               i i    `* Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP2olcott
16 May 25 iii      iii i i               i i     `- Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP1Richard Damon
14 May 25 iii      iii i i               i `- Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP1joes
14 May 25 iii      iii i i               `- Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP1joes
14 May 25 iii      iii i `- Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP1Richard Damon
14 May 25 iii      iii `- Re: What it would take... People to address my points with reasoning instead of rhetoric -- RP1Richard Damon
14 May 25 iii      ii`- Re: What it would take... People to address my points with reasoning instead of rhetoric1Richard Damon
13 May 25 iii      i`* Re: What it would take... People to address my points with reasoning instead of rhetoric21Richard Heathfield
13 May 25 iii      +* Re: What it would take... People to address my points with reasoning instead of rhetoric7olcott
13 May 25 iii      `- Re: What it would take... People to address my points with reasoning instead of rhetoric1Richard Damon
13 May 25 ii`* Re: What it would take...2Mike Terry
12 May 25 i`* Re: What it would take...8Andy Walker
12 May 25 `* Re: What it would take...2olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal