Liste des Groupes | Revenir à c theory |
On 29/05/2025 08:59, Mikko wrote:Yes, if I have already halted then I don't and needn't halt again.The usual meaning of halting is reaching a state where theSo if the computation /can/ be computed and /has/ been computed, you don't halt?
computation cannot be computed.
Surely that can't be what you meant to say?I meant cannot be computed further.
Les messages affichés proviennent d'usenet.