Doctor's Dilemma

Alanと、John McCarthyの"Progress and Sustainability"の話。

http://www-formal.stanford.edu/jmc/docdil.htmlにあるDoctor's Dilemmaの計算(一番下からたどれる次のページにあるもの)をJohnが最初に計算してきたときをAlanは目撃していたようである。

Johnの美徳のひとつは、正直であることだとAlanが言っていた。自分の主張があるときも、決して大げさに利点を膨らませたりはしなかった。また、Churchのラムダ計算の本を読んで、「いやー、良く判らなかった」と言ったそうである。数学者が理解するやり方で深く理解できた気がしなかった、という意味だったのではないかとAlanは言っていた。