Doğum |
14 Ağustos 1934 Antwerp |
---|---|
Milliyet | Amerikan |
Eğitim | Princeton Üniversitesi |
Aktivite | Matematikçi |
Alan | Model teorisi |
---|---|
Süpervizör | Alonzo Kilisesi |
Ödüller |
Sayı Teorisinde Guggenheim Grant Cole Ödülü ( d ) |
Simon Bernhard Kochen (doğdu14 Ağustos 1934içinde Antwerp ) bir olan matematikçi alanlarında çalışan Kanadalı modeli teorisi arasında, sayılar teorisi ve kuantum mekaniği .
Kochen , 1958 yılında Princeton Üniversitesi'nden Alonzo Kilisesi'nin gözetiminde "Ultrafiltreli Ürünler ve Aritmetik Uzantılar" başlıklı teziyle doktorasını aldı . 1967'den beri Princeton Üniversitesi Matematik Bölümü üyesidir. 1989'dan 1992'ye kadar bölüm başkanlığını yaptı ve 1994'te Henry Burchard Güzel Matematik Profesörü oldu. 1966-67 ve 1978-79 akademik yıllarında, Kochen Institute for Advanced Study'deydi .
İle James Ax o kanıtlıyor Ax-Kochen teoremini sayı içinde teorisi .
1967'de Kochen ve Ernst Specker , Kuchen-Specker teoremini kuantum mekaniği ve kuantum bağlamsallığı (in) kanıtladı . Bu teorem , kuantum fiziği deneylerinin sonuçlarını açıklayan gizli değişkenlere sahip herhangi bir teorinin bağlamsalcı olduğunu , yani fiziksel parametrelerin ölçülen değerlerinin yalnızca fiziksel varlıklara değil, zorunlu olarak deneysel bağlama bağlı olduğunu gösterir.
2004'te Kochen ve John Horton Conway , özgür irade (in) teoremini kanıtladılar . Bu teorem, belirli bir miktarda özgür irademiz varsa, belirli varsayımlara bağlı olarak, aynı şeyin belirli temel parçacıklar için gerekli olduğunu söyler .
1967'de James Ax ile işbirliği içinde , p-adic tekniklerini içeren Diophantine problemleri üzerine üç kolektif makale serisi için sayı teorisinde yedinci Cole Ödülü'ne layık görüldü .