psilogic: (Default)
psilogic ([personal profile] psilogic) wrote2006-04-08 04:47 pm

Парадокс Ришара

Попробуйте "расколоть" :)

Берем русские тексты не длиннее, чем в 1000 символов (скажем, в кодировке Win-1251). Некоторые из этих текстов будут определять целые числа. Например, текст "восемнадцать" определит число 18, текст "обычное количество пальцев на одной руке человека" определит число 5, а текст "число колес у автомобиля 'запорожец', помноженное на 10" определит число 40. И так далее. Таких текстов можно придумать очень много, но все-таки их количество будет конечно (поскольку мы ограничили число букв). Возьмем теперь самое большое число, которое было определено таким образом, обозначим его N. Речь идет о числе N+100.

-- Предыдущий абзац не длиннее, чем в 1000 символов, но определяет число, которое по идее никак не может определять. Ведь мы договорились, что максимальное число, определяемое такими текстами, равно N, а этот текст определил число еще больше.

[identity profile] dragon-ru.livejournal.com 2006-04-08 04:44 pm (UTC)(link)
/* Т.е. учитываются только такие тексты, которые однозначно определяют какое-нибудь целое число. */

Вот-вот. А этот текст - не является однозначно определяющим число. Если предположить, что он его определяет, получим, что он начинает определять другое число :) Т.е., противоречие.

[identity profile] psilogic.livejournal.com 2006-04-08 09:05 pm (UTC)(link)
Ну... в общем, мне именно такое решение тоже пришло в голову. Надеюсь, что оно правильное.