Liste des Groupes | Revenir à c theory |
On 2/24/2025 7:26 PM, dbush wrote:I'll let you respond to yourself here:On 2/24/2025 8:12 PM, olcott wrote:I will not discuss your code.On 2/24/2025 6:06 PM, dbush wrote:>On 2/24/2025 6:16 PM, olcott wrote:>On 2/24/2025 3:47 PM, dbush wrote:On 2/24/2025 4:26 PM, olcott wrote:
>>>>
HHH that aborts its simulation and a purely
hypothetical (imaginary never implemented)
HHH that never aborts its simulation.
>
>
Same thing. F aborts its (admittedly poor) simulation by breaking out of a recursive chain, and a hypothetical F that performs a correct unaborted simulation.
The simple fact that the hypothetical HHH would never
terminate conclusively proves that DD specifies behavior
that cannot possibly terminate normally.
And the simple fact that the hypothetical F would never terminate conclusively proves that no_numbers_greater_than_10 specifies behavior that cannot possibly terminate normally.
>
Agreed?
Les messages affichés proviennent d'usenet.