NunoSempere
No bio...
User ID: 1101
the previous ones would come back?
Here I'm just speculating, but there are frictions. You can't just boot up a relatively capital intensive business just like so?
- Prev
- Next
No bio...
User ID: 1101
the previous ones would come back?
Here I'm just speculating, but there are frictions. You can't just boot up a relatively capital intensive business just like so?
I don't follow your technical aside. Isn't the point of an isomorphism that all the isomorphisms are the same in the sense in which you are isomorphic?
I don't understand this example, because if you have A|B, A+A = A, B+B=B, but if A+B=A then A maps to true and if A+B=B then B maps to true.
But how? Like, what is the failure mode that you might get if you try to prove the correctness of a program for which this disquisition about isomorphisms is relevant?
More options
Context Copy link