作者: Thomas Breuer , None
DOI: 10.1007/978-94-017-2012-0_6
关键词: Gödel 、 Quantum 、 Formal system 、 Measurement problem 、 Schrödinger equation 、 Von Neumann architecture 、 Mathematics 、 Calculus 、 Completeness (logic)
摘要: John von Neumann was among the first to learn about Kurt Godel’s results on incompleteness of formal systems. Did this shape his views completeness quantum mechanics? I will investigate question from two viewpoints: Neumann’s no-hidden-variables proof and treatment measurement problem.