Парадоксы и апории
Парадокс Берри
Парадокс самореференции, возникающий из попытки описать число как неописуемое заданным числом слов.
Краткое введение
Парадокс Берри связан с фразой вроде «наименьшее натуральное число, которое нельзя описать менее чем одиннадцатью словами». Если такое число неописуемо кратко, сама эта фраза, кажется, его кратко описывает. Парадокс показывает трудности, возникающие на границе языка, определения и самореференции.
Развернутое чтение
Парадокс Берри — один из тонких семантических парадоксов, связанных с определимостью. Его классическая форма звучит примерно так: «наименьшее натуральное число, которое нельзя описать менее чем одиннадцатью словами». Фраза пытается указать на число через его неописуемость, но тем самым, кажется, уже описывает его.
Парадокс был введён в логико-философский оборот Бертраном Расселом, который связывал его с Дж. Дж. Берри, библиотекарем Бодлианской библиотеки. Сам сюжет принадлежит той же семье проблем, что и парадокс лжеца, парадокс Ришара и другие трудности самореференции.
На первый взгляд рассуждение выглядит убедительно. Фраз из ограниченного числа слов конечное количество, а натуральных чисел бесконечно много. Значит, должны существовать числа, которые нельзя описать короткими фразами. Среди них, поскольку натуральные числа упорядочены, должно быть наименьшее.
Но как только мы называем это число «наименьшим натуральным числом, которое нельзя описать менее чем одиннадцатью словами», мы как будто даём ему короткое описание. Получается, что число одновременно не может быть описано данной длиной и описывается именно ею. Так язык создаёт ловушку в самом акте определения.
Философский смысл парадокса в том, что понятие «описать» оказывается не таким простым, как кажется. Что считать описанием? В каком языке? По каким правилам? Должно ли описание быть однозначным, вычислимым, допустимым в формальной системе? Без уточнения этих условий естественный язык начинает производить самопротиворечия.
Парадокс Берри особенно важен для логики и теории формальных языков. Он показывает, почему математике и логике приходится ограничивать способы определения объектов. Нельзя безнаказанно позволять языку говорить обо всех собственных описательных возможностях, не задавая уровней и правил.
В культурном смысле этот парадокс напоминает о странной власти именования. Иногда попытка назвать невозможность уже нарушает саму невозможность. Нечто объявляется невыразимым, но это объявление становится формой выражения.
Интеллектуальная ценность парадокса Берри в том, что он раскрывает тонкую связь между числом и словом. Он показывает, что даже строгая математика нуждается в осторожности языка, а язык, предоставленный самому себе, способен описать неописуемое так, что разрушает собственное описание.
Стоит языку назвать неописуемое, как он сам становится частью парадокса.