Я только что закончил курс по вычислимости и логике, который был интересным. Лектор порекомендует несколько книг на своих слайдах, в том числе «Гедель, Эшер, Бах». Я вижу, книга довольно известна и выглядит очень интересно. Но у меня есть несколько вопросов, касающихся его содержания.
Содержание все еще актуально сегодня? Я предполагаю, что большинство теоретических вещей не меняются за ночь, но есть ли какие-то важные моменты, которые больше не имеют смысла сегодня, о которых я должен знать?
Я предполагаю, что мы действительно достигли некоторого прогресса за последние 30 лет или около того. Кто-нибудь из вас может порекомендовать книгу по этому предмету, которая включает в себя этот прогресс (логика, ИИ, вычислимость)?
Другой вопрос: я должен знать об Эшере и Бахе?