JCC McKinsey

Matemático estadounidense (1908-1953)

John Charles Chenoweth McKinsey (30 de abril de 1908 - 26 de octubre de 1953), generalmente citado como JCC McKinsey , fue un matemático estadounidense conocido por su trabajo sobre teoría de juegos y lógica matemática , ^[2] particularmente, lógica modal . ^[3]

Biografía

McKinsey recibió una licenciatura y una maestría de la Universidad de Nueva York y un doctorado. Licenciado en 1936 por la Universidad de California, Berkeley . ^[4] Fue investigador Blumenthal en la Universidad de Nueva York de 1936 a 1937 y miembro Guggenheim de 1942 a 1943. ^{[2] [5]} También enseñó en Montana State College , Nevada, luego Oklahoma y en 1947. fue "a un grupo de investigación en Douglas Aircraft Corporation " que luego se convirtió en RAND Corporation . ^{[1] : pág. 161}

McKinsey trabajó en RAND hasta que fue despedido en 1951. El FBI lo consideró un riesgo para la seguridad porque era homosexual , a pesar de que era un homosexual abierto que había estado en una relación comprometida durante años. Se quejó a su superior: "¿Cómo puede alguien amenazarme con revelarlo cuando todo el mundo ya lo sabe?". ^[6]

Desde 1951 enseñó en la Universidad de Stanford , donde posteriormente fue nombrado profesor titular en el Departamento de Filosofía, ^[2] donde trabajó con Patrick Suppes sobre los fundamentos axiomáticos de la mecánica clásica . ^{[1] : pág. 232} Se suicidó ^[6] en su casa de Palo Alto en 1953. ^[2]

Trabajos seleccionados

Libro

• McKinsey, JCC (2003). Introducción a la Teoría de Juegos . Nueva York: Publicaciones de Dover. ISBN 978-0-486-42811-6.(originalmente publicado McGraw-Hill, 1952) ^[7]

Documentos

• McKinsey, JCC (1934). "Una reducción en el número de postulados del sistema de implicación estricta de CS Lewis". Toro. América. Matemáticas. Soc . 40 (6): 425–427. doi : 10.1090/s0002-9904-1934-05881-6 . SEÑOR  1562873. S2CID  120247475.
• McKinsey, JCC (1935). "Sobre la independencia de las ideas indefinidas". Toro. América. Matemáticas. Soc . 41 (4): 291–297. doi : 10.1090/s0002-9904-1935-06074-4 . SEÑOR  1563075.
• McKinsey, JCC (1936). "Funciones booleanas reducibles". Toro. América. Matemáticas. Soc . 42 (4): 263–267. doi : 10.1090/s0002-9904-1936-06285-3 . SEÑOR  1563282.
• McKinsey, JCC (1936). "Sobre funciones booleanas de muchas variables". Trans. América. Matemáticas. Soc. 40 (3): 343–362. doi : 10.1090/s0002-9947-1936-1501878-6 . SEÑOR  1501878.
• McKinsey, JCC (1941). "Una solución del problema de decisión para los sistemas Lewis S2 y S4, con aplicación a la topología". La revista de lógica simbólica . 6 (4), 117–124. doi:10.2307/2267105
• "Una nueva definición de la verdad". Síntesis . 7 : 428–433. 1948.
• McKinsey, JCC (1952). "Algunas nociones y problemas de la teoría de juegos". Toro. América. Matemáticas. Soc . 58 (6): 591–611. doi : 10.1090/s0002-9904-1952-09648-8 . SEÑOR  0052748.
• McKinsey, J.; Azúcar, A.; Suppes, Patrick (1953). "Fundamentos axiomáticos de la mecánica clásica de partículas". Revista de análisis y mecánica racional . 2 (2): 253–72. doi : 10.1512/iumj.1953.2.52012 .
• "Filosofía y fundamentos axiomáticos de la física". Actas del XI Congreso Internacional de Filosofía . 6 : 49–53. 1953.

Con Alfred Tarski

• McKinsey, JCC y Tarski, Alfred (1944). "El álgebra de la topología". Anales de matemáticas , 141-191. https://doi.org/10.2307/1969080.
• McKinsey, JC y Tarski, Alfred (1946). "Sobre elementos cerrados en álgebras de cierre". Anales de matemáticas , 122-162. https://doi.org/10.2307/1969038.
• McKinsey, JCC; Tarski, Alfred (1948). "Algún teorema sobre los cálculos sentenciales de Lewis y Heyting". Revista de Lógica Simbólica . 13 (1): 1–15. doi :10.2307/2268135. JSTOR  2268135. S2CID  38559151.

Referencias

1. Anita Burdman Feferman ; Solomon Feferman (2004), Alfred Tarski: vida y lógica , Cambridge University Press , ISBN 978-0-521-80240-6
2. Resolución conmemorativa de abcd Archivada el 27 de julio de 2011 en Wayback Machine , Sociedad Histórica de Stanford
3. "Una de las primeras aplicaciones de la topología a la lógica (modal) es el artículo de McKinsey de 1941". Lo mejor de la lógica - Can Baskent
4. John Charles Chenoweth McKinsey en el Proyecto de genealogía de matemáticas
5. J (ohn) C (harles) McKinsey - Fundación en memoria de John Simon Guggeheim
6. abella, Alex (2009). Soldados de la razón: la Rand Corporation y el ascenso del imperio estadounidense . Boston: Libros Mariner. pag. 74.ISBN​ 978-0-15-603344-2.
7. Wolfowitz, J. (1953). "Reseña: Introducción a la teoría de juegos por JCC McKinsey" (PDF) . Toro. América. Matemáticas. Soc. 59 (3): 267–270. doi : 10.1090/s0002-9904-1953-09703-8 .