Simon B. Kochen

(Redirected from Simon Kochen)

Simon Bernhard Kochen (/ˈkʃən/; born 14 August 1934) is a Canadian mathematician, working in the fields of model theory, number theory and quantum mechanics.

Simon B. Kochen
Born (1934-08-14) 14 August 1934 (age 90)
NationalityCanadian
Alma materMcGill University
Princeton University
Known forKochen–Specker theorem
Ax–Kochen theorem
Free will theorem
p-adically closed field
AwardsCole Prize in Number Theory (1967)
Guggenheim Fellowship (1962)
Scientific career
FieldsMathematical physics
InstitutionsCornell University
Princeton University
ThesisUltrafiltered Products and Arithmetical Extensions (1958)
Doctoral advisorAlonzo Church
Doctoral studentsSamuel Buss

Education and career

edit

Kochen was born in Antwerp, Belgium, and escaped the Nazis with his family, thanks to a courageous Norwegian ship captain. Raised in England, he attended grammar school before moving to Canada. Kochen attended McGill University and obtained his bachelor’s and master’s degrees there. He moved to the US afterwards and received his Ph.D. (Ultrafiltered Products and Arithmetical Extensions) from Princeton University in 1958 under the direction of Alonzo Church. Since 1967 he has been a member of Princeton's Department of Mathematics. He chaired the department from 1989 to 1992 and became the Henry Burchard Fine Professor in mathematics in 1994.[1] During 1966–1967 and 1978–1979, Kochen was at the Institute for Advanced Study.[2]

In 1967 he was awarded, together with James Ax, the seventh Frank Nelson Cole Prize in Number Theory for a series of three joint papers[3][4][5] on Diophantine problems involving p-adic techniques. Kochen and Ax also co-authored the Ax–Kochen theorem, an application of model theory to algebra.[6]

In 1967 Kochen and Ernst Specker proved the Kochen–Specker theorem in quantum mechanics and quantum contextuality.[7] In 2004 Kochen and John Horton Conway proved the free will theorem. The theorem states that if we have a certain amount of free will, then, subject to certain assumptions, so must some elementary particles.

See also

edit

References

edit
  1. ^ Princeton Philosophy Department bio
  2. ^ "Simon Bernard Kochen". Office of the Dean of the Faculty. Retrieved 2023-12-31.
  3. ^ James B. Ax and Simon B. Kochen Diophantine problems over local fields. I American Journal of Mathematics 87 (1965), pp. 605–630
  4. ^ James B. Ax and Simon B. Kochen Diophantine problems over local fields. II American Journal of Mathematics 87 (1965), pp. 631–648
  5. ^ James B. Ax and Simon B. Kochen Diophantine problems over local fields. III Annals of Mathematics, Ser. 2 83 (1966), pp. 437–456
  6. ^ Kruckman, Alex (2013). "The Ax-Kochen Theorem: An application of model theory to algebra". arXiv:1308.3897 [math.LO].
  7. ^ Kochen, Specker: The problem of hidden variables in quantum mechanics. Journal of Mathematics and Mechanics, volume 17, 1967, pages 59–88
edit