Читаем Гёдель, Эшер, Бах. Эта бесконечная гирлянда полностью

Д-р Тире-Рвинога: В предыдущем предложении это выражение было интерпретировано без проблем, так как его смысл был ясен из контекста. В этом случае эвристика для ликвидации двусмысленности не находит четкого решения и ШРДЛУ приходится просить у вас дополнительную информацию. При этом она использует перифразы словарных определений слова «на». Подобного разъяснения она может попросить также тогда, когда ей неясно значение местоимений, как, например, «это» или «они».

23. Eтa Ойн: Прикасалась ли ты к какой-нибудь еще пирамиде, прежде чем поставить зеленую на маленький куб?

ШРДЛУ: ДА, К ЗЕЛЕНОЙ.

Д-р Тире-Рвинога: ШРДЛУ «вспоминает», какое событие вы имеете в виду; она может соотносить события во времени. Для этого она анализирует глагольные времена и употребление наречий времени — специальные процедуры имеют дело с неправильными глаголами.

24. Ета Ойн: Когда ты ее брала?

ШРДЛУ: КОГДА Я СТРОИЛА БАШНЮ ИЗ КРАСНОГО КУБА И БОЛЬШИХ КУБИКОВ, КРАСНОГО И ЗЕЛЕНОГО.

Д-р Тире-Рвинога: Время здесь описано в терминах задачи, над которой ШРДЛУ работала в тот момент.

25. Ета Ойн: Почему?

Д-р Тире-Рвинога: Чтобы понять подобные вопросы, ШРДЛУ вспоминает предыдущие предложения.

ШРДЛУ: ЧТОБЫ ЕЕ УБРАТЬ.

Д-р Тире-Рвинога: Поскольку ШРДЛУ следит за первоначальным деревом подзадач, она в какой-то мере понимает мотивы собственных действий.

26. Ета Ойн: Почему тебе надо было это сделать?

ШРДЛУ: ЧТОБЫ ОСВОБОДИТЬ КРАСНЫЙ КУБ.

Д-р Тире-Рвинога: «Это» относится к действию, которое ШРДЛУ описывала в своем последнем ответе.

27. Ета Ойн: Зачем ты это освободила?

Д-р Тире-Рвинога: В данном случае «это» означает только что упомянутый куб.

ШРДЛУ: ЧТОБЫ ПОСТАВИТЬ ЕГО НА БОЛЬШОЙ ЗЕЛЕНЫЙ КУБ.

28. Ета Ойн: Зачем ты это сделала?

ШРДЛУ: ЧТОБЫ ПОСТАВИТЬ ДРУГ НА ДРУГА КРАСНЫЙ КУБ, БОЛЬШОЙ ЗЕЛЕНЫЙ КУБИК И БОЛЬШОЙ ЗЕЛЕНЫЙ КУБ.

29. Ета Ойн: Зачем ты это сделала?

ШРДЛУ: ПОТОМУ ЧТО ТЫ МЕНЯ ПОПРОСИЛА.

Д-р Тире-Рвинога: ШРДЛУ помнит, что она делала, и как была выражена команда.

30. Ета Ойн: Как ты это сделала?

Д-р Тире-Рвинога: «Это» относится к действию, упомянутому в последнем вопросе, а не к ответу на него.

ШРДЛУ: ПОЛОЖИВ БОЛЬШОЙ КРАСНЫЙ КУБИК НА СТОЛ; ЗАТЕМ ОТПУСТИВ ЕГО; ЗАТЕМ ПОЛОЖИВ НА НЕГО БОЛЬШОЙ ЗЕЛЕНЫЙ КУБ, ЗАТЕМ ОТПУСТИВ ЭТОТ КУБ, ЗАТЕМ ПОЛОЖИВ КРАСНЫЙ КУБ НА ЭТОТ КУБ; ЗАТЕМ ОТПУСТИВ ЭТОТ КУБ.

Д-р Тире-Рвинога: Это описание подзадач высшего уровня, использованных для достижения основной задачи.

31. Eтаa Ойн: К скольким предметам ты притронулась, пока это делала?

Д-р Тире-Рвинога: Отрезок времени может быть определен с помощью таких слов как «пока».

ШРДЛУ: К ЧЕТЫРЕМ.

32. Ета Ойн: Что стояло на красном кубе до того, как ты начала его освобождать?

ШРДЛУ: ЗЕЛЕНАЯ ПИРАМИДА.

Д-р Тире-Рвинога: Вспоминая, что она сделала, ШРДЛУ может делать выводы о предыдущей ситуации. Вы можете использовать сложные структуры с несколькими придаточными предложениями типа «до того, как ты начала его освобождать».

33. Ета Ойн: Слева от коробки находились тогда пять кубиков.

Д-р Тире-Рвинога: «Тогда» должно относиться ко времени, упомянутом в последней фразе.

ШРДЛУ: НЕТ, ТОЛЬКО ЧЕТЫРЕ КРАСНЫЙ КУБ, ДВА БОЛЬШИХ ЗЕЛЕНЫХ КУБА И БОЛЬШОЙ КРАСНЫЙ КУБИК.

Перейти на страницу:

Похожие книги

Простая одержимость
Простая одержимость

Сколько имеется простых чисел, не превышающих 20? Их восемь: 2, 3, 5, 7, 11, 13, 17 и 19. А сколько простых чисел, не превышающих миллиона? Миллиарда? Существует ли общая формула, которая могла бы избавить нас от прямого пересчета? Догадка, выдвинутая по этому поводу немецким математиком Бернхардом Риманом в 1859 году, для многих поколений ученых стала навязчивой идеей: изящная, интуитивно понятная и при этом совершенно недоказуемая, она остается одной из величайших нерешенных задач в современной математике. Неслучайно Математический Институт Клея включил гипотезу Римана в число семи «проблем тысячелетия», за решение каждой из которых установлена награда в один миллион долларов. Популярная и остроумная книга американского математика и публициста Джона Дербишира рассказывает о многочисленных попытках доказать (или опровергнуть) гипотезу Римана, предпринимавшихся за последние сто пятьдесят лет, а также о судьбах людей, одержимых этой задачей.

Джон Дербишир

Математика