4 ms·
So extensionally equal simply means that there is a model with and without the effect such that extensionally, according to some model of observation, we cannot
by tel 12y ago
So extensionally equal simply means that there is a model with and without the effect such that extensionally, according to some model of observation, we cannot discern the existence of the effect?
So, laziness is benign in total fragments.
- jonsterling 12y agoI wasn't thinking about models, but perhaps you could? I just mean that you get the same results for equal inputs; laziness is fine in this respect (but not in the presence of some other effects).