Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeJan 7th 2014

    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.

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMar 5th 2014

    expanded just a tad more at no-cloning theorem

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeNov 13th 2022
    • (edited Nov 13th 2022)

    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:

    1. that the impossibility of “clonging” hinges on its naturality

    2. 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

    diff, v8, current

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeFeb 23rd 2023

    added the reference which is being credited with introducing the “no-deleting theorem”:

    diff, v9, current