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