Я щойно закінчив курс з обчислюваності та логіки, що було цікавим курсом. Лектор рекомендує декілька книг на слайдах, серед яких «Гедель, Ешер, Бах». Я можу побачити, що книга досить відома, і виглядає дуже цікаво. Але у мене є кілька запитань щодо його змісту.
Чи є вміст і сьогодні діє? Я думаю, більшість теоретичних речей не змінюється протягом ночі, але чи є якісь основні моменти, про які я вже не маю уваги?
Я припускаю, що ми фактично досягли певного прогресу за останні 30 років. Чи може хтось із вас порекомендувати книгу на цю тему, яка включає цей прогрес (логіка, AI, обчислюваність)?
Ще одне питання: чи потрібно мені знати про Ешера та Баха?