akhmeteli said:
Standard quantum theory (SQT) contains both unitary evolution and the projection postulate (or some analog of it). These two components of SQT are mutually contradictory, as, e.g., unitary evolution cannot produce irreversibility or turn a pure state into a mixture, whereas the projection postulate does just that. This contradiction was known as the notorious problem of quantum measurements long before I was born, so don't blame me. Von Neumann said that unitary evolution is correct only between measurements, whereas the projection postulate is only correct during measurements, but why does not unitary evolution hold during measurements for the larger system containing the system under measurement, the instrument, and the observer, if you wish?
What do you mean by "projection postulate"? If you mean the "collapse hypothesis" of some flavors of the Copenhagen interpretation, that's part of the interpretation not the formalism. It's not needed at all to apply quantum theory correctly. For this it's sufficient to use the Minimal Statistical Interpretation, and that's how it is used in practice always.
The postulates are (no intent of mathematical rigor implied)
(1) A quantum system is discribed on (rigged) Hilbert space with a set of self-adjoint operators describing the observables of the system. The possible outcome of (ideal) measurements of an observable are given by the spectrum of the self-adjoint operators.
(2) The state of a quantum system is described by a self-adjoint positive semidefinite trace-1 operator \hat{R}. The expectation value of an observable, defined as ensemble averages of independently prepared systems in this state are given by
\langle A \rangle=\mathrm{Tr}(\hat{R} \hat{A}),
where \hat{A} is the operator representing the observable A.
(3) A set of observables A_i (i \in \{1,2,\ldots,n \}) are called compatible if all representing operators commute among each other, [\hat{A}_i,\hat{A}_j]=0. Such a set of compatible operators are called complete if the common (generalized) eigenspaces are one-dimensional. They are called independent, if no observable can be written as a function of the other observables.
(4) If a system is prepared in the state \hat{R} and |a_1,\ldots,a_n \rangle denotes the (generalized) common eigenvectors of a complete set of compatible independent operator, the probability (density) to measure the corresponding values when measuring the this set of observables is given by
P(a_1,\ldots,a_n|R)=\langle a_1,\ldots,a_n|\hat{R}|a_1,\ldots,a_n \rangle.
This is Born's Rule.
(5) There exists an self-adjoint operator \hat{H}, that is bounded from below and refers to the total energy as an observable. It determines the dynamical time evolution of the system in the way that if \hat{A} represents a (not explicitly) time dependent observable A then
\mathrm{D}_t \hat{A}:=\frac{1}{\hbar \mathrm{i}} [\hat{A},\hat{H}]
represents the time derivative \dot{A} of the observable A.
(6) The Statistical operator is generally explicitly time dependent and obeys the von Neumann equation of motion
\partial_t \hat{R}+\frac{1}{\mathrm{i} \hbar} [\hat{R},\hat{H}]=0.