Simon Bernhard Kochen ( / ˈkoʊʃən / ; nacido el 14 de agosto de 1934) es un matemático canadiense que trabaja en los campos de la teoría de modelos , la teoría de números y la mecánica cuántica .
Kochen nació en Amberes, Bélgica , y escapó de los nazis con su familia, gracias a un valiente capitán de barco noruego. Criado en Inglaterra, asistió a la escuela secundaria antes de mudarse a Canadá. Kochen asistió a la Universidad McGill y obtuvo allí su licenciatura y maestría. Luego se mudó a los EE. UU. y recibió su doctorado ( Productos ultrafiltrados y extensiones aritméticas ) de la Universidad de Princeton en 1958 bajo la dirección de Alonzo Church . Desde 1967 ha sido miembro del Departamento de Matemáticas de Princeton. Presidió el departamento de 1989 a 1992 y se convirtió en el Profesor Henry Burchard Fine en matemáticas en 1994. [1] Durante 1966-1967 y 1978-1979, Kochen estuvo en el Instituto de Estudios Avanzados . [2]
En 1967, junto con James Ax , recibió el séptimo premio Frank Nelson Cole en teoría de números por una serie de tres artículos conjuntos [3] [4] [5] sobre problemas diofánticos que involucraban técnicas p-ádicas . Kochen y Ax también fueron coautores del teorema Ax-Kochen , una aplicación de la teoría de modelos al álgebra . [6]
En 1967, Kochen y Ernst Specker demostraron el teorema de Kochen-Specker en mecánica cuántica y contextualidad cuántica . [7] En 2004, Kochen y John Horton Conway demostraron el teorema del libre albedrío . El teorema establece que si tenemos una cierta cantidad de libre albedrío , entonces, sujeto a ciertas suposiciones, también lo deben tener algunas partículas elementales .