Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
created a stub for no-cloning theorem.
For the moment what I wanted to highlight is that under the identification of linear logic as quantum logic it is this theorem which is the “linearity” of the logic.
expanded just a tad more at no-cloning theorem
I have re-arraged material a little, in an attempt to disentangle the elementary explanations from the category-theoretic explanations.
Then I have added a non-short remark (now here) which emphasizes:
that the impossibility of “clonging” hinges on its naturality
that the cloneability of a fixed linear basis of a fixed state space can be enforced and is tantamount to making these select states become classical in some sense that can be made precise
added the reference which is being credited with introducing the “no-deleting theorem”:
1 to 4 of 4