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

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

34. Ета Ойн: Расположи голубую пирамиду на кубике в коробке.

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

ШРДЛУ: ХОРОШО.

35. Ета Ойн: Есть ли здесь что-нибудь что больше любой пирамиды, но не так широко, как то на чем оно стоит?

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

ШРДЛУ: ДА ГОЛУБОЙ КУБИК.

36. Ета Ойн: Расположена ли колокольня.

ШРДЛУ: ПРОСТИТЕ, Я НЕ ЗНАЮ СЛОВА «КОЛОКОЛЬНЯ».

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

37. Ета Ойн: «Колокольня» это башня, построенная из двух зеленых кубов и пирамиды.

Д-р Тире-Рвинога: Кавычки означают, что вы определяете новое слово. Определение добавляется к словарю ШРДЛУ в форме, совместимой с тем, что она уже знает.

ШРДЛУ: Я ПОНИМАЮ.

38. Ета Ойн: Есть ли сейчас здесь колокольни?

ШРДЛУ; НЕТ.

Д-р Тире-Рвинога: Новое определение используется как описание, чтобы отличать колокольни.

39. Ета Ойн: Построй ее.

ШРДЛУ: ХОРОШО.

Д-р Тире-Рвинога: Описания, данного в определении, достаточно для того, чтобы выработать план построения новых объектов, и для того, чтобы их узнавать. Слово «ее» означает «колокольню», и план приводится в исполнение. Сначала освобождается один из больших зеленых кубов — с него снимается красный куб и две пирамиды. Затем два зеленых куба и высокая красная пирамида ставятся друг на друга соответствующим описанию образом.

40. Ета Ойн: Называй наибольший кубик «суперкубиком».

ШРДЛУ: ХОРОШО.

Д-р Тире-Рвинога: Можно давать предметам имена.

41. Ета Ойн: Ты брала суперкубик с тех пор, как мы начали?

ШРДЛУ: ДА.

42. Ета Ойн: Почему ты его уронила?

ШРДЛУ: Я ЗАКЛЮЧАЮ, ЧТО ПОД «НИМ» ВЫ ИМЕЕТЕ В ВИДУ СУПЕРКУБИК. Я НЕ МОГУ ОБЪЯСНИТЬ НЕСЛУЧИВШЕЕСЯ СОБЫТИЕ.

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

43. Ета Ойн: Есть ли что-нибудь слева от красной пирамиды?

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

Д-р Тире-Рвинога: Когда предмет получает название, оно затем используется в ответах для идентификации этого предмета.

44. Ета Ойн: Спасибо.

ШРДЛУ: ПОЖАЛУЙСТА!

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

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

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

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

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

Математика