Пол Джозеф Коен
| Пол Джозеф Коен | |
|---|---|
| англ. Paul Joseph Cohen | |
 | |
| Народився |
2 квітня 1934 Лонг-Бранч, штат Нью-Джерсі, США |
| Помер |
23 березня 2007 (72 роки) Стенфорд, штат Каліфорнія, США |
| Країна |
 США |
| Діяльність | математик, логік, викладач університету |
| Alma mater |
Стайвсент середня школа Чиказький університет |
| Галузь | Математика |
| Заклад | Стенфордський університет |
| Науковий керівник | Ентоні Зигмунд |
| Відомі учні | Пітер Сарнак |
| Аспіранти, докторанти |
Пітер Сарнак[1] Harold George Diamondd[1] Mihail Kolountzakisd[1] William Fischer Glassmire, Jr.d[1] Carlton Henry Hoeld[1] Chang-Pao Chend[1] |
| Членство |
Національна академія наук США Американська академія мистецтв і наук |
| Нагороди | |
| Особ. сторінка | paulcohen.org |
 Висловлювання у Вікіцитатах | |
Пол Джозеф Коен (англ. Paul Joseph Cohen; 2 квітня 1934 — 23 березня 2007)[2][3] — американський математик найвідоміший за його доказ незалежності континуум-гіпотези і аксіоми вибору від Цермело-Френкеля теорії множин, широко визнаної аксіоматизації теорії множин.
Ранні роки[ред. | ред. код]
Коен народився в Лонг-Бранч, Нью-Джерсі, в єврейській сім'ї. Закінчив у 1950 році Стайвсент середню школу в Нью-Йорку.[3]
Далі Коен навчався в Бруклінському коледжі з 1950 по 1953 рік, але не став здобувати ступінь бакалавра, коли він дізнався, що може вступити до аспірантури Чиказького університету лише з двома роками навчання в коледжі. У Чикаго Коен здобув ступінь магістра з математики в 1954 році і ступінь доктора філософії в 1958 році під керівництвом професора математики Ентоні Зигмунда. Тема його докторської дисертації була Питання теорії єдиності тригонометричних рядів.[4]
Його внесок у математику[ред. | ред. код]
Коен відомий розробкою математичного методу, названого форсингом, який він використовував, щоб довести, що ні континуум-гіпотеза (СН), ні аксіома вибору не може бути отримана із стандартної Цермело-Френкеля аксіоми (ZF) з теорії множин. У поєднанні з більш ранньою роботою Геделя, це показало, що обидва ці судження є логічно незалежними від аксіом ZF: ці судження не можуть бути ні доведені, ні спростовані з цих аксіом. У цьому сенсі, континуум-гіпотеза нерозв'язна, і це, ймовірно, найбільш широко відомий приклад природного судження, яке не залежить від стандартних аксіом ZF теорії множин.
За цей результат з континуум-гіпотезою, Коен отримав медаль Філдса з математики в 1966 році, а також Національну наукову медаль США в 1967 році[5]. Медаль Філдса, яку отримав Коен, залишається єдиною медаллю Філдса в галузі математичної логіки.
Коен також нагороджений премією Бохера з математичного аналізу в 1964 році за роботу «Про гіпотезу Літлвуда і ідемпотентні міри».
Коен був професор Стенфордського університету, де серед інших студентів його аспірантом був Пітер Сарнак.
Ангус Макінтайр з Лондонського університету сказав про Коена: «Він був загрозливо розумний і потрібно бути або наївним або виключно альтруїстичним, щоб розказати про свою „важку задачу“ Полу, якого я знав в 60-х». Він порівняв Коена з Геделем, кажучи: «нічого ефектнішого, ніж їх робота, не сталося в історії цього предмета».[6] Гедель сам написав лист Коену в 1963 році, в якому заявив: «Дозвольте мені повторити, що це дійсно так здорово читати ваш доказ незалежності континуум-гіпотези. Я думаю, що у всіх суттєвих аспектах, ви дали найкращий доказ і це не часто трапляється. Читання доказу було аналогічним приємним ефектом для мене, як перегляд дуже хорошої п'єси».[7]
Про континуум-гіпотезу[ред. | ред. код]
Вивчаючи континуум-гіпотезу, пише в інтерв'ю в 1985 році Коен «було відчуття, що люди думали, що проблема безнадійна, оскільки не існує іншого способу побудови моделі теорії множин. Дійсно вони думали, ви потрібно бути трохи божевільним щоб навіть думати про проблему».[8]
Незадовго до своєї смерті, Коен дав захоплюючу лекцію з описом його рішення проблеми континуум-гіпотези на конференції, присвяченій сторіччю Геделя, у Відні 2006 року. Відео цієї лекції в наш час[коли?] доступне в Інтернеті.[9]
Примітки[ред. | ред. код]
- ↑ а б в г д е Математичний генеалогічний проєкт — 1997.
- ↑ In Memory of ... American Mathematical Society. Архів оригіналу за 9 липня 2013. Процитовано 31 жовтня 2007.
- ↑ а б Levy, Dawn (28 березня 2007). Paul Cohen, winner of world’s top mathematics prize, dies at 72. Stanford Report. Архів оригіналу за 22 листопада 2009. Процитовано 31 жовтня 2007.
- ↑ Paul J. Cohen (1958), Topics in the theory of uniqueness of trigonometrical series, http://www.chronomaitre.org/cohen.pdf [Архівовано 2011-07-25 у Wayback Machine.]
- ↑ National Science Foundation — The President's National Medal of Science
- ↑ Davidson, Keay (30 березня 2007). Paul Cohen -- Stanford professor, acclaimed mathematician. San Francisco Chronicle. Процитовано 31 жовтня 2007.
- ↑ Solomon Feferman, The Gödel Editorial Project: A synopsis [1] p. 11.
- ↑ Pearce, Jeremy (2 квітня 2007). Paul J. Cohen, Mathematics Trailblazer, Dies at 72. New York Times. Процитовано 31 жовтня 2007.
- ↑ Paul Cohen lecture video, six parts, Gödel Centennial, Vienna 2006
Додаткова література[ред. | ред. код]
- Akihiro Kanamori, «Cohen and Set Theory», The Bulletin of Symbolic Logic, Volume 14, Number 3, Sept. 2008.
- Sarnak, Peter (December 2007). Remembering Paul Cohen (PDF). MAA FOCUS. Washington, DC: Mathematical Association of America. 27 (9): 21—22. ISSN 0731-2040. Архів оригіналу (PDF) за 4 червня 2010. Процитовано 31 травня 2009.
Посилання[ред. | ред. код]
| ||||||||||||||||||||||||||||
| |||||||||||
|
- Народились 2 квітня
- Народились 1934
- Померли 23 березня
- Померли 2007
- Члени і члени-кореспонденти Національної академії наук США
- Члени Американської академії мистецтв і наук
- Лауреати Філдсівської премії
- Отримувачі гранту Ґуґґенгайма
- Нагороджені Національною медаллю науки США
- Лауреати премії Бохера
- Випускники Вищої школи імені П. Сайвесанта
- Математики США
- Математики в теорії множин
- Польські євреї США
- Математики зі штату Нью-Йорк
- Випускники Бруклінського коледжу
- Американці польсько-єврейського походження