Liste des Groupes | Revenir à theory |
Am Sat, 01 Jun 2024 13:44:21 -0500 schrieb olcott:Try carefully studying pages 4-5
On 6/1/2024 1:40 PM, Fred. Zwarts wrote:Op 01.jun.2024 om 18:24 schreef olcott:On 6/1/2024 11:19 AM, Fred. Zwarts wrote:Maybe. And H1 (DD,DD) would report that DD halts.Op 01.jun.2024 om 18:13 schreef olcott:>On 6/1/2024 10:56 AM, Richard Damon wrote:On 6/1/24 11:30 AM, 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.
>
>
>
In the recursive simulation by HH, neither the simulation of DD, nor
the simulation of HH halts. If one of them would halt, the other one
would halt as well.
>
So HH 'correctly' reports that both DD and HH do not halt, because they
both keep starting an instance of each other.In case you didn't know pure functions must halt because they mustThat means it terminates/returns, right? Then H is either not „pure”,
return a value.
or execution proceeds past line 4.
Les messages affichés proviennent d'usenet.