Quantum programming
As we know, old computers work according to the rules of Boolean logic and classical set theory . On the other hand there is a discussion about quantum computers nowadays. If we accept that (the hardware of ) these computers work according to the rules of quantum mechanics (QM), is it plausible that their software must obey the rules of quantum logic and mathematical description of QM (like c*-algebras)? It is wellknown that the distributive law of intersection over union fails in QM though there are some rules in lattice theory which are true in both Boolean and quantum logics.
Do we need to rethink about computer programming or at least in the ways we interact with quantum machines of future?
Can we say that the future programmers or software developers of such machines need some basic skills in mathematical theory of QM like c-*algebras? What would be the role of such mathematics in quantum computers?