2007-10-25 ■ 入手文献 入手文献 Solomon Feferman “Gödel, Nagel, minds and machines”, Ernest Nagel Lecture, Columbia University, Sept. 27, 2007