Sujet : Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott, but it does.
De : richard (at) *nospam* damon-family.org (Richard Damon)
Groupes : comp.theoryDate : 11. Jul 2024, 02:37:58
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <7f9b731b2367a2bcf2883278ee5265d30a8f82d6@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
User-Agent : Mozilla Thunderbird
On 7/10/24 8:24 PM, olcott wrote:
On 7/10/2024 7:01 PM, Richard Damon wrote:
On 7/10/24 9:41 AM, olcott wrote:
On 7/10/2024 8:27 AM, joes wrote:
Am Tue, 09 Jul 2024 23:19:25 -0500 schrieb olcott:
On 7/9/2024 11:01 PM, joes wrote:
> That means that HHH doesn't return, in particular that it doesn't
> abort.
DDD correctly emulated by any pure function HHH that correctly emulates
1 to ∞ steps of DDD can't make it past the above line of code no matter
what.
That line being the call to itself -> it can't simulate itself.
>
*DDD NEVER HALTS*
DDD ONLY calls HHH...
>
>
void DDD()
{
HHH(DDD);
return;
}
>
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
>
>
>
Nope, DDD does if HHH(DDD) returns.
>
You have a dead cat in your driveway does not mean that
you have a peanut butter sandwich on your front porch.
It has taken you at least 1000 messages to see that.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
WRONG, you don't seem to understand the difference between DDD and HHH's emualtion of it.
DDD just runs to its end when you run it, or correctly emulate it (which HHH doesn't do since it aborts its emulation).
HHH only partially emulates its input and sees only part of the behavior, and then guess wrongly.
That you don't understand this shows you have major issues with the difference between reality and simulated reality.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
DDD correctly emulated by any pure function HHH that
correctly emulates 1 to ∞ lines of DDD can't make it
to the second line of DDD no matter what.
| Date | Sujet | # | | Auteur |
| 7 Jul 24 |  Sequence of sequence, selection and iteration matters | 133 | | olcott |
| 7 Jul 24 |  Re: Sequence of sequence, selection and iteration matters | 3 | | Richard Damon |
| 9 Jul 24 |   Re: Sequence of sequence, selection and iteration matters | 2 | | olcott |
| 10 Jul 24 |   Re: Sequence of sequence, selection and iteration matters | 1 | | Richard Damon |
| 8 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 129 | | Mikko |
| 8 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 128 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 46 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 45 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 40 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 39 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 38 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 12 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 11 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 10 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 9 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 8 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees to something different. | 7 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 6 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 5 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 4 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 3 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 2 | | olcott |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben proves that he agrees to my meanings | 1 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 15 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 14 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 4 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 3 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 2 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 9 | | Mikko |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 8 | | Richard Damon |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 7 | | Mikko |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 2 | | Richard Damon |
| 11 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | Mikko |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 4 | | olcott |
| 11 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | Richard Damon |
| 11 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 2 | | Mikko |
| 11 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 10 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 9 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 8 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 7 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 2 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 1 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 4 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 3 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 2 | | olcott |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees (typo corrected) | 1 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 4 | | Mikko |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 3 | | olcott |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | Richard Damon |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- Ben agrees | 1 | | Mikko |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 81 | | Mikko |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 80 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 77 | | Fred. Zwarts |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 76 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 74 | | Fred. Zwarts |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 73 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 68 | | Fred. Zwarts |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 67 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | joes |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 64 | | Fred. Zwarts |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 61 | | olcott |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 31 | | joes |
| 10 Jul 24 | DDD correctly emulated by HHH cannot possibly halt | 30 | | olcott |
| 10 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 29 | | joes |
| 10 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 28 | | olcott |
| 11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 27 | | Richard Damon |
| 11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 26 | | olcott |
| 11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott, but it does. | 25 | | Richard Damon |
| 11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott, but it does. | 24 | | olcott |
| 11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt, thinks olcott, but it does. | 23 | | Richard Damon |
| 11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 22 | | olcott |
| 11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 21 | | Richard Damon |
| 11 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 20 | | olcott |
| 12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 19 | | Richard Damon |
| 12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 18 | | olcott |
| 12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 17 | | Richard Damon |
| 12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 16 | | olcott |
| 12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 10 | | joes |
| 12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 9 | | olcott |
| 12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 4 | | Fred. Zwarts |
| 12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 3 | | olcott |
| 12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | Fred. Zwarts |
| 13 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | Mikko |
| 13 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | Richard Damon |
| 14 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 3 | | joes |
| 14 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 2 | | olcott |
| 14 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | Richard Damon |
| 12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt Because HHH that correctly simulates does not Halt | 5 | | Richard Damon |
| 12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 4 | | olcott |
| 12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | Fred. Zwarts |
| 12 Jul 24 | Re: DDD correctly emulated by HHH cannot possibly halt | 1 | | joes |
| 13 Jul 24 | Re: DDD correctly but partially emulated by HHH cannot possibly be seen to halt by HHH, but do halt | 1 | | Richard Damon |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 29 | | Fred. Zwarts |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 28 | | olcott |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 27 | | Fred. Zwarts |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 26 | | olcott |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 25 | | Fred. Zwarts |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 24 | | olcott |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 3 | | Fred. Zwarts |
| 11 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 20 | | Mikko |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters ---clarification | 1 | | olcott |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters --- one more freaking time | 1 | | olcott |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Richard Damon |
| 9 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 3 | | joes |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Richard Damon |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Richard Damon |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Richard Damon |
| 10 Jul 24 | Re: Sequence of sequence, selection and iteration matters | 1 | | Mikko |