Джон Чарльз Ченовет МакКинси (30 апреля 1908 - 26 октября 1953), обычно называемый Дж. Си- Си МакКинси , был американским математиком, известным своими работами по математической логике и теории игр . [2] Он также внес значительный вклад в модальную логику . [3]
JCC McKinsey | |
---|---|
Родившийся | 30 апреля 1908 г. |
Умер | 26 октября 1953 г. | (45 лет)
Национальность | Соединенные Штаты |
Другие названия | Чен МакКинси [1] : стр. 141 |
Альма-матер | Нью-Йоркский университет , Калифорнийский университет |
Известен | Теория игры |
Награды | Товарищество Гуггенхайма |
Научная карьера | |
Поля | Математическая логика Теория игр |
Учреждения | RAND Corporation , Стэнфордский университет |
Докторант | Бенджамин Абрам Бернштейн |
Докторанты | Жан Рубин |
биография
McKinsey получила степень бакалавра и магистра в Нью-Йоркском университете и степень доктора философии. Степень в 1936 году в Калифорнийском университете в Беркли . [4] Он был научным сотрудником Блюменталя в Нью-Йоркском университете с 1936 по 1937 год и научным сотрудником Гуггенхайма с 1942 по 1943 год. [2] [5] Он также преподавал в Государственном колледже Монтаны и в Неваде, затем в Оклахоме, а в 1947 году. он пошел «в исследовательскую группу в Douglas Aircraft Corporation », которая позже стала RAND Corporation . [1] : стр. 161
МакКинси работал в RAND, пока его не уволили в 1951 году. ФБР считало его угрозой безопасности, потому что он был гомосексуалистом , несмотря на то, что он был открытым гомосексуалистом, состоявшим в постоянных отношениях в течение многих лет. Он пожаловался своему начальнику: «Как кто-то может угрожать мне разглашением, если все уже знают?» [6]
С 1951 года он преподавал в Стэнфордском университете , где позже был назначен профессором кафедры философии [2], где вместе с Патриком Суппсом работал над аксиоматическими основами классической механики . [1] : стр. 232 Он покончил жизнь самоубийством [6] в своем доме в Пало-Альто в 1953 г. [2]
Библиография
- McKinsey, JCC (2003). Введение в теорию игр . Нью-Йорк: Dover Publications. ISBN 978-0-486-42811-6.(первоначально опубликовано. McGraw-Hill, 1952 г.) [7]
- McKinsey, JCC (1934). «Уменьшение количества постулатов для системы строгого следования К.С. Льюиса». Бык. Амер. Математика. Soc . 40 (6): 425–427. DOI : 10,1090 / s0002-9904-1934-05881-6 . Руководство по ремонту 1562873 .
- McKinsey, JCC (1935). «О независимости неопределенных идей» . Бык. Амер. Математика. Soc . 41 (4): 291–297. DOI : 10.1090 / s0002-9904-1935-06074-4 . Руководство по ремонту 1563075 .
- McKinsey, JCC (1936). «Приводимые булевы функции» . Бык. Амер. Математика. Soc . 42 (4): 263–267. DOI : 10,1090 / s0002-9904-1936-06285-3 . Руководство по ремонту 1563282 .
- McKinsey, JCC (1936). «О булевых функциях многих переменных» . Пер. Амер. Математика. Soc . 40 (3): 343–362. DOI : 10,1090 / s0002-9947-1936-1501878-6 . Руководство по ремонту 1501878 .
- «Новое определение истины». Synthese . 7 : 428–433. 1948 г.
- McKinsey, JCC (1952). «Некоторые понятия и проблемы теории игр» . Бык. Амер. Математика. Soc . 58 (6): 591–611. DOI : 10,1090 / s0002-9904-1952-09648-8 . Руководство по ремонту 0052748 .
- McKinsey, J .; Сахар, А .; Суппес, Патрик (1953). «Аксиоматические основы классической механики частиц» . Журнал рациональной механики и анализа . 2 (2): 253–72. DOI : 10.1512 / iumj.1953.2.52012 .
- «Философия и аксиоматические основы физики». Материалы 11-го Международного философского конгресса . 6 : 49–53. 1953 г.
- McKinsey, JCC; Тарский, Альфред (1948). «Некоторая теорема о чувственных исчислениях Льюиса и Гейтинга». Журнал символической логики . 13 (1): 1–15. DOI : 10.2307 / 2268135 . JSTOR 2268135 .
Заметки
- ^ а б в Анита Бурдман Феферман ; Соломон Феферман (2004), Альфред Тарский: жизнь и логика , Cambridge University Press , ISBN 978-0-521-80240-6
- ^ a b c d Мемориальная резолюция, архивная копия от 27 июля 2011 г. в Wayback Machine , Стэнфордское историческое общество.
- ^ «Одним из самых первых приложений топологии к (модальной) логике является статья МакКинси 1941 года». Вершина логики - Кан Баскент
- ↑ Джон Чарльз Ченовет МакКинси в проекте « Математическая генеалогия»
- ^ J (Ohn) C (Harles) McKinsey - Джон Фонд Симона Guggeheim Мемориал
- ^ а б Абелла, Алекс (2009). Солдаты разума: Rand Corporation и подъем американской империи . Бостон: Mariner Books. п. 74. ISBN 978-0-15-603344-2.
- ^ Вулфовиц, Дж. (1953). «Рецензия: Введение в теорию игр от JCC McKinsey» (PDF) . Бык. Амер. Математика. Soc . 59 (3): 267–270. DOI : 10,1090 / s0002-9904-1953-09703-8 .