J. C. C. McKinsey

McKinsey received B.S. and M.S. degrees from New York University and a Ph.D. degree in 1936 from the University of California, Berkeley. He was a Blumenthal Research Fellow at New York University from 1936 to 1937 and a Guggenheim Fellow from 1942 to 1943. He also taught at Montana State College, and in Nevada, then Oklahoma, and in 1947 he went "to a research group at Douglas Aircraft Corporation" that later became the RAND Corporation. From 1951 he taught at Stanford University, where he was later appointed a Full Professor in the Department of Philosophy, where he worked with Patrick Suppes on the axiomatic foundations of classical mechanics. He committed suicide at his home in Palo Alto in 1953. ==Selected works==

Book • (originally publ. McGraw-Hill, 1952) Papers • • • • • McKinsey, J. C. C. (1941). "A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology." The Journal of Symbolic Logic. 6 (4), 117–124. doi:10.2307/2267105 • • • • ====With Alfred Tarski==== • McKinsey, J. C. C., Tarski, Alfred (1944). "The algebra of topology." Annals of mathematics, 141–191. https://doi.org/10.2307/1969080. • McKinsey, J. C., Tarski, Alfred (1946). "On closed elements in closure algebras." Annals of mathematics, 122–162. https://doi.org/10.2307/1969038. • ==References==