First rigorous formulation supporting Heisenberg's famous 1927 principle | Hacker News Reader