2008-09-04から1日間の記事一覧

人工知能は可能か

8月14日号の Nature 誌に、Andrew Hodgesによる、Ernest Nagel & James R. Newman "Gödel's Proof"の書評が載つてゐる。In Retrospect と題された、新刊ではなく、以前に刊行された名著を紹介する欄だ。この本は、ゲーデルの不完全性定理について解説した…