Fødsel |
14. august 1934 Antwerpen |
---|---|
Nationalitet | amerikansk |
Uddannelse | Princeton University |
Aktivitet | Matematiker |
Mark | Model teori |
---|---|
Tilsynsførende | Alonzo kirke |
Priser |
Guggenheim Grant Cole-pris i antalteori ( d ) |
Simon Bernhard Kochen (født den14. august 1934i Antwerpen ) er en canadisk matematiker, der arbejder inden for områderne modelteori , talteori og kvantemekanik .
Kochen fik sin doktorgrad fra Princeton University i 1958 under vejledning af Alonzo Church med en afhandling med titlen "Ultrafiltered Products and Arithmetical Extensions". Siden 1967 har han været medlem af Institut for Matematik ved Princeton University. Han var formand for afdelingen fra 1989 til 1992 og blev Henry Burchard Finprofessor i matematik i 1994. I løbet af de akademiske år 1966-67 og 1978-79 var Kochen ved Institute for Advanced Study .
Med James Ax beviser han Ax-Kochen-sætningen i talteori .
I 1967 beviste Kochen og Ernst Specker Kochen-Specker-sætningen for kvantemekanik og kvantekontekstualitet (in) . Denne sætning viser, at enhver teori med skjulte variabler, der tegner sig for resultaterne af kvantefysikeksperimenter, er kontekstualistisk , det vil sige, at de målte værdier af de fysiske parametre nødvendigvis afhænger af den eksperimentelle kontekst og ikke af de fysiske enheder alene.
I 2004 beviste Kochen og John Horton Conway sætningen om fri vilje (i) . Denne sætning siger, at hvis vi har en vis mængde fri vilje , er det samme under visse forudsætninger nødvendigt for visse elementære partikler .
I 1967 blev han i samarbejde med James Ax tildelt den syvende Cole-pris i nummerteori for en serie på tre kollektive papirer om diofantinske problemer med p-adic-teknikker .