Dirac del argumento está en las páginas 85-86, y dice así:
el clásico de Poisson soporte obedece a las reglas
$$\{A,B\} = -\{B,A\}$$
$$\{aA + bB ,C\} = a\{ A,C\} + b\{B,C\} $$
$$\{AB,C\} = A{B,C} + \{B,C\}A $$
$$\{\{A,B\},C\} = \{B,\{A,C\}\} - \{A,\{B,C\}\}$$
Donde he reescrito la identidad de Jacobi en la manera que tiene sentido. Ahora Dirac le pregunta si usted puede definir una cosa para noncommuting objetos cuánticos, y señala que se puede, si
$$ i\hbar [A,B] = (AB - BA) $$
Donde $\hbar$ es una proporcionalidad contexto, fijado por el análisis dimensional, mientras que el yo está ahí para hacer la distribución de Poisson Soporte analógico Hermitian, como observables deben ser por convención (la anticommutator es anti-Hermitian).
Se deduce esto mediante la ampliación del colector: $[AB,CD]$ el uso de las reglas formales de arriba como axiomas, en dos formas diferentes. A partir de este, se encuentra con que
$$ [A,C](BD - DB) = (AC-CA)[B,D]$$
En la teoría clásica, esto da $0=0$, pero en QM, las características observables no conmutan, por lo que se aprende debe identificar los conmutadores como el quantum análogos de los corchetes de Poisson. Luego argumenta que $\hbar$ viajes con todo, y por lo tanto que las relaciones de conmutación debe mantener, y a partir de ahí deduce que la imagen de Schrödinger está disponible.
El argumento es sencillo, y no es históricamente exacta. Por Heisenberg el argumento original (o algo muy parecido) véase Wikipedia, la Mecánica Matricial de la página.