Sujet : Re: Two dozen people were simply wrong --- Try to prove otherwise --- pinned down
De : news (at) *nospam* immibis.com (immibis)
Groupes : comp.theory sci.logicDate : 01. Jun 2024, 19:58:50
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3fr1a$2tc3s$8@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 1/06/24 20:46, olcott wrote:
*Changing the subject away from this is construed as a head game*
DD correctly simulated by pure function HH cannot possibly reach
past its own line 03 in any finite number of steps of correct
simulation.
after HH halts then DD reaches the next line