ジョン・マッカーシー
1959. Programs with Common Sense. In Proceedings of the Teddington Conference on the Mechanization of Thought Processes, 756-91. London: Her Majesty's Stationery Office.
1960. Recursive functions of symbolic expressions and their computation by machine. Communications of the ACM 3(4):184-195.
1963a A basis for a mathematical theory of computation. In Computer Programming and formal systems. North-Holland.
1963b. Situations, actions, and causal laws. Technical report, Stanford University.
Hayes, P. J. との共著 1969. Some philosophical problems from the standpoint of artificial intelligence.
そのため、カリフォルニア工科大学から追い出された。そこで、アメリカ陸軍で兵役を積んで、再入学を認めてもらい、1948年に数学の学士号を得て卒業した。カリフォルニア工科大学で講演を行ったジョン・フォン・ノイマンから将来の方向性について影響を受け、ノイマンと対面して助言も受けた。卒業後もカリフォルニア工科大学で学び続けていたが、プリンストン大学に移ってソロモン・レフシェッツに師事し、1951年に数学のPh.D.を得た。
マッカーシーは、3回結婚している。2度目の結婚相手ベラ・ワトソンはプログラマだが、登山家でもあった。しかし、1978年に女性だけの登山隊でアンナプルナ登頂を目指していた際、滑落して死亡した。3人目のキャロリン・タルコットは、スタンフォード大学の計算機科学者で、後にSRIインターナショナルにて勤務した。また、マッカーシーは、自ら無神論者を自認していた。
2011年10月24日、死去。84歳没。