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:54:52
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v3fqps$2tc3s$6@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 18:22, olcott wrote:
HH correctly reports that because DD calls HH(DD,DD) in
recursive simulation that DD never halts.
HHH(HH,DD,DD) would report that HH halts.
What happens after HH halts?