constructive mathematics, realizability, computability
propositions as types, proofs as programs, computational trinitarianism
quantum algorithms:
In quantum computing and quantum information theory, an entangling gate is a quantum gate on a tensor product finite dimensional Hilbert space that can send tensor product quantum states to entangled quantum states.
Bremner et al. 2002 showed that adjoining any entangling 2-qbit gate to the set of 1-qbit gates yields a universal gate set.
Created on October 10, 2026 at 12:16:09. See the history of this page for a list of all contributions to it.