User:Boris Tsirelson/Sandbox1: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Boris Tsirelson
No edit summary
No edit summary
 
(432 intermediate revisions by one other user not shown)
Line 1: Line 1:
{{Image|Isabelle1.png|right|350px|The graphical user interface started.}}
{{AccountNotLive}}
The [[Heisenberg Uncertainty Principle|Heisenberg uncertainty principle]] for a particle does not allow a state in which the particle is simultaneously at a definite location and has also a definite momentum. Instead the particle has a range of momentum and spread in location attributable to quantum fluctuations.


{{Image|Isabelle2.png|right|350px|The source file is read.}}
An uncertainty principle applies to most of quantum mechanical operators that do not commute (specifically, to every pair of operators whose commutator is a non-zero scalar operator).
 
{{Image|Isabelle3.png|right|350px|Definitions are processed; the formulation of the first lemma is being processed.}}
 
{{Image|Isabelle4.png|right|350px|The formulation of the first lemma is processed; the goal is pending.}}
 
{{Image|Isabelle5.png|right|350px|At last, a really serious lemma.}}
 
{{Image|Isabelle6.png|right|350px|The goal.}}
 
{{Image|Isabelle7.png|right|350px|"We have", why?}}
 
{{Image|Isabelle8.png|right|350px|Here is why!}}
 
{{Image|Isabelle9.png|right|350px|Really complicated arguments...}}
 
{{Image|Isabelle10.png|right|350px|Happy end is coming.}}
 
{{Image|Isabelle11.png|right|350px|The theorem is proved.}}
 
{{Image|Isabelle12.png|right|350px|Add image caption here.}}
 
{{Image|Isabelle13.png|right|350px|Add image caption here.}}
 
{{Image|Isabelle14.png|right|350px|Add image caption here.}}
 
{{Image|Isabelle15.png|right|350px|Add image caption here.}}

Latest revision as of 03:25, 22 November 2023


The account of this former contributor was not re-activated after the server upgrade of March 2022.


The Heisenberg uncertainty principle for a particle does not allow a state in which the particle is simultaneously at a definite location and has also a definite momentum. Instead the particle has a range of momentum and spread in location attributable to quantum fluctuations.

An uncertainty principle applies to most of quantum mechanical operators that do not commute (specifically, to every pair of operators whose commutator is a non-zero scalar operator).