Thanks. I'm pretty ignorant of the whole field beyond some old basic stuff. But there are contemporary issues that certainly must have drawn attention. E.g.:

Thanks. I'm pretty ignorant of the whole field beyond some old basic stuff. But there are contemporary issues that certainly must have drawn attention. E.g.: * natural language, cognition, and math. There is a book by Ganesalingam about this based on his PhD thesis, that was online a while back but was later taken down. * Philsophical aspects of complexity theory. Scott Aaronson and Avi Wigderson have both written about this. * Nonhuman cognition, AI being the closest to available. But would sufficiently smart fish or birds develop mathematics different from human math, given that their sensory systems must be a lot different from ours? * There is an article by Mirco Manucci that I thought was cool, but might be considered bogus by professionals, about ultrafinitistic model theory. I'd like to know if there is any other work in this area. * Other nontraditional logic like deep inference (http://alessio.guglielmi.name/res/cos/index.html http://alessio.guglielmi.name/res/cos/index.html) * I've looked at some stuff by J-Y Girard and can't tell what the heck it is about, but some of it has turned out to be important. Some more comprehensible treatments or criticism of his more recent works would help.