Парадокс Берри — парадокс самореференции, заключённый во фразе «наименьшее натуральное число, которое нельзя описать менее чем заданным количеством слов» (англ. «the smallest possible integer not definable by a given number of words»). Впервые парадокс опубликован Бертраном Расселлом, приписав его авторство Дж. Дж. Берри (1867—1928)[1], младшему библиотекарю Бодлианской библиотеки в Оксфорде. Считается, что Берри нашёл лишь частный случай парадокса — «первое неопределяемое порядковое» (англ. the first undefinable ordinal).
Рассмотрим выражение:
Поскольку слов конечное число, существует конечное множество фраз из менее чем одиннадцати слов, и, следовательно, конечное подмножество натуральных чисел, определяемых фразой из одиннадцати слов. Однако множество натуральных чисел бесконечно, следовательно, существуют числа, которые нельзя определить фразой из менее чем одиннадцати слов. Среди них, очевидно, существует наименьшее натуральное число (наименьшее число можно выбрать из любого подмножества натуральных чисел), «не описываемое менее чем одиннадцатью словами». Но именно это число определяется приведённой выше фразой и в ней менее одиннадцати слов, а значит, не может являться искомым наименьшим числом и не может описываться данной фразой. Возникает парадокс: должно существовать число, описываемое данной фразой, но поскольку выражение само себе противоречит, не может существовать числа, им описываемого.
Данная страница на сайте WikiSort.ru содержит текст со страницы сайта "Википедия".
Если Вы хотите её отредактировать, то можете сделать это на странице редактирования в Википедии.
Если сделанные Вами правки не будут кем-нибудь удалены, то через несколько дней они появятся на сайте WikiSort.ru .