Sujet : Re: DDD correctly emulated by HHH cannot possibly halt
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 13. Jul 2024, 09:04:19
Autres entêtes
Organisation : -
Message-ID : <v6tce3$3gjff$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
User-Agent : Unison/2.2
On 2024-07-12 14:51:05 +0000, olcott said:
On 7/12/2024 8:02 AM, Fred. Zwarts wrote:
Op 12.jul.2024 om 14:08 schreef olcott:
when 1 to ∞ steps of DDD are correctly emulated in
the infinite set of every HHH/DDD pair and no DDD
halts then we can say that DDD DOES NOT HALT.
If 1 to ∞ steps are simulated by HHH and none of these simulations is correct, then none of the simulations is correct.
*Vacuous "truth" is a form of deception*
No, it is not. A vacuous truth is a truth. No truth is a deception.
-- Mikko
| 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 |