Liste des Groupes | Revenir à theory |
On 5/16/2025 3:52 AM, Mikko wrote:That is not necessary if someone has already shown it.On 2025-05-16 02:53:40 +0000, olcott said:If you say that I am in any way wrong
On 5/15/2025 2:37 AM, Mikko wrote:Not in the messages quoted above. Nothing else is relevant here.On 2025-05-15 01:30:08 +0000, olcott said:I asked you (not Flibble) to show exactly how the requirement
void DDD()Your HHH can use all information that Flibble's decider can. Flibble's
{
HHH(DDD);
return;
}
int main()
{
DDD();
}
If HHH cannot report on the behavior of its caller
because this is a ridiculous requirement then how
can HHH report on the direct execution of DDD()
(AKA its caller).
decider can determine and report that DDD halts.
that HHH report on the direct execution of DDD()
[that requires HHH to report on the behavior of its caller]
is not nonsense.
It does not make sense to ask me. You should just post questions
and read the responses. Maybe someone answers at least a part of
your question, maybe not.
you must show the mistake.
Les messages affichés proviennent d'usenet.