Simon B. Kochen
Simon Bernhard Kochen ( / k oʊ ʃ ən , / ; urodzony 14 sierpnia 1934, Antwerpia ) to kanadyjski matematyk , pracujący w dziedzinie teorii modeli teorii liczb i mechaniki kwantowej .
Biografia
Kochen otrzymał doktorat. ( Ultrafiltered Products and Arithmetic Extensions ) z Princeton University w 1958 roku pod kierunkiem Alonzo Churcha . Od 1967 jest członkiem Wydziału Matematyki Princeton. Kierował wydziałem od 1989 do 1992, aw 1994 został profesorem matematyki Henry Burchard Fine. W latach 1966–1967 i 1978–1979 Kochen przebywał w Institute for Advanced Study .
W 1967 roku otrzymał, wraz z Jamesem Axem , siódmą nagrodę im. Franka Nelsona Cole'a w dziedzinie teorii liczb za serię trzech wspólnych artykułów dotyczących problemów diofantycznych z wykorzystaniem technik p-adycznych . Kochen i Axe byli także współautorami twierdzenia Axa-Kochena , zastosowania teorii modeli do algebry .
W 1967 roku Kochen i Ernst Specker udowodnili twierdzenie Kochena-Speckera w mechanice kwantowej i kontekstualności kwantowej . W 2004 roku Kochen i John Horton Conway udowodnili twierdzenie o wolnej woli . Twierdzenie to mówi, że jeśli mamy pewną ilość wolnej woli , to przy pewnych założeniach również niektóre cząstki elementarne .