856:
869:
862:
481:
965:
960:
906:
975:
1000:
809:
470:
McKinsey, J. C. C. (1941). "A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology."
717:
1010:
789:
693:
304:
765:
980:
955:
899:
227:
950:
945:
261:
for years. He complained to his superior "How can anyone threaten me with disclosure when everybody already knows?"
970:
940:
1005:
892:
754:
472:
239:
935:
685:
268:, where he was later appointed a Full Professor in the Department of Philosophy, where he worked with
173:
92:
990:
441:
35:
995:
985:
821:
669:
258:
235:
112:
930:
925:
880:
529:
463:
427:
392:
349:
8:
273:
265:
223:
147:
88:
678:
638:
630:
353:
324:"A reduction in number of the postulates for C. S. Lewis' system of strict implication"
207:
129:
454:
436:
785:
689:
357:
300:
231:
230:. He was a Blumenthal Research Fellow at New York University from 1936 to 1937 and a
834:
642:
520:
503:
418:
401:
383:
366:
340:
323:
829:
714:
673:
622:
550:
515:
449:
413:
378:
335:
243:
168:
143:
782:
Soldiers of reason : the Rand
Corporation and the rise of the American empire
597:
McKinsey, J. C., Tarski, Alfred (1946). "On closed elements in closure algebras."
805:
721:
525:
459:
423:
388:
345:
738:
876:
269:
555:
538:
919:
610:
579:
250:
249:
McKinsey worked at RAND until he was fired in 1951. The FBI considered him a
855:
750:
238:, and in Nevada, then Oklahoma, and in 1947 he went "to a research group at
868:
613:(1948). "Some theorem about the sentential calculi of Lewis and Heyting".
211:
203:
133:
102:
257:, in spite of the fact that he was an open homosexual who had been in a
634:
254:
183:
160:
61:
668:
586:
McKinsey, J. C. C., Tarski, Alfred (1944). "The algebra of topology."
277:
57:
766:
J(ohn) C(harles) McKinsey - John Simon
Guggeheim Memorial Foundation
626:
734:
489:
602:
591:
39:
154:
861:
566:
564:"Philosophy and the axiomatic foundations of physics".
539:"Axiomatic foundations of classical particle mechanics"
202:, was an American mathematician known for his work on
966:
Stanford
University Department of Philosophy faculty
198:(30 April 1908 β 26 October 1953), usually cited as
536:
875:This article about an American mathematician is a
677:
537:McKinsey, J.; Sugar, A.; Suppes, Patrick (1953).
917:
608:
900:
804:
222:McKinsey received B.S. and M.S. degrees from
737:to (modal) logic is McKinseyβs 1941 paper."
907:
893:
664:
662:
660:
543:Journal of Rational Mechanics and Analysis
504:"Some notions and problems of game theory"
961:University of California, Berkeley alumni
833:
710:
708:
706:
704:
554:
519:
453:
417:
382:
339:
501:
437:"On Boolean functions of many variables"
434:
399:
367:"On the independence of undefined ideas"
364:
321:
294:
733:"One of the very first applications of
657:
276:. He committed suicide at his home in
918:
779:
775:
773:
701:
234:from 1942 to 1943. He also taught at
161:On Boolean functions of many variables
784:. Boston: Mariner Books. p. 74.
577:
976:20th-century American mathematicians
849:
311:(originally publ. McGraw-Hill, 1952)
226:and a Ph.D. degree in 1936 from the
812:Introduction to the theory of games
770:
297:Introduction to the Theory of Games
13:
228:University of California, Berkeley
16:American mathematician (1908β1953)
14:
1022:
1001:20th-century American LGBT people
455:10.1090/s0002-9947-1936-1501878-6
283:
867:
860:
854:
299:. New York: Dover Publications.
272:on the axiomatic foundations of
835:10.1090/s0002-9904-1953-09703-8
751:John Charles Chenoweth McKinsey
603:https://doi.org/10.2307/1969038
592:https://doi.org/10.2307/1969080
521:10.1090/s0002-9904-1952-09648-8
419:10.1090/s0002-9904-1936-06285-3
384:10.1090/s0002-9904-1935-06074-4
341:10.1090/s0002-9904-1934-05881-6
196:John Charles Chenoweth McKinsey
798:
759:
744:
727:
1:
755:Mathematics Genealogy Project
724:, Stanford Historical Society
680:Alfred Tarski: Life and Logic
650:
487:"A New Definition of Truth".
473:The Journal of Symbolic Logic
402:"Reducible Boolean functions"
1011:American mathematician stubs
879:. You can help Knowledge by
240:Douglas Aircraft Corporation
217:
7:
981:Mathematicians from Indiana
502:McKinsey, J. C. C. (1952).
435:McKinsey, J. C. C. (1936).
400:McKinsey, J. C. C. (1936).
365:McKinsey, J. C. C. (1935).
322:McKinsey, J. C. C. (1934).
10:
1027:
956:New York University alumni
848:
686:Cambridge University Press
615:Journal of Symbolic Logic
556:10.1512/iumj.1953.2.52012
315:
295:McKinsey, J.C.C. (2003).
189:
179:
167:
153:
139:
125:
118:
108:
98:
84:
76:
68:
46:
28:
21:
951:American LGBT scientists
946:LGBT people from Indiana
242:" that later became the
174:Benjamin Abram Bernstein
93:University of California
971:RAND Corporation people
941:American game theorists
442:Trans. Amer. Math. Soc.
288:
264:From 1951 he taught at
1006:Suicides in California
822:Bull. Amer. Math. Soc.
670:Anita Burdman Feferman
259:committed relationship
814:by J. C. C. McKinsey"
780:Abella, Alex (2009).
599:Annals of mathematics
588:Annals of mathematics
508:Bull. Amer. Math. Soc
406:Bull. Amer. Math. Soc
371:Bull. Amer. Math. Soc
328:Bull. Amer. Math. Soc
236:Montana State College
113:Guggenheim Fellowship
609:McKinsey, J. C. C.;
715:Memorial Resolution
482:doi:10.2307/2267105
274:classical mechanics
266:Stanford University
224:New York University
148:Stanford University
89:New York University
936:American logicians
720:2011-07-27 at the
208:mathematical logic
130:Mathematical logic
888:
887:
791:978-0-15-603344-2
695:978-0-521-80240-6
306:978-0-486-42811-6
253:because he was a
232:Guggenheim Fellow
200:J. C. C. McKinsey
193:
192:
180:Doctoral students
120:Scientific career
1018:
909:
902:
895:
871:
866:
865:
864:
858:
850:
840:
839:
837:
818:
802:
796:
795:
777:
768:
763:
757:
748:
742:
739:Top of-the Logic
731:
725:
712:
699:
698:
683:
674:Solomon Feferman
666:
646:
573:
560:
558:
533:
523:
498:
497:: 428β433. 1948.
467:
457:
431:
421:
396:
386:
361:
343:
310:
244:RAND Corporation
210:, particularly,
169:Doctoral advisor
144:RAND Corporation
77:Other names
53:
50:October 26, 1953
19:
18:
1026:
1025:
1021:
1020:
1019:
1017:
1016:
1015:
916:
915:
914:
913:
859:
853:
846:
844:
843:
816:
803:
799:
792:
778:
771:
764:
760:
749:
745:
732:
728:
722:Wayback Machine
713:
702:
696:
667:
658:
653:
627:10.2307/2268135
583:
563:
486:
318:
307:
291:
286:
220:
132:
85:Alma mater
64:
55:
51:
42:
33:
24:
23:J.C.C. McKinsey
17:
12:
11:
5:
1024:
1014:
1013:
1008:
1003:
998:
993:
991:Gay scientists
988:
983:
978:
973:
968:
963:
958:
953:
948:
943:
938:
933:
928:
912:
911:
904:
897:
889:
886:
885:
872:
842:
841:
828:(3): 267β270.
797:
790:
769:
758:
743:
726:
700:
694:
655:
654:
652:
649:
648:
647:
611:Tarski, Alfred
606:
595:
582:
576:
575:
574:
572:: 49β53. 1953.
561:
534:
514:(6): 591β611.
499:
484:
468:
448:(3): 343β362.
432:
412:(4): 263β267.
397:
377:(4): 291β297.
362:
334:(6): 425β427.
317:
314:
313:
312:
305:
290:
287:
285:
284:Selected works
282:
270:Patrick Suppes
219:
216:
191:
190:
187:
186:
181:
177:
176:
171:
165:
164:
157:
151:
150:
141:
137:
136:
127:
123:
122:
116:
115:
110:
106:
105:
100:
99:Known for
96:
95:
86:
82:
81:
78:
74:
73:
70:
66:
65:
56:
54:(aged 45)
48:
44:
43:
36:Clinton County
34:
30:
26:
25:
22:
15:
9:
6:
4:
3:
2:
1023:
1012:
1009:
1007:
1004:
1002:
999:
997:
996:1953 suicides
994:
992:
989:
987:
986:Gay academics
984:
982:
979:
977:
974:
972:
969:
967:
964:
962:
959:
957:
954:
952:
949:
947:
944:
942:
939:
937:
934:
932:
929:
927:
924:
923:
921:
910:
905:
903:
898:
896:
891:
890:
884:
882:
878:
873:
870:
863:
857:
852:
851:
847:
836:
831:
827:
824:
823:
815:
813:
807:
806:Wolfowitz, J.
801:
793:
787:
783:
776:
774:
767:
762:
756:
752:
747:
741:- Can Baskent
740:
736:
730:
723:
719:
716:
711:
709:
707:
705:
697:
691:
687:
682:
681:
675:
671:
665:
663:
661:
656:
644:
640:
636:
632:
628:
624:
620:
616:
612:
607:
604:
600:
596:
593:
589:
585:
584:
581:
580:Alfred Tarski
571:
567:
562:
557:
552:
549:(2): 253β72.
548:
544:
540:
535:
531:
527:
522:
517:
513:
509:
505:
500:
496:
492:
491:
485:
483:
479:
476:
474:
469:
465:
461:
456:
451:
447:
444:
443:
438:
433:
429:
425:
420:
415:
411:
407:
403:
398:
394:
390:
385:
380:
376:
372:
368:
363:
359:
355:
351:
347:
342:
337:
333:
329:
325:
320:
319:
308:
302:
298:
293:
292:
281:
279:
275:
271:
267:
262:
260:
256:
252:
251:security risk
247:
245:
241:
237:
233:
229:
225:
215:
213:
209:
205:
201:
197:
188:
185:
182:
178:
175:
172:
170:
166:
163:
162:
158:
156:
152:
149:
145:
142:
138:
135:
131:
128:
124:
121:
117:
114:
111:
107:
104:
101:
97:
94:
90:
87:
83:
80:Chen McKinsey
79:
75:
71:
67:
63:
59:
49:
45:
41:
37:
32:30 April 1908
31:
27:
20:
881:expanding it
874:
845:
825:
820:
811:
800:
781:
761:
746:
729:
679:
618:
614:
598:
587:
569:
565:
546:
542:
511:
507:
494:
488:
477:
471:
445:
440:
409:
405:
374:
370:
331:
327:
296:
263:
248:
221:
199:
195:
194:
159:
140:Institutions
119:
52:(1953-10-26)
931:1953 deaths
926:1908 births
621:(1): 1β15.
601:, 122β162.
590:, 141β191.
212:modal logic
204:game theory
134:Game theory
103:Game theory
69:Nationality
920:Categories
651:References
255:homosexual
184:Jean Rubin
62:California
810:"Review:
480:117β124.
358:120247475
280:in 1953.
278:Palo Alto
218:Biography
58:Palo Alto
808:(1953).
735:topology
718:Archived
676:(2004),
643:38559151
490:Synthese
72:American
753:at the
635:2268135
530:0052748
464:1501878
428:1563282
393:1563075
350:1562873
40:Indiana
788:
692:
641:
633:
528:
478:6 (4),
462:
426:
391:
356:
348:
316:Papers
303:
155:Thesis
126:Fields
109:Awards
817:(PDF)
639:S2CID
631:JSTOR
578:With
354:S2CID
877:stub
786:ISBN
690:ISBN
301:ISBN
289:Book
206:and
47:Died
29:Born
830:doi
623:doi
551:doi
516:doi
450:doi
414:doi
379:doi
336:doi
922::
826:59
819:.
772:^
703:^
688:,
684:,
672:;
659:^
637:.
629:.
619:13
617:.
568:.
545:.
541:.
526:MR
524:.
512:58
510:.
506:.
493:.
460:MR
458:.
446:40
439:.
424:MR
422:.
410:42
408:.
404:.
389:MR
387:.
375:41
373:.
369:.
352:.
346:MR
344:.
332:40
330:.
326:.
246:.
214:.
146:,
91:,
60:,
38:,
908:e
901:t
894:v
883:.
838:.
832::
794:.
645:.
625::
605:.
594:.
570:6
559:.
553::
547:2
532:.
518::
495:7
475:.
466:.
452::
430:.
416::
395:.
381::
360:.
338::
309:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.