I’m not sure if order preservation is necessarily required; think of permutations vs combinations. First order logic is order preserving but I don’t think second order logic necessitates order preservation, which adds function at the expense of a certain precision

I’m not sure if order preservation is necessarily required; think of permutations vs combinations. First order logic is order preserving but I don’t think second order logic necessitates order preservation, which adds function at the expense of a certain precision

In the case of a computer simulation, I think the “loss of order preservation” is pushed back to the level of “HOW DO WE KNOW WHO TURNED ON THE COMPUTER?” and whatever happens on the computer CAN have your cake and eat it too.
I see it as similar to “big bang”: pushing all the unknowns into a little nugget and pretending it’s not there most of the time in order to focus on other things
 [because once you’re dealing with ranges over sets, in a set, order is not preserves] and so, a minor loss of acuity at a gain of far more expressive movements
 [in the case of computing; the computing systems are treated “as if” they are thermodynamically closed environments

But this doesn’t make the task EASIER – it may still not be possible to achieve within that environment – but there’s a far better shot than “out here”.\==\

[responsivevoice_button voice="US English Male"]

Leave a comment

Your email address will not be published. Required fields are marked *


− two = 4

Leave a Reply