In this paper, we discuss the time evolution of the quantum mechanics formalism. Starting from the heroic beginnings of Heisenberg and Schrödinger, we cover successively the rigorous Hilbert space formulation of von Neumann, the practical bra-ket formalism of Dirac, and the more recent rigged Hilbert space approach.

中文翻译：

---

量子力学及其演化公式

在本文中，我们讨论了量子力学形式主义的时间演化。从海森堡和薛定谔的英雄开端开始，我们依次介绍了冯诺依曼的严格希尔伯特空间公式，狄拉克的实用布拉克形式主义，以及最近的操纵希尔伯特空间方法。