Uncertainty Principle (Q7361728)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Uncertainty_Principle
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Uncertainty Principle |
AFP entry Uncertainty_Principle |
Statements
26 March 2024
0 references
Alexander Treml
0 references
Uncertainty Principle (English)
0 references
This is a formal proof of the uncertainty principle known from quantum mechanics. It is based upon work on complex vector spaces contained in the QHLProver session. The formalization follows the proof outlined in the book "Quantum computation and quantum information" by Nielsen and Chuang.
0 references
