Logic of reversible automata (Q1586486)

In the orthodox interpretation of quantum mechanics, we have reversible evolution (following Schrödinger's equations) and irreversible measurements. The separation between reversible evolution and irreversible measurement process is one of the bases for quantum logics. Some physicists have argued, however, that since the measuring instrument is also a physical device, all the physical processes involved in a measurement should follow the same Schrödinger equations and thus, should also be reversible. According to this viewpoint, the illusion of irreversibility comes from the fact that when we analyze the measurement procedure, we only consider the state of the measured particle; if we consider the state of the entire system ``particle + measuring instrument'', we should get a reversible operation. The author discusses how quantum logic (and, more generally, the logic of quantum measurements and quantum computing) will change if we assume that only reversible operations are physically possible.