Sujet : Re: DDD correctly emulated by HHH cannot possibly halt
De : noreply (at) *nospam* example.org (joes)
Groupes : comp.theoryDate : 10. Jul 2024, 14:27:12
Autres entêtes
Organisation : i2pn2 (i2pn.org)
Message-ID : <a267bfdf93c6fc179d09a3f62f25003f033aaff1@i2pn2.org>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
User-Agent : Pan/0.145 (Duplicitous mercenary valetism; d7e168a git.gnome.org/pan2)
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...
-- Am Fri, 28 Jun 2024 16:52:17 -0500 schrieb olcott:Objectively I am a genius.
| 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 |