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 en teoría de juegos y lógica matemática , [2] particularmente, lógica modal . [3]
Biografía
McKinsey recibió los títulos de BS y MS de la Universidad de Nueva York y un doctorado en 1936 de la Universidad de California, Berkeley . [4] Fue becario de investigación Blumenthal en la Universidad de Nueva York de 1936 a 1937 y becario Guggenheim de 1942 a 1943. [2] [5] También enseñó en el Montana State College y en Nevada, luego Oklahoma, y en 1947 fue "a un grupo de investigación en Douglas Aircraft Corporation " que más tarde se convirtió en la RAND Corporation . [1] : p. 161
McKinsey trabajó en RAND hasta que lo despidieron en 1951. El FBI lo consideró un riesgo para la seguridad porque era homosexual , a pesar de que era un homosexual declarado que había mantenido una relación estable durante años. Se quejó a su superior: "¿Cómo puede alguien amenazarme con revelar algo cuando todo el mundo ya lo sabe?" [6]
Desde 1951 enseñó en la Universidad de Stanford , donde más tarde fue nombrado profesor titular en el Departamento de Filosofía, [2] donde trabajó con Patrick Suppes en los fundamentos axiomáticos de la mecánica clásica . [1] : p. 232 Se suicidó [6] en su casa de Palo Alto en 1953. [2]
Obras seleccionadas
Libro
- McKinsey, JCC (2003). Introducción a la teoría de juegos . Nueva York: Dover Publications. ISBN 978-0-486-42811-6.(publicado originalmente en McGraw-Hill, 1952) [7]
Papeles
- McKinsey, JCC (1934). "Una reducción en el número de postulados para el sistema de implicación estricta de CS Lewis". Bull. Amer. Math. Soc . 40 (6): 425–427. doi : 10.1090/s0002-9904-1934-05881-6 . MR 1562873. S2CID 120247475.
- McKinsey, JCC (1935). "Sobre la independencia de las ideas indefinidas". Bull. Amer. Math. Soc . 41 (4): 291–297. doi : 10.1090/s0002-9904-1935-06074-4 . MR 1563075.
- McKinsey, JCC (1936). "Funciones booleanas reducibles". Bull. Amer. Math. Soc . 42 (4): 263–267. doi : 10.1090/s0002-9904-1936-06285-3 . MR 1563282.
- McKinsey, JCC (1936). "Sobre funciones booleanas de muchas variables". Trans. Amer. Math. Soc. 40 (3): 343–362. doi : 10.1090/s0002-9947-1936-1501878-6 . MR 1501878.
- McKinsey, JCC (1941). "Una solución del problema de decisión para los sistemas Lewis S2 y S4, con una aplicación a la topología". The Journal of Symbolic Logic . 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". 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). "Fundamentos axiomáticos de la mecánica clásica de partículas". Revista de mecánica racional y análisis . 2 (2): 253–72. doi : 10.1512/iumj.1953.2.52012 .
- "La filosofía y los fundamentos axiomáticos de la física". Actas del 11º Congreso Internacional de Filosofía . 6 : 49–53. 1953.
- McKinsey, JCC, Tarski, Alfred (1944). "El álgebra de la topología". Anales de matemáticas , 141–191. https://doi.org/10.2307/1969080.
- McKinsey, JC, Tarski, Alfred (1946). "Sobre elementos cerrados en álgebras de clausura". Anales de matemáticas , 122–162. https://doi.org/10.2307/1969038.
- McKinsey, JCC; Tarski, Alfred (1948). "Algunos teoremas sobre los cálculos enunciativos de Lewis y Heyting". Journal of Symbolic Logic . 13 (1): 1–15. doi :10.2307/2268135. JSTOR 2268135. S2CID 38559151.
Referencias