Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

The Kochen - Specker theorem in quantum mechanics: a philosophical comment (part 1)

Vasil Dinev Penchev

Published Jan 1, 2013• 0 citations
OpenAlex

Abstract

Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing machine – Is continuality universal? – Diffeomorphism and velocity – Einstein’s general principle of relativity – „Mach’s principle“ – The Skolemian relativity of the discrete and the continuous – The counterexample in § 6 of their paper – About the classical tautology which is untrue being replaced by the statements about commeasurable quantum-mechanical quantities – Logical hidden parameters – The undecidability of the hypothesis about hidden parameters – Wigner’s work and и Weyl’s previous one – Lie groups, representations, and psi-function – From a qualitative to a quantitative expression of relativity − psi-function, or the discrete by the random – Bartlett’s approach − psi-function as the characteristic function of random quantity – Discrete and/ or continual description – Quantity and its “digitalized projection“ – The idea of „velocity−probability“ – The notion of probability and the light speed postulate – Generalized probability and its physical interpretation – A quantum description of macro-world – The period of the as-sociated de Broglie wave and the length of now – Causality equivalently replaced by chance – The philosophy of quantum information and religion – Einstein’s thesis about “the consubstantiality of inertia ant weight“ – Again about the interpretation of complex velocity – The speed of time – Newton’s law of inertia and Lagrange’s formulation of mechanics – Force and effect – The theory of tachyons and general relativity – Riesz’s representation theorem – The notion of covariant world line – Encoding a world line by psi-function – Spacetime and qubit − psi-function by qubits – About the physical interpretation of both the complex axes of a qubit – The interpretation of the self-adjoint operators components – The world line of an arbitrary quantity – The invariance of the physical laws towards quantum object and apparatus – Hilbert space and that of Minkowski – The relationship between the coefficients of -function and the qubits – World line = psi-function + self-adjoint operator – Reality and description – Does a „curved“ Hilbert space exist? – The axiom of choice, or when is possible a flattening of Hilbert space? – But why not to flatten also pseudo-Riemannian space? – The commutator of conjugate quantities – Relative mass – The strokes of self-movement and its philosophical interpretation – The self-perfection of the universe – The generalization of quantity in quantum physics – An analogy of the Feynman formalism – Feynman and many-world interpretation – The psi-function of various objects – Countable and uncountable basis – Generalized continuum and arithmetization – Field and entanglement – Function as coding – The idea of „curved“ Descartes product – The environment of a function – Another view to the notion of velocity-probability – Reality and description – Hilbert space as a model both of object and description – The notion of holistic logic – Physical quantity as the information about it – Cross-temporal correlations – The forecasting of future – Description in separable and inseparable Hilbert space – „Forces“ or „miracles“ – Velocity or time – The notion of non-finite set – Dasein or Dazeit – The trajectory of the whole – Ontological and onto-theological difference – An analogy of the Feynman and many-world interpretation − psi-function as physical quantity – Things in the world and instances in time – The generation of the physi-cal by mathematical – The generalized notion of observer – Subjective or objective probability – Energy as the change of probability per the unite of time – The generalized principle of least action from a new view-point – The exception of two dimensions and Fermat’s last theorem

Related papers

The Kochen - Specker theorem in quantum mechanics: a philosophical comment (part 1)

Vasil Pemchev

The text is a continuation of the article of the same name published in the previous issue of Philosophical Alternatives. The philosophical interpretations of the Kochen- Specker theorem (1967) are considered. Einstein's principle regarding the,consubstantiality of inertia and gravity" (1918) allows of a parallel between descriptions of a physical micro-entity in relation to the macro-apparatus on the one hand, and of physical macro-entities in relation to the astronomical mega-entities on the other. The Bohmian interpretation ( 1952) of quantum mechanics proposes that all quantum systems be interpreted as dissipative ones and that the theorem be thus derstood. The conclusion is that the continual representation, by force or (gravitational) field between parts interacting by means of it, of a system is equivalent to their mutual entanglement if representation is discrete. Gravity (force field) and entanglement are two different, correspondingly continual and discrete, images of a single common essence. General relativity can be interpreted as a superluminal generalization of special relativity. The postulate exists of an alleged obligatory difference between a model and reality in science and philosophy. It can also be deduced by interpreting a corollary of the heorem. On the other hand, quantum mechanics, on the basis of this theorem and of V on Neumann's (1932), introduces the option that a model be entirely identified as the modeled reality and, therefore, that absolutely reality be recognized: this is a non-standard hypothesis in the epistemology of science. Thus, the true reality begins to be understood mathematically, i.e. in a Pythagorean manner, for its identification with its mathematical model. A few linked problems are highlighted: the role of the axiom of choice forcorrectly interpreting the theorem; whether the theorem can be considered an axiom; whether the theorem can be considered equivalent to the negation of the axiom.

•Jan 1, 2013•0 citations

The Kochen - Specker theorem in quantum mechanics: a philosophical comment (part 2)

Vasil Dinev Penchev

The text is a continuation of the article of the same name published in the previous issue of Philosophical Alternatives. The philosophical interpretations of the Kochen- Specker theorem (1967) are considered. Einstein's principle regarding the,consubstantiality of inertia and gravity" (1918) allows of a parallel between descriptions of a physical micro-entity in relation to the macro-apparatus on the one hand, and of physical macro-entities in relation to the astronomical mega-entities on the other. The Bohmian interpretation ( 1952) of quantum mechanics proposes that all quantum systems be interpreted as dissipative ones and that the theorem be thus derstood. The conclusion is that the continual representation, by force or (gravitational) field between parts interacting by means of it, of a system is equivalent to their mutual entanglement if representation is discrete. Gravity (force field) and entanglement are two different, correspondingly continual and discrete, images of a single common essence. General relativity can be interpreted as a superluminal generalization of special relativity. The postulate exists of an alleged obligatory difference between a model and reality in science and philosophy. It can also be deduced by interpreting a corollary of the heorem. On the other hand, quantum mechanics, on the basis of this theorem and of V on Neumann's (1932), introduces the option that a model be entirely identified as the modeled reality and, therefore, that absolutely reality be recognized: this is a non-standard hypothesis in the epistemology of science. Thus, the true reality begins to be understood mathematically, i.e. in a Pythagorean manner, for its identification with its mathematical model. A few linked problems are highlighted: the role of the axiom of choice forcorrectly interpreting the theorem; whether the theorem can be considered an axiom; whether the theorem can be considered equivalent to the negation of the axiom.

•Jan 1, 2013•0 citations

Some philosophical lessons from quantum mechanics

James T. Cushing

[I] think I can safely say that nobody understands quantum mechanics. Richard Feynman, The Character of Physical Law Quantum mechanics [is] that mysterious, confusing discipline, which none of us really understands but which we know how to use. It works perfectly, as far as we can tell, in describing physical reality, but it is a ‘counter-intuitive discipline’… Murray Gell-Mann, Questions for the Future [The quantum] postulate implies a renunciation as regards the causal space-time co-ordination of atomic processes. Niels Bohr, Atomic Theory and the Description of Nature It should be emphasized, however, that the probability function does not in itself represent a course of events in the course of time. It represents a tendency for events and our knowledge of events. The probability function can be connected with reality only if one essential condition is fulfilled: if a new measurement is made to determine a certain property of the system. [T]he idea of an objective real world whose smallest parts exist objectively in the same sense as stones or trees exist, independently of whether or not we observe them…is impossible … Werner Heisenberg, Physics and Philosophy [In] quantum theory it is the principle of causality , or more accurately that of determinism , which must be dropped and replaced by something else.… We now have a new form of the law of causality.… It is as follows: if in a certain process the initial conditions are determined as accurately as the uncertainty relations permit, then the probabilities of all possible subsequent states are governed by exact laws. Max Born, The Restless Universe

Cambridge University Press eBooks•Jan 29, 1998•0 citations

Quantum mechanical reality according to Copenhagen 2.0

A.M. Din

The long-standing conceptual controversies concerning the interpretation of nonrelativistic quantum mechanics are argued, on one hand, to be due to its incompleteness, as affirmed by Einstein. But on the other hand, it appears to be possible to complete it at least partially, as Bohr might have appreciated it, in the framework of its standard mathematical formalism with observables as appropriately defined self-adjoint operators. This completion of quantum mechanics is based on the requirement on laboratory physics to be effectively confined to a bounded space region and on the application of the von Neumann deficiency theorem to properly define a set of self-adjoint extensions of standard observables, e.g. the momenta and the Hamiltonian, in terms of certain isometries on the region boundary. This is formalized mathematically in the setting of a boundary ontology for the so-called Qbox in which the wave function acquires a supplementary dependence on a set of Additional Boundary Variables (ABV). It is argued that a certain geometric subset of the ABV parametrizing Quasi-Periodic Translational Isometries (QPTI) has a particular physical importance by allowing for the definition of an ontic wave function, which has the property of epitomizing the spatial wave function “collapse.” Concomitantly the standard wave function in an unbounded geometry is interpreted as an epistemic wave function, which together with the ontic QPTI wave function gives rise to the notion of two-wave duality, replacing the standard concept of wave-particle duality. More generally, this approach to quantum physics in a bounded geometry provides a novel analytical basis for a better understanding of several conceptual notions of quantum mechanics, including reality, nonlocality, entanglement and Heisenberg’s uncertainty relation. The scope of this analysis may be seen as a foundational update of the multiple versions 1.x of the Copenhagen interpretation of quantum mechanics, which is sufficiently incremental so as to be appropriately characterized as Copenhagen 2.0.

International Journal of Modern Physics A•May 26, 2016•0 citations

"Fundamental randomness" by the "apophatic" Kochen -Specker theorem: Toward a universal method in Hilbert arithmetic's number theory

Vasil Dinev Penchev

One of the most fundamental theoretical results in quantum mechanics, the theorem of Simon Kochen and Ernst Specker (1967), is investigated from a rather mathematical and philosophical than physical viewpoint (i.e. unlike as usual). The absence of hidden variables is interpreted philosophically and ontomathematically: as the identity of the mathematical model by the separable complex Hilbert space (equivalent to the qubit Hilbert space) and physical reality. It implies the completeness of just that model to physical reality including in the sense of its cognitive finality. In other words, "hidden variables" are also interpreted as any mismatch between model and reality implied by the theorem not to be. That property of the qubit Hilbert space unique among all other mathematical theories (i.e., all first-order logics) is deduced as a corollary from the theorem as well. The approach at issue to the theorem implies its inherent contextuality to be deduced also in an "apophatic" or holistic version stating that omitting even a single "axis" of Hilbert space or a single value of probability density break its contextuality thus being inconsistent to the theorem. The concept of "fundamental randomness" is newly introduced as originating from the absence of hidden variables in any probability (density or not) distribution, the characteristic function of which is interpreted to be a (qubit) wave function. Then, the Kochen-Specker theorem implies no deviation from that "fundamental randomness" exists once its preconditions have been satisfied. The deviations at issue are seen to be any excluded degrees of freedom in a variable describing whatever. Just this statement is interpreted to be the theorem's "apophatic interpretation". A powerful method for proving statements in Hilbert arithmetic's number theory is offered as a conjecture to be reasoned and proved in a forthcoming paper.

•Jan 1, 2025•3 citations

Kochen-Specker Theorem and Games

Laura Mančinska

One of the statements one would hear pretty early in any quantum mechanics course is that for quantum particles there are properties which do not have definite values. For example, if we measure |+〉 in standard basis, the best we can do to describe the outcome is to say, that with probability 1/2 we will get 0 and with probability 1/2 we will get 1. Yet one could wonder, is this really the way things are or is it just because our description of this quantum particle is incomplete, but in fact there are some hidden variables inside every quantum system that contain enough information to tell the outcome of measurement (see Fig. 1). However, many people disdain the idea of hidden variables, so there has been rather long history of theorems that forbid theories involving hidden variables. Usually if one wants to prove some no hidden variables theorem he has to assume something about the hidden variables theories he is going to forbid. One of such assumptions is non-contextuality, which means that the outcome we get after measuring with an observable is the same regardless of what other observables we choose to measure at the same time. The first theorem forbidding hidden variables theories is due to von Neumann in 1932. Then for a third of a century everyone cited von Neumann’s work carelessly, till Bell in 1966 indicated that there was an unreasonable assumption in von Neumann’s proof and urged for further examination of the problem (see [6] and [1] for more historical details). Bell also constructed a hidden variables model for one qubit that could assign the outcome of any observable in a way consistent with quantum mechanics. He also proved two theorems that forbid non-contextual hidden variables theories using counterexamples with larger quantum systems. Yet surprisingly he himself thought that hidden variables do exists and considered these theorems only as characterizations of the hidden variables theory we should look for. In this essay we will discuss several versions of one of the two Bell’s theorems. The theorem we will consider was also independently proven by Kochen and Specker in 1967 (see [5]), hence it is called Bell-Kochen-Specker theorem. For shortness and in order not to mix this theorem with another Bell’s theorem from now on we will refer to it as Kochen-Specker theorem. We will be interested in proving several versions of this theorem and the following lemma will turn out to be of great use:

•Jan 1, 2007•0 citations
Non-commuting quantities and hidden parameters – Wave-corpuscular dualism and hidden parameters – Local or nonlocal hidden parameters – Phase space in quantum mechanics – Weyl, Wigner, and Moyal – Von Neumann’s theorem about the absence of hidden parameters in quantum mechanics and Hermann – Bell’s objection – Quantum-mechanical and mathematical incommeasurability – Kochen – Specker’s idea about their equivalence – The notion of partial algebra – Embeddability of a qubit into a bit – Quantum computer is not Turing machine – Is continuality universal? – Diffeomorphism and velocity – Einstein’s general principle of relativity – „Mach’s principle“ – The Skolemian relativity of the discrete and the continuous – The counterexample in § 6 of their paper – About the classical tautology which is untrue being replaced by the statements about commeasurable quantum-mechanical quantities – Logical hidden parameters – The undecidability of the hypothesis about hidden parameters – Wigner’s work and и Weyl’s previous one – Lie groups, representations, and psi-function – From a qualitative to a quantitative expression of relativity − psi-function, or the discrete by the random – Bartlett’s approach − psi-function as the characteristic function of random quantity – Discrete and/ or continual description – Quantity and its “digitalized projection“ – The idea of „velocity−probability“ – The notion of probability and the light speed postulate – Generalized probability and its physical interpretation – A quantum description of macro-world – The period of the as-sociated de Broglie wave and the length of now – Causality equivalently replaced by chance – The philosophy of quantum information and religion – Einstein’s thesis about “the consubstantiality of inertia ant weight“ – Again about the interpretation of complex velocity – The speed of time – Newton’s law of inertia and Lagrange’s formulation of mechanics – Force and effect – The theory of tachyons and general relativity – Riesz’s representation theorem – The notion of covariant world line – Encoding a world line by psi-function – Spacetime and qubit − psi-function by qubits – About the physical interpretation of both the complex axes of a qubit – The interpretation of the self-adjoint operators components – The world line of an arbitrary quantity – The invariance of the physical laws towards quantum object and apparatus – Hilbert space and that of Minkowski – The relationship between the coefficients of -function and the qubits – World line = psi-function + self-adjoint operator – Reality and description – Does a „curved“ Hilbert space exist? – The axiom of choice, or when is possible a flattening of Hilbert space? – But why not to flatten also pseudo-Riemannian space? – The commutator of conjugate quantities – Relative mass – The strokes of self-movement and its philosophical interpretation – The self-perfection of the universe – The generalization of quantity in quantum physics – An analogy of the Feynman formalism – Feynman and many-world interpretation – The psi-function of various objects – Countable and uncountable basis – Generalized continuum and arithmetization – Field and entanglement – Function as coding – The idea of „curved“ Descartes product – The environment of a function – Another view to the notion of velocity-probability – Reality and description – Hilbert space as a model both of object and description – The notion of holistic logic – Physical quantity as the information about it – Cross-temporal correlations – The forecasting of future – Description in separable and inseparable Hilbert space – „Forces“ or „miracles“ – Velocity or time – The notion of non-finite set – Dasein or Dazeit – The trajectory of the whole – Ontological and onto-theological difference – An analogy of the Feynman and many-world interpretation − psi-function as physical quantity – Things in the world and instances in time – The generation of the physi-cal by mathematical – The generalized notion of observer – Subjective or objective probability – Energy as the change of probability per the unite of time – The generalized principle of least action from a new view-point – The exception of two dimensions and Fermat’s last theorem
The text is a continuation of the article of the same name published in the previous issue of Philosophical Alternatives. The philosophical interpretations of the Kochen- Specker theorem (1967) are considered. Einstein's principle regarding the,consubstantiality of inertia and gravity" (1918) allows of a parallel between descriptions of a physical micro-entity in relation to the macro-apparatus on the one hand, and of physical macro-entities in relation to the astronomical mega-entities on the other. The Bohmian interpretation ( 1952) of quantum mechanics proposes that all quantum systems be interpreted as dissipative ones and that the theorem be thus derstood. The conclusion is that the continual representation, by force or (gravitational) field between parts interacting by means of it, of a system is equivalent to their mutual entanglement if representation is discrete. Gravity (force field) and entanglement are two different, correspondingly continual and discrete, images of a single common essence. General relativity can be interpreted as a superluminal generalization of special relativity. The postulate exists of an alleged obligatory difference between a model and reality in science and philosophy. It can also be deduced by interpreting a corollary of the heorem. On the other hand, quantum mechanics, on the basis of this theorem and of V on Neumann's (1932), introduces the option that a model be entirely identified as the modeled reality and, therefore, that absolutely reality be recognized: this is a non-standard hypothesis in the epistemology of science. Thus, the true reality begins to be understood mathematically, i.e. in a Pythagorean manner, for its identification with its mathematical model. A few linked problems are highlighted: the role of the axiom of choice forcorrectly interpreting the theorem; whether the theorem can be considered an axiom; whether the theorem can be considered equivalent to the negation of the axiom.
The text is a continuation of the article of the same name published in the previous issue of Philosophical Alternatives. The philosophical interpretations of the Kochen- Specker theorem (1967) are considered. Einstein's principle regarding the,consubstantiality of inertia and gravity" (1918) allows of a parallel between descriptions of a physical micro-entity in relation to the macro-apparatus on the one hand, and of physical macro-entities in relation to the astronomical mega-entities on the other. The Bohmian interpretation ( 1952) of quantum mechanics proposes that all quantum systems be interpreted as dissipative ones and that the theorem be thus derstood. The conclusion is that the continual representation, by force or (gravitational) field between parts interacting by means of it, of a system is equivalent to their mutual entanglement if representation is discrete. Gravity (force field) and entanglement are two different, correspondingly continual and discrete, images of a single common essence. General relativity can be interpreted as a superluminal generalization of special relativity. The postulate exists of an alleged obligatory difference between a model and reality in science and philosophy. It can also be deduced by interpreting a corollary of the heorem. On the other hand, quantum mechanics, on the basis of this theorem and of V on Neumann's (1932), introduces the option that a model be entirely identified as the modeled reality and, therefore, that absolutely reality be recognized: this is a non-standard hypothesis in the epistemology of science. Thus, the true reality begins to be understood mathematically, i.e. in a Pythagorean manner, for its identification with its mathematical model. A few linked problems are highlighted: the role of the axiom of choice forcorrectly interpreting the theorem; whether the theorem can be considered an axiom; whether the theorem can be considered equivalent to the negation of the axiom.
[I] think I can safely say that nobody understands quantum mechanics. Richard Feynman, The Character of Physical Law Quantum mechanics [is] that mysterious, confusing discipline, which none of us really understands but which we know how to use. It works perfectly, as far as we can tell, in describing physical reality, but it is a ‘counter-intuitive discipline’… Murray Gell-Mann, Questions for the Future [The quantum] postulate implies a renunciation as regards the causal space-time co-ordination of atomic processes. Niels Bohr, Atomic Theory and the Description of Nature It should be emphasized, however, that the probability function does not in itself represent a course of events in the course of time. It represents a tendency for events and our knowledge of events. The probability function can be connected with reality only if one essential condition is fulfilled: if a new measurement is made to determine a certain property of the system. [T]he idea of an objective real world whose smallest parts exist objectively in the same sense as stones or trees exist, independently of whether or not we observe them…is impossible … Werner Heisenberg, Physics and Philosophy [In] quantum theory it is the principle of causality , or more accurately that of determinism , which must be dropped and replaced by something else.… We now have a new form of the law of causality.… It is as follows: if in a certain process the initial conditions are determined as accurately as the uncertainty relations permit, then the probabilities of all possible subsequent states are governed by exact laws. Max Born, The Restless Universe
The long-standing conceptual controversies concerning the interpretation of nonrelativistic quantum mechanics are argued, on one hand, to be due to its incompleteness, as affirmed by Einstein. But on the other hand, it appears to be possible to complete it at least partially, as Bohr might have appreciated it, in the framework of its standard mathematical formalism with observables as appropriately defined self-adjoint operators. This completion of quantum mechanics is based on the requirement on laboratory physics to be effectively confined to a bounded space region and on the application of the von Neumann deficiency theorem to properly define a set of self-adjoint extensions of standard observables, e.g. the momenta and the Hamiltonian, in terms of certain isometries on the region boundary. This is formalized mathematically in the setting of a boundary ontology for the so-called Qbox in which the wave function acquires a supplementary dependence on a set of Additional Boundary Variables (ABV). It is argued that a certain geometric subset of the ABV parametrizing Quasi-Periodic Translational Isometries (QPTI) has a particular physical importance by allowing for the definition of an ontic wave function, which has the property of epitomizing the spatial wave function “collapse.” Concomitantly the standard wave function in an unbounded geometry is interpreted as an epistemic wave function, which together with the ontic QPTI wave function gives rise to the notion of two-wave duality, replacing the standard concept of wave-particle duality. More generally, this approach to quantum physics in a bounded geometry provides a novel analytical basis for a better understanding of several conceptual notions of quantum mechanics, including reality, nonlocality, entanglement and Heisenberg’s uncertainty relation. The scope of this analysis may be seen as a foundational update of the multiple versions 1.x of the Copenhagen interpretation of quantum mechanics, which is sufficiently incremental so as to be appropriately characterized as Copenhagen 2.0.
One of the most fundamental theoretical results in quantum mechanics, the theorem of Simon Kochen and Ernst Specker (1967), is investigated from a rather mathematical and philosophical than physical viewpoint (i.e. unlike as usual). The absence of hidden variables is interpreted philosophically and ontomathematically: as the identity of the mathematical model by the separable complex Hilbert space (equivalent to the qubit Hilbert space) and physical reality. It implies the completeness of just that model to physical reality including in the sense of its cognitive finality. In other words, "hidden variables" are also interpreted as any mismatch between model and reality implied by the theorem not to be. That property of the qubit Hilbert space unique among all other mathematical theories (i.e., all first-order logics) is deduced as a corollary from the theorem as well. The approach at issue to the theorem implies its inherent contextuality to be deduced also in an "apophatic" or holistic version stating that omitting even a single "axis" of Hilbert space or a single value of probability density break its contextuality thus being inconsistent to the theorem. The concept of "fundamental randomness" is newly introduced as originating from the absence of hidden variables in any probability (density or not) distribution, the characteristic function of which is interpreted to be a (qubit) wave function. Then, the Kochen-Specker theorem implies no deviation from that "fundamental randomness" exists once its preconditions have been satisfied. The deviations at issue are seen to be any excluded degrees of freedom in a variable describing whatever. Just this statement is interpreted to be the theorem's "apophatic interpretation". A powerful method for proving statements in Hilbert arithmetic's number theory is offered as a conjecture to be reasoned and proved in a forthcoming paper.
One of the statements one would hear pretty early in any quantum mechanics course is that for quantum particles there are properties which do not have definite values. For example, if we measure |+〉 in standard basis, the best we can do to describe the outcome is to say, that with probability 1/2 we will get 0 and with probability 1/2 we will get 1. Yet one could wonder, is this really the way things are or is it just because our description of this quantum particle is incomplete, but in fact there are some hidden variables inside every quantum system that contain enough information to tell the outcome of measurement (see Fig. 1). However, many people disdain the idea of hidden variables, so there has been rather long history of theorems that forbid theories involving hidden variables. Usually if one wants to prove some no hidden variables theorem he has to assume something about the hidden variables theories he is going to forbid. One of such assumptions is non-contextuality, which means that the outcome we get after measuring with an observable is the same regardless of what other observables we choose to measure at the same time. The first theorem forbidding hidden variables theories is due to von Neumann in 1932. Then for a third of a century everyone cited von Neumann’s work carelessly, till Bell in 1966 indicated that there was an unreasonable assumption in von Neumann’s proof and urged for further examination of the problem (see [6] and [1] for more historical details). Bell also constructed a hidden variables model for one qubit that could assign the outcome of any observable in a way consistent with quantum mechanics. He also proved two theorems that forbid non-contextual hidden variables theories using counterexamples with larger quantum systems. Yet surprisingly he himself thought that hidden variables do exists and considered these theorems only as characterizations of the hidden variables theory we should look for. In this essay we will discuss several versions of one of the two Bell’s theorems. The theorem we will consider was also independently proven by Kochen and Specker in 1967 (see [5]), hence it is called Bell-Kochen-Specker theorem. For shortness and in order not to mix this theorem with another Bell’s theorem from now on we will refer to it as Kochen-Specker theorem. We will be interested in proving several versions of this theorem and the following lemma will turn out to be of great use: