nLab Simon Kochen

Simon Kochen is Professor and Associate Chair in the Department of Mathematics at Princeton University.

• Wikipedia entry

• Faculty page

Selected writings

On model theory and introducing the notation for “$\vDash$-judgements” (cf. there):

• Simon Kochen, p. 223 in: Ultraproducts in the Theory of Models, Ann. Math. 74 2 (1961) 221-261 [doi:10.2307/1970235]

Introducing the Kochen-Specker theorem:

• Simon Kochen, Ernst Specker, The problem of hidden variables in quantum mechanics, Journal of Mathematics and Mechanics 17 (1967) 59-87 [pdf, jstor:24902153, doi:10.1007/978-94-010-1795-4_17]

Strengthening of the KS theorem and relating it to the “free will theorem”:

• Simon Kochen, On the Free Will Theorem [arXiv:2207.06295]

Related entries

• Kochen-Specker theorem

• Timeline of category theory and related mathematics

category: people