Саймон Б. Кохен | |
---|---|
Рожденный | ( 1934-08-14 )14 августа 1934 г. |
Национальность | канадский |
Альма-матер | Университет Макгилла Принстонский университет |
Известный | Теорема Кохена–Шпеккера Теорема Ахса–Кохена Теорема о свободной воле p-адически замкнутое поле |
Награды | Премия Коула по теории чисел (1967) Стипендия Гуггенхайма (1962) |
Научная карьера | |
Поля | Математическая физика |
Учреждения | Корнельский университет Принстонский университет |
Тезис | Ультрафильтрованные продукты и арифметические расширения (1958) |
научный руководитель | Церковь Алонзо |
Докторанты | Сэмюэл Басс |
Саймон Бернхард Кохен ( / ˈk oʊ ʃən / ; родился 14 августа 1934 года) — канадский математик , работающий в области теории моделей , теории чисел и квантовой механики .
Кохен родился в Антверпене, Бельгия , и спасся от нацистов вместе со своей семьей благодаря отважному капитану норвежского судна. Выросший в Англии, он посещал среднюю школу, прежде чем переехать в Канаду. Кохен учился в Университете Макгилла и получил там степени бакалавра и магистра. После этого он переехал в США и получил докторскую степень ( ультрафильтрованные продукты и арифметические расширения ) в Принстонском университете в 1958 году под руководством Алонзо Чёрча . С 1967 года он является членом кафедры математики Принстонского университета. Он возглавлял кафедру с 1989 по 1992 год и стал профессором математики имени Генри Берчарда Файна в 1994 году. [1] В 1966–1967 и 1978–1979 годах Кохен работал в Институте перспективных исследований . [2]
В 1967 году он был награжден, совместно с Джеймсом Эксом , седьмой премией Фрэнка Нельсона Коула по теории чисел за серию из трех совместных статей [3] [4] [5] по диофантовым проблемам , включающим p-адические методы . Кохен и Экс также были соавторами теоремы Акса–Кохена , приложения теории моделей к алгебре . [6]
В 1967 году Кохен и Эрнст Шпеккер доказали теорему Кохена–Шпеккера в квантовой механике и квантовой контекстуальности . [7] В 2004 году Кохен и Джон Хортон Конвей доказали теорему о свободе воли . Теорема утверждает, что если у нас есть определённое количество свободы воли , то, при соблюдении определённых предположений, то же самое должны делать и некоторые элементарные частицы .