ГЭБ
Одолел за время отпуска "Гориллы, эму, бабуины - эти буйные гости" Д.Хофштадтера. Книга в целом очень понравилась. Хорошо раскрыты идеи, лежащие в основе доказательства теорем Геделя, и сопутствующий материал - формальные системы, формальная арифметика, диагонализация; интересен экскурс в генетику. Лирические отступления на тему музыки Баха, картин Эшера и дзен-буддизма гармонично вплетаются в ткань книги. Диалоги Ахилла, Черепахи и других написаны с юмором, массой сюрпризов и скрытых смысловых слоев; порадовало пасхальное яйцо, спрятанное в библиографии. Раздел о перспективах ИИ показался слабее остальных - по понятным причинам. Русский перевод не без недостатков - хоть переводчица тесно сотрудничала с автором и проделала титанический труд с целью сохранить игру слов и запутанные связи формы и содержания, бросаются в глаза ошибки в терминологии из области CS.
Если вы перевариваете научно-популярную литературу с философским уклоном, если интересуетесь логикой или ИИ (а также музыкой, живописью и биологией) - рекомендую.
з.ы. Идея о том, что Странные Петли - запутанных иерархии со смешением уровней - должны лежать в основе интеллекта, мне кажется, подтверждается - плохо спроектированные программы глючат наиболее творчески.
з.з.ы. Кто-нибудь знает, где достать "I Am A Strange Loop"?
![[info]](http://p-stat.livejournal.com/img/userinfo.gif){kind=small}
palm_mute) wrote,
