Краткое содержание

Хофштадтер разбирает так называемую головоломку MU, где из нескольких правил можно строить разные цепочки изначальных элементов. Но ни одно построение не может ответить на вопрос, является ли цепочка теоремой от изначальной аксиомы MU.

Ключевые понятия главы

алгоритм разрешения инвариант

Действующие лица / персоналии

Эмиль Пост (создать карточку + портрет)

Связь с диалогом

Вопросы для обсуждения на семинаре

Что такое инвариант? Роль инвариантов в познании.

Комментарий ведущего

Мне нравится намёк на японский коан про “Му”.

  • Вопрос монаха: «Обладает ли собака природой Будды (пустотой и способностью к просветлению) или нет?»
  • Ответ мастера Чжаочжоу: «Му!» (кит. / яп. 無 — «нет», «небытие», «ничто», абсолютное отрицание)

Возможно, поэтому в некоторых местах коровы священны, они всё время провозглашают “абсолютное отрицание”. (Это шутка).