Liste des Groupes | Revenir à theory |
On 2/24/2025 8:12 PM, olcott wrote:I will not discuss your code.On 2/24/2025 6:06 PM, dbush wrote: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.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.
Agreed?
Les messages affichés proviennent d'usenet.