JCC МакКинси

Джон Чарльз Ченовет МакКинси (30 апреля 1908 г. – 26 октября 1953 г.), обычно упоминаемый как Дж. К. К. МакКинси , был американским математиком, известным своими работами по теории игр и математической логике , ^[2] в частности, модальной логике . ^[3]

Биография

МакКинзи получил степени бакалавра и магистра наук в Нью-Йоркском университете и степень доктора философии в 1936 году в Калифорнийском университете в Беркли . ^[4] Он был научным сотрудником Блюменталя в Нью-Йоркском университете с 1936 по 1937 год и стипендиатом Гуггенхайма с 1942 по 1943 год. ^[2]^[5] Он также преподавал в колледже штата Монтана и в Неваде, затем в Оклахоме, а в 1947 году он перешел «в исследовательскую группу в Douglas Aircraft Corporation », которая позже стала корпорацией RAND . ^[1]^{: стр. 161}

McKinsey работал в 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). «Сокращение числа постулатов для системы строгой импликации К. С. Льюиса». Bull. Amer. Math. Soc . 40 (6): 425–427. doi : 10.1090/s0002-9904-1934-05881-6 . MR 1562873. S2CID 120247475.
McKinsey, JCC (1935). «О независимости неопределенных идей». Bull. Amer. Math. Soc . 41 (4): 291–297. doi : 10.1090/s0002-9904-1935-06074-4 . MR 1563075.
McKinsey, JCC (1936). «Приводимые булевы функции». Bull. Amer. Math. Soc . 42 (4): 263–267. doi : 10.1090/s0002-9904-1936-06285-3 . MR 1563282.
McKinsey, JCC (1936). «О булевых функциях многих переменных». Trans. Amer. Math. Soc. 40 (3): 343–362. doi : 10.1090/s0002-9947-1936-1501878-6 . MR 1501878.
McKinsey, JCC (1941). «Решение проблемы принятия решений для систем Льюиса S2 и S4 с приложением к топологии». Журнал символической логики . 6 (4), 117–124. doi:10.2307/2267105
«Новое определение истины». Синтез . 7 : 428–433. 1948.
McKinsey, JCC (1952). «Некоторые понятия и проблемы теории игр». Bull. Amer. Math. Soc . 58 (6): 591–611. doi : 10.1090/s0002-9904-1952-09648-8 . MR 0052748.
McKinsey, J.; Sugar, A.; Suppes, Patrick (1953). «Аксиоматические основы классической механики частиц». Журнал рациональной механики и анализа . 2 (2): 253–72. doi : 10.1512/iumj.1953.2.52012 .
«Философия и аксиоматические основы физики». Труды 11-го Международного философского конгресса . 6 : 49–53. 1953.

САльфред Тарский

МакКинзи, Дж. К. К., Тарский, Альфред (1944). «Алгебра топологии». Анналы математики , 141–191. https://doi.org/10.2307/1969080.
Маккинзи, Дж. К., Тарский, Альфред (1946). «О замкнутых элементах в алгебрах замыкания». Анналы математики , 122–162. https://doi.org/10.2307/1969038.
McKinsey, JCC; Tarski, Alfred (1948). «Некоторые теоремы о пропозициональных исчислениях Льюиса и Гейтинга». Журнал символической логики . 13 (1): 1–15. doi :10.2307/2268135. JSTOR 2268135. S2CID 38559151.

Ссылки

^ abc Анита Бердман Феферман ; Соломон Феферман (2004), Альфред Тарский: Жизнь и логика , Cambridge University Press , ISBN 978-0-521-80240-6
^ abcd Мемориальная резолюция Архивировано 27 июля 2011 г. в Wayback Machine , Историческое общество Стэнфорда
^ "Одним из первых применений топологии к (модальной) логике является статья МакКинзи 1941 года." Top of the Logic - Can Baskent
^ Джон Чарльз Ченовет МакКинси в проекте «Генеалогия математики»
^ J(ohn) C(harles) McKinsey - Мемориальный фонд Джона Саймона Гуггехайма
^ ab Абелла, Алекс (2009). Солдаты разума: корпорация Rand и подъем американской империи . Бостон: Mariner Books. стр. 74. ISBN 978-0-15-603344-2.
^ Вулфовиц, Дж. (1953). «Обзор: Введение в теорию игр Дж. К. К. МакКинзи» (PDF) . Bull. Amer. Math. Soc. 59 (3): 267–270. doi : 10.1090/s0002-9904-1953-09703-8 .