Great suggestions.
I was about to add GEB, but realized it doesn't quite fit under any category.
I could add a "general" reading list, but do you think it fits in a category?
I was about to add GEB, but realized it doesn't quite fit under any category.
I could add a "general" reading list, but do you think it fits in a category?
[1] http://www.amazon.com/Incompleteness-Phenomenon-Martin-Golds...
What's more, GEB presents Aristotelianism vs. Platonism in the context of _computation_.
_That_ is a question CS majors should at least be aware of.
The question of whether computations can _ever_ be brought to have consciousness.
Then again, given my limited knowledge, I am far from being an authority on the topic and look forward to gaining more insight by hearing other opinions.
It is there that formal systems are brought up and CS majors should be aware of the hierarchy and limitations of formal systems, which are discussed in GEB.
If I were to place GEB under an arbitrary category, I would probably suggest ``Philosophy of Computation.''