Classical mechanics' answer to the commutator -- same algebra, different century. The rhyme between them is why a deterministic flow can wear quantum clothes.
Here is the problem, from the classical side. You want one machine that answers: how fast does ANY quantity change as a system moves? Not just position or momentum -- energy, angular momentum, anything.
The Poisson bracket is that machine. Feed it your quantity and the total energy; out comes the rate of change. All of classical dynamics compresses into one line: change equals bracket with the energy.
The astonishment came a century later. The quantum commutator -- the order-of- operations mismatch -- obeys exactly the same algebraic laws: antisymmetry, the product rule, the Jacobi identity. Dirac spotted the rhyme within months of quantum mechanics existing and made it the quantisation recipe: keep the algebra, swap the bracket. Two theories, one grammar.
For CSD the rhyme is not a curiosity -- it is the load-bearing wall. The programme's ontic side is a deterministic Hamiltonian-style flow; its epistemic side is operator dynamics with commutators. The claim that these are two descriptions of ONE thing, rather than an analogy, stands on the two brackets sharing their algebra.
Honest scope: the corpus's formal content here is at the pointwise and volume level -- the Kahler compatibility, the measure invariance. The full symplectic-manifold story is beyond the proof assistant's current libraries and is recorded as a gap, not glossed as done.
The bilinear antisymmetric bracket on phase-space functions induced by the symplectic form; satisfies Jacobi; generates Hamiltonian flow via f-dot equals bracket of f with H. Its algebraic agreement with the commutator underwrites Dirac's quantisation dictionary. In the corpus: pointwise Kahler compatibility and measure invariance are formal; manifold-level symplectic geometry is a recorded gap.
Simeon Denis Poisson (1781-1840) was born at Pithiviers, arrived at the Ecole Polytechnique in 1798, and was immediately marked by Laplace and Lagrange as the coming man. He stayed within the Paris institutions all his life and put his name on more mathematics than almost anyone: the distribution, the equation, the ratio, the bracket -- the last from an 1809 memoir on planetary perturbation.
The distribution, now everywhere, debuted in a book about the probability of criminal verdicts and was ignored for half a century. He was also, as an examiner, one of the officials who failed to recognise Galois -- a reminder that even the great ones grade badly.
Source links are pinned to a commit, so they do not drift. The anchors above are checked mechanically against the Lean tree on every build. The mathematics is not, and cannot be: that is a human responsibility and it rests with the author.
Part of Constraint-Surface Dynamics · Formalised in csd-lean4.
Google Analytics counts visits to this page, which stores cookies in your browser. They record how the page was reached, not who you are, and nothing is passed on. Blocking cookies for this site breaks nothing here. Details.