■

• Jan von Plato　　''Gentzen's Proof Systems: Byproducts in a Work of Genius,''　in: The Bulletin of Symbolic Logic, vol. 18, no. 3, 2012

近年に見つかった Gentzen の手稿を調べ、NK や LK などが、どのように考え出され、形を取るようになって行ったのか、その process を解明している論文のようです。極めて興味深い。読みたいけども、今は時間がない。そのうち読もうと思います。

PS
2010年1月31日の日記項目 'Didn’t Whitehead Write the 2nd Edtion of Principia Mathematica?' では、Whitehead が Russell と、どのように Principia を分担して執筆したのかについて、そのことが少しだけわかる Whitehead の comment を Journal Mind から引用していましたが、今日、Whitehead の Process and Reality からも、そのことがわかる文章を引用して、2010年1月31日の日記に追記として書き込みました。よろしければご覧ください。