Есть неплохая книга от Роджера Пэнроуза научно-популярная на русском: "Тени разума: В поисках науки о сознании". Шмыху, например, должна понравится: там математика обсуждается "на пальцах" всякая интересная вроде теоремы Гёделя, плюс всякие тесты Тьюринга.
http://alpha.sinp.msu.ru/~panov/Penrose-Shadows.pdf
Рекомендую, ёпты. Сам правда лет пять назад ее читал, не помню как оно было, но мне вообще нравится как Пэнроуз пишет.