Викия

Математика

Парадокс Тристрама Шенди

1457статей на
этой вики
Добавить новую страницу
Обсуждение0 Share

Обнаружено использование расширения AdBlock.


Викия — это свободный ресурс, который существует и развивается за счёт рекламы. Для блокирующих рекламу пользователей мы предоставляем модифицированную версию сайта.

Викия не будет доступна для последующих модификаций. Если вы желаете продолжать работать со страницей, то, пожалуйста, отключите расширение для блокировки рекламы.

Рассуждение, предложенное Расселом в книге Mysticism and Logic в связи с понятием равномощности множеств (см.Мощность множества), демонстрирующее нарушение интуитивного принципа «часть меньше целого» для бесконечных множеств.

ФормулировкаПравить

В романе Стерна «Жизнь и мнения Тристрама Шенди, джентльмена» герой обнаруживает, что ему потребовался целый год, чтобы изложить события первого дня его жизни, и еще один год понадобился, чтобы описать второй день. В связи с этим герой сетует, что материал его биографии будет накапливаться быстрее, чем он сможет его обработать, и он никогда не сможет ее завершить. «Теперь я утверждаю, — возражает на это Рассел, — что если бы он жил вечно и его работа не стала бы ему в тягость, даже если бы его жизнь продолжала быть столь же богатой событиями, как вначале, то ни одна из частей его биографии не осталась бы ненаписанной».

Действительно, события n-го дня Шенди мог бы описать за n-й год и, таким образом, в его автобиографии каждый день оказался бы запечатленным. Иначе говоря, если бы жизнь длилась бесконечно, то она насчитывала бы столько же лет, сколько дней.

АналогияПравить

Ряд натуральных чисел можно поставить во взаимно однозначное соответствие с рядами квадратов натуральных чисел, степеней двойки, факториалов и т. п.:

1 2 3 4 5...

1 4 9 16 25...

2 4 8 16 32...

1 2 6 24 120...

Можно привести примеры рядов натуральных чисел со всё более быстрым ростом, представителей которых, как бы редко они ни были расположены в натуральном ряду, будет столько же, сколько натуральных чисел.

ВыводыПравить

Данное рассуждение демонстрирует нарушение принципа «часть меньше целого», которое характерно для бесконечных множеств и даже может быть использовано для отличения их от конечных. Критерий бесконечности множества, предложенный Дедекиндом, формулируется следующим образом: «множество является бесконечным, тогда и только тогда, когда оно равномощно некоторой своей части». Можно доказать, что критерий Дедекинда в аксиоматической теории множеств эквивалентен определению бесконечного множества как множества, содержащего счётное подмножество элементов.

СсылкиПравить

Викия-сеть

Случайная вики