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 lógica matemática y teoría de juegos . [2] También hizo contribuciones significativas a la lógica modal . [3]
JCC McKinsey | |
---|---|
Nació | 30 de abril de 1908 |
Fallecido | 26 de octubre de 1953 | (45 años)
Nacionalidad | Estados Unidos |
Otros nombres | Chen McKinsey [1] : pág. 141 |
alma mater | Universidad de Nueva York , Universidad de California |
Conocido por | Teoría de juego |
Premios | Beca Guggenheim |
Carrera científica | |
Campos | Teoría de juegos de lógica matemática |
Instituciones | RAND Corporation , Universidad de Stanford |
Asesor de doctorado | Benjamin Abram Bernstein |
Estudiantes de doctorado | Jean Rubin |
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 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 Montana State College , y en Nevada, luego en Oklahoma, y en 1947 fue "a un grupo de investigación en Douglas Aircraft Corporation " que más tarde 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 una revelación 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ág. 232 Se suicidó [6] en su casa de Palo Alto en 1953 [2].
Bibliografía
- 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]
- McKinsey, JCC (1934). "Una reducción en el número de postulados para el sistema de implicación estricta de CS Lewis". Toro. Amer. Matemáticas. Soc . 40 (6): 425–427. doi : 10.1090 / s0002-9904-1934-05881-6 . Señor 1562873 .
- McKinsey, JCC (1935). "Sobre la independencia de las ideas indefinidas" . Toro. Amer. 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. Amer. 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. Amer. Matemáticas. Soc . 40 (3): 343–362. doi : 10.1090 / s0002-9947-1936-1501878-6 . Señor 1501878 .
- "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. Amer. 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 de partículas clásica" . Revista de Mecánica Racional y Análisis . 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.
- McKinsey, JCC; Tarski, Alfred (1948). "Algún teorema sobre los cálculos secuenciales de Lewis y Heyting". Revista de lógica simbólica . 13 (1): 1-15. doi : 10.2307 / 2268135 . JSTOR 2268135 .
Notas
- ^ a b c Anita Burdman Feferman ; Solomon Feferman (2004), Alfred Tarski: Vida y lógica , Cambridge University Press , ISBN 978-0-521-80240-6
- ^ a b c d Resolución conmemorativa Archivado el 27 de julio de 2011 en la Wayback Machine , Sociedad histórica de Stanford
- ^ "Una de las primeras aplicaciones de la topología a la lógica (modal) es el artículo de McKinsey de 1941". Top of the Logic - Can Baskent
- ^ John Charles Chenoweth McKinsey en el Proyecto de genealogía matemática
- ^ J (ohn) C (harles) McKinsey - Fundación en memoria de John Simon Guggeheim
- ^ a b Abella, Alex (2009). Soldados de la razón: la Rand Corporation y el surgimiento del imperio estadounidense . Boston: Mariner Books. pag. 74. ISBN 978-0-15-603344-2.
- ^ Wolfowitz, J. (1953). "Revisión: Introducción a la teoría de juegos por JCC McKinsey" (PDF) . Toro. Amer. Matemáticas. Soc . 59 (3): 267–270. doi : 10.1090 / s0002-9904-1953-09703-8 .