User loginNavigation |
Gödel, Nagel, minds and machines Solomon Feferman. Gödel, Nagel, minds and machines. Ernest Nagel Lecture, Columbia University, Sept. 27, 2007.
This is not directly PLT related, and more philosophical than what we usually discuss on LtU, but I think it will be of interest to some members of the community. While the historical details are interesting, I am not sure I agree with the analysis. It would be interesting to here what others make of this. To make this item slightly more relevant to LtU, let me point out that both the LC and category theory are mentioned (although they are really discussed only in the references). |
Browse archives
Active forum topics |
Recent comments
6 weeks 14 hours ago
6 weeks 14 hours ago
6 weeks 14 hours ago
12 weeks 1 day ago
1 year 1 day ago
1 year 1 day ago
1 year 1 day ago
1 year 22 weeks ago
1 year 26 weeks ago
1 year 28 weeks ago