The Kochen - Specker Theorem in Quantum Mechanics

Gleason, A. 1957. Measures on the Closed Subspaces of a Hilbert Space. ‒ Journal of Mathematics and Mechanics. Vol. 6, No 6, 885-893 (books.google.com).

Groenewold, H. 1946. On the principles of elementary quantum mechanics. – Physica. Vol. 12, No 7 (October 1946), 405-460.

Hermann, G. 1935. The circularity in von Neumann's proof. (Translation by Michiel Seevinck of "Der Zirkel in NEUMANNs Beweis", section 7 from the essay by Grete Hermann, Die Naturphilosophischen Grundlagen de Quantenmechanik. Abhandlungen der fries'schen Schule, 6, 1935.) ‒ http://www.phys.uu.nl/igg/seevinck/trans.pdf ).

McLarty, C. 2010. What does it take to prove Fermat’s last theorem. Grothendieck and the logic of number theory. – The Bulletin of Symbolic Logic. Vol. 16, No 3, 359-377. (http://www.cwru.edu/ artsci/phil/Proving_FLT.pdf ).

Moyal, J. 1949. Quantum mechanics as a statistical theory. – Proceedings of the Cambridge Philosophical Society. Vol. 45, No 1, 99-124. – http://epress.anu.edu.au/maverick/ mobile_devices/apc.html .

Neumann, J. von. 1932. Mathematische Grundlagen der Quantenmechanik. Berlin: Verlag von Julius Springer (http://www.calameo.com/read/000187019bb347837a6bf ). In English: J. von Neumann. 1955. Mathematical Foundations of Quantum Mechanics. Princeton: University Press. In Russian: Й. фон Нейман. 1964. Математические основы квантовой механики. Москва: „Наука”.

Peter, F., H. Weyl. 1927. Die Vollständigkeit der primitiven Darstellungen einer geschlossenen kontinuierlichen Gruppe. − Mathematische Annalen. Vol. 97, No 1, 737–755.

Reichenbach, H. 1975. Three-valued logic and the interpretation of quantum mechanics. − In: C. Hooker (ed.) The Logico-Algebraic Approach in Quantum mechanics. Vol. 1. Historical Evolution.

Dordrecht: D. Reidel, 53-97.

Riesz, F. 1907. Sur une espèce de géométrie analytiques des systèmes de fonctions sommables. – Comptes rendus de l'Académie des sciences. Paris. T. 144, 1409–1411.

Schrödinger, E. 1935. Die gegenwärtige situation in der Quantenmechanik. – Die Naturwissenschaften, Bd. 48, 807-812; Bd. 49, 823-828, Bd. 50, 844-849. (In English: http://www.tu-harburg.de/rzt/rzt/it/QM/cat.html; превод на руски: Шредингер, Э. 1971. Современное положение в квантовой механике. – В: Э. Шредингер. Новые путы в физике. Москва: „Наука”, 1971, 66-106.)

Specker, E. 1975. The logic of propositions which are not simultaneously decidable. – In: C. Hooker (ed.) The Logico-Algebraic Approach in Quantum mechanics. Vol. 1. Historical Evolution.

Dordrecht: D. Reidel, 135-140 (books.google.com).

Taylor R., A., Wiles. 1995. Ring theoretic properties of certain Hecke algebras. − Annals of Mathematics. Vol. 141, No 3 (May, 1995), 553–572 ( http://www.math.harvard.edu/~rtaylor/hecke.ps ).

Weyl, H. 1927. Quantenmechanik und Gruppentheorie. – Zeitschrift für Physik. Vol. 46, No 1-2, 1-46. (H. Weyl. Gesammelte Abhandlungen. B. III. Berlin – Heidelberg – New York: Springer.)

Wigner, E. 1932. On the quantum correction for thermodynamic equilibrium. – Physical Review.

Vol. 40, No 5 (June 1932), 749-759.

Wiles, A. 1995. Modular eliptic curves and Fermat’s Last Theorem. – Annals of Mathematics. Vol. 141, No 3 (May, 1995) 443-551. (http://www.math.virginia.edu/~lls2l/modular_elliptic_curves _by_wiles.pdf ; http://math.stanford.edu/~lekheng/flt/wiles.pdf ). Дмитриев, Н. 2005. Теорема фон Неймана о невозможности введения в квантовую механику скритых параметров. ‒ Теоретическая и математическая физика. Т. 143, No 3, 431-436.

20