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 archivesActive forum topics
|
Recent comments
1 week 21 hours ago
1 week 5 days ago
1 week 6 days ago
1 week 6 days ago
2 weeks 5 days ago
3 weeks 1 day ago
3 weeks 1 day ago
3 weeks 1 day ago
4 weeks 3 days ago
4 weeks 4 days ago