Liste des Groupes | Revenir à theory |
On 29/05/2025 21:40, olcott wrote:*WE CAN STAY ON THIS ONE POINT FOREVER IF YOU LIKE*On 5/29/2025 3:34 PM, Richard Heathfield wrote:No, in oh so many ways.On 29/05/2025 21:00, olcott wrote:>A simulating termination analyzer must PREDICT FUTURE BEHAVIOR.
This means that it must
correctly
>predict what the behavior WOULD BE if>it never aborted its simulation.>
It must not only predict, but predict *correctly*.
>
So we agree now?
If you cast your mind back to all the points I raised that you either didn't answer at all or replied with your usual copy-paste drivel, those are the ways in which we still disagree.
Probably not more than a few hundred.
Les messages affichés proviennent d'usenet.