Sujet : Re: DD correctly simulated by HH cannot possible halt --- Try to prove otherwise --- x86 DD
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theory sci.logicDate : 03. Jun 2024, 01:14:28
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3j1t4$3gm10$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 26 27 28 29 30 31 32 33
User-Agent : Mozilla Thunderbird
On 2/06/24 22:21, olcott wrote:
Just like every rock that weighs more than five pounds weighs
more that three pounds
When every DD correctly simulated by every HH that can possibly
exist DOESN'T HALT THEN NONE OF THEM HALT.
Just like every rock that weighs more than five pounds weighs more than three pounds.
Every non-ending simulation is a simulation of a non-ending execution.