формулирую наш Первый Постулат:
Постулат 1. Пришельцы существуют.
Комментарии к Постулату 1:
1. Речь идет о пришельцах в первом смысле данного термина – то есть об инопланетянах или хронавтах (пришельцах из другого времени).
2. Существование пришельцев понимается достаточно широко: Они существуют в своих мирах и в космосе, Они присутствуют на Земле в данный момент, Они посещали Землю прежде – в доисторическую и историческую эпохи.
3. Конкретная разновидность пришельцев пока не оговаривается; возможно, они принадлежат к какой-то одной расе, возможно, таких рас несколько.
Постулат 2. Пришельцы – высокоразумные существа.
Комментарии к Постулату 2:
1. Смысл Второго Постулата в том, что пришельцы не только обладают высочайшей технологией и культурой, но также способны оценивать далекие последствия своих поступков и разбираются в житейских ситуациях – иначе говоря, Они не наивны, не простодушны, и хотя быть может сами не лгут и не убивают, прекрасно знакомы с категориями обмана и убийства.
2. Высокий разум пришельцев не означает, что Их этика совпадает с нашей.
Теперь нам ясно, что Первая Теорема, рассмотренная в предыдушей главе, была доказана на основе Постулатов 1 и 2. Сделав это замечание, попытаюсь разъяснить предлагаемые мной условия игры.
Постулат или аксиома есть умозаключение, принимаемое без доказательства; всякая теория – то есть совокупность гипотез, моделей и теорем (или их аналогов в менее точных науках, чем математика) строится на основе определенной аксиоматики. Можно, например, принять такой постулат: Бог существует; на основе этого постулата базируются наши религиозно-теологические воззрения. Можно принять другой постулат: Бог не существует; на его основе зиждется рациональное знание и, следовательно, наука. Хотя эти постулаты противоречат друг другу, возведенные на них конструкции вполне логичны и каждая по-своему полезна для человечества. Нам же надо уяснить главное: о постулатах не спорят, их используют в качестве фундамента дедуктивной логической постройки.
Приведу еще один пример взаимно противоречащих аксиом, на этот раз из области геометрии. Если считать, что две параллельные прямые не пересекаются в бесконечности, то мы, привлекая другие, более очевидные постулаты, получим геометрию Евклида. Если отвергнуть сформулированный выше постулат, мы получим неевклидову геометрию, созданную Риманом и Лобачевским. Вопрос о том, какая из этих геометрий верна, не имеет смысла; каждая применяется при определенных обстоятельствах для описания определенных явлений.
Мы фактически поступим таким же образом: не будем ввязываться в споры, существуют пришельцы или нет, а примем этот факт как данное и посмотрим, что из этого выйдет. У нас должна получиться некая теория, объясняющая действия пришельцев и, возможно, подходящая для всяческих полезных прогнозов, сколь бы невероятными они ни выглядели. В каком качестве вы будете рассматривать эту теорию – как нечто
