De Wikipedia, la enciclopedia libre
Ir a navegaciónSaltar a buscar

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]

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

  1. ^ a b c Anita Burdman Feferman ; Solomon Feferman (2004), Alfred Tarski: Vida y lógica , Cambridge University Press , ISBN 978-0-521-80240-6
  2. ^ a b c d Resolución conmemorativa Archivado el 27 de julio de 2011 en la 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". Top of the Logic - Can Baskent
  4. ^ John Charles Chenoweth McKinsey en el Proyecto de genealogía matemática
  5. ^ J (ohn) C (harles) McKinsey - Fundación en memoria de John Simon Guggeheim
  6. ↑ 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.
  7. ^ 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 .