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] psilogic.livejournal.com 2006-04-08 01:07 pm (UTC)(link)
Согласно Ришару - по смыслу. Т.е. учитываются только такие тексты, которые однозначно определяют какое-нибудь целое число.

[identity profile] moola.livejournal.com 2006-04-08 01:12 pm (UTC)(link)
ок.
приобразование текста в число "по смыслу" не является математической функцией от текста.
например "последнее число, которое вы получили в результате последнего такого преобразования"
в таком случае совершенно не понятно о каком таком "теперь самое большое число, которое было определено таким образом" идет речь.

[identity profile] psilogic.livejournal.com 2006-04-08 01:17 pm (UTC)(link)
не является математической функцией от текста

Ага. И чего? :)

[identity profile] moola.livejournal.com 2006-04-08 01:23 pm (UTC)(link)
вот собсвенно и все. =)

после этого смысл фразы "теперь самое большое число, которое было определено таким образом" мне становится недоступен =)

[identity profile] psilogic.livejournal.com 2006-04-08 02:41 pm (UTC)(link)
Ну... проблемы moola Ришара не... :)))

[identity profile] moola.livejournal.com 2006-04-08 02:48 pm (UTC)(link)
я не вижу здесь никакого пародокса.
мне кажется я довольно внятно объяснил почему. тебе объяснениии что-то не понятно или ты с ним не согласен?

[identity profile] psilogic.livejournal.com 2006-04-08 09:04 pm (UTC)(link)
Я считаю, что твои рассуждения равносильны таким "решениям" парадокса, как "не хочу" или "не буду". Если ты не видишь парадокса, то что я тут могу поделать, не лечить же зрение? :)

[identity profile] moola.livejournal.com 2006-04-10 01:15 am (UTC)(link)
А: Офигенный парадокс - число, которое больше себя на три.
Б: Такого не бывает.
А: Ну это твои проблемы что ты не видишь этом парадокса.
Б: (пожимает плечами) ...

[identity profile] psilogic.livejournal.com 2006-04-10 06:07 am (UTC)(link)
число, которое больше себя на три.

там не говорится, что "себя"

[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)
Ну... в общем, мне именно такое решение тоже пришло в голову. Надеюсь, что оно правильное.