John McCarthy 追悼記事
http://cacm.acm.org/magazines/2012/1/144801-john-mccarthy-1927-2011/fulltext
>he was also one of the first to investigate how to rigorously prove properties of programs
この一文がよく分からない
証明関係の話だとは思うんだがどういうことなんだろう

それとこの一文に興味を持ちました
>McCarthy was "a very, very clear thinker regardless of the topic—politics, sociology, the water supply in the San Andreas Basin, anything," recalls Hayes.
paul graham御大のようにずけずけと切り込んでいくスタイルだったんでしょうかね
エッセイ集のようなものがあれば読んでみたいな

そうそう、figureにある御大の若い日の姿がいい
http://deliveryimages.acm.org/10.1145/2070000/2063187/figs/uf1.jpg
なんというか、目つきが鋭くて黒ひげが凛々しい