| Geburt |
14. August 1934 Antwerpen |
|---|---|
| Staatsangehörigkeit | amerikanisch |
| Ausbildung | Princeton Universität |
| Aktivität | Mathematiker |
| Feld | Modelltheorie |
|---|---|
| Supervisor | Alonzo Kirche |
| Auszeichnungen |
Guggenheim Grant Cole-Preis für Zahlentheorie ( d ) |
Simon Bernhard Kochen (geboren am14. August 1934in Antwerpen ) ist ein kanadischer Mathematiker, der in den Bereichen Modelltheorie , Zahlentheorie und Quantenmechanik arbeitet .
Kochen promovierte 1958 an der Princeton University unter der Aufsicht der Alonzo Church mit einer Dissertation mit dem Titel "Ultrafiltered Products and Arithmetical Extensions". Seit 1967 ist er Mitglied des Fachbereichs Mathematik an der Princeton University. Er leitete die Abteilung von 1989 bis 1992 und wurde 1994 Henry Burchard Fine Professor für Mathematik. Während der akademischen Jahre 1966-67 und 1978-79 war Kochen am Institute for Advanced Study .
Mit James Ax beweist er den Ax-Kochen-Satz in der Zahlentheorie .
1967 Kochen und Ernst Specker beweisen das Kochen-Specker-Theorem der Quantenmechanik und Quantenkontextualität (in) . Dieser Satz zeigt, dass jede Theorie mit versteckten Variablen, die die Ergebnisse von quantenphysikalischen Experimenten erklären, kontextualistisch ist, dh dass die gemessenen Werte der physikalischen Parameter notwendigerweise vom experimentellen Kontext und nicht nur von den physikalischen Einheiten abhängen.
2004 haben Kochen und John Horton Conway den Satz des freien Willens (in) bewiesen . Dieser Satz besagt, dass, wenn wir eine bestimmte Menge an freiem Willen haben, unter bestimmten Annahmen dasselbe für bestimmte Elementarteilchen erforderlich ist .
1967 erhielt er in Zusammenarbeit mit James Axe den siebten Cole-Preis für Zahlentheorie für eine Reihe von drei Sammelarbeiten zu diophantinischen Problemen mit p-adischen Techniken .