Дочитал ГЭБ. Постараюсь написать свои впечатления о книге. Как человек, далекий от проблем ИИ, прочитал с интересом. Глава 14 с ее доказательством теоремы Гёделя была сложной. Перечитал ее два раза. Несколько страниц пересматривал по нескольку раз. Доказательство, в целом, понятно, но, конечно, я не могу его объяснить другим. Значит, и сам глубоко не понимаю.
Диалоги между главами круты. Особенно некоторые. Крабий канон — это просто охрененно. Вообще идея передать структуру фуг Баха в тексте — оригинальная. Дагласу она удалась на все 100. Захотелось поближе познакомиться с творчеством Баха, которого я не особо любил. Не факт, что полюблю, но познакомлюсь.
Эшер крут. Конечно, я видел его литографии и раньше, но в ГЭБ они используются неожиданным способом, проводя параллели с автореферентностью и странными петлями. Увязав воедино Баха, Эшера, теорему Гёделя о неполноте и формальные системы, Хофштадтер создал очень оригинальную книгу.
Что я вынес лично для себя?
Формальные системы существуют практически везде. Вообще изучение устройства любых систем мне кажется сейчас интересным и полезным занятием для любого программиста. Кодирование информации в ДНК и Гёделева нумерация выглядят очень мощной штукой.
В мире все связано гораздо теснее, чем кажется на первый взгляд.
Хочется подумать, как скрестить ИИ и управление проектами. Насколько вообще это реально? Имеет ли смысл? Хотя бы в минимальном объеме.
Еще раз убедился, что хороший программист должен понимать LISP. Хрен с ним с применением, но познакомиться и понять — должен.
Проблематика ИИ, вероятно, самое интересное, что есть в программировании. К сожалению, все это очень трудоемко и требует больших вложений денег с неясным результатом. А также долгой и серьезной подготовки, уровень входа высокий. Не исключаю, что это next big thing чем бы я хотел заняться.
Книгу можно рекомендовать к прочтению любому программисту, в не зависимости от уровня подготовки. Для студентов — в самый раз. Очень жалею, что не прочитал ее лет 10 назад. Но лучше поздно, чем никогда.
В концепции Странных Петель скрыта идея бесконечности, ибо что такое Петля, как не способ представить бесконечный процесс в конечной форме?
…
Работа специалистов по ИИ кажется странной и удивительной именно потому, что они разрабатывают строго формальные правила, говорящие негибким машинам, как стать гибкими
…
Черепаха : Вы действительно верите всем этом сказкам о БОГе, Ахилл? Ахилл : Ну конечно, верю. А вы что же, атеистка г-жа Черепаха? Или агностик? Черепаха : Не думаю. Может быть, я — мета-агностик.
…
Одна из основных способностей, необходимых в компьютерном программировании, — это умение заметить, когда два явления схожи в широком смысле, поскольку это ведет к модуляризации
…
Развивая эту идею, мы приходим к мысли, что достаточно сложная рекурсивная система может быть настолько мощной, что она в конце концов вырвется за пределы любой установленной заранее схемы. Но не это ли одно из основных свойств разума? Вместо того, чтобы рассматривать программы, просто вызывающие самих себя, нельзя ли попытаться создать изменяющиеся программы — программы, действующие на другие программы, улучшая, расширяя, обобщая и налаживая их? В самом сердце разума, возможно, лежит именно такой тип «переплетающейся рекурсивности
…
Ахилл: Мне тоже не давала покоя эта мысль. Но думаю, что я, наконец, нашел ответ: к дзену можно подходить по любой дороге, даже если эта дорога кажется ведущей совершенно в другую сторону. По мере того, как вы к нему приближаетесь, вы учитесь отходить от дороги в сторону; и чем больше вы отходите в сторону, тем ближе вы подходите к дзену. Черепаха: Теперь все кажется совсем простым.
…
Гёдель нашел простой способ выразить высказывание «ТТЧ непротиворечива» в виде формулы ТТЧ; после чего он показал, что эта формула (как и все другие формулы, выражающие похожую идею) является теоремой ТТЧ только при одном условии: если ТТЧ противоречива. Этот еретический результат был тяжелым ударом для оптимистов, считавшим, что возможно найти строгое доказательство непротиворечивости математики.
…
Иными словами, энзимы — это универсальные механизмы клеточных операций. Существуют энзимы соединяющие, энзимы разделяющие, энзимы изменяющие, энзимы активирующие и дезактивирующие, энзимы копирующие, чинящие, разрушающие…
…
Я вообще чрезвычайный скептик, как вы оба отлично знаете. Меня очень трудно в чем-либо убедить, неважно, истина это или ложь.
…
Оказывается, что иметь одну и ту же информацию, закодированную в нескольких разных формах для разных целей, очень полезно
…
Ахилл: Ага; и сколько же у этого аппарата скоростей? Ленивец: Включая задний ход, одна. У большинства моделей скоростей меньше, но эта была сделана по спецзаказу.