|
|
ru.nethack- RU.NETHACK ------------------------------------------------------------------- From : 3APA3A 2:5020/400 26 Mar 2002 23:13:21 To : Dmitry Radishev Subject : Re: FTP -------------------------------------------------------------------------------- Hello, Dmitry! You wrote to 3APA3A on Wed, 20 Mar 2002 22:05:32 +0300: AA>> 4. Логическое. AA>> Любая машина основанная на классической логике оперирует только с AA>> конечными данными. Теоретически можно предположить, что файловая AA>> система tar на бесконечной ленте поддерживает бесконечное число AA>> файлов. Hо невозможно создать алгоритм создающий бесконечное число AA>> уникальных файлов. DR> ...ты очень вовремя вспомнил про tar :-) "Логическое" ограничение, DR> увы, не катит - согласно ему количество целых чисел тоже ограничено, DR> поскольку "невозможно создать алгоритм..." DR> Алгоритм создать возможно. Хотя бы взявши то же множество целых DR> чисел, и создавши по файлу на каждое число. Это во первых. DR> "Отсутствие ограничения" _не_ означает возможности создать DR> _бесконечное_ DR> количество файов. Бесконечности на практике не бывает, мы просто не Определение вычислимости алгоритма по Тьюрингу - это остановка машины после конечного числа итераций. Твой алгоритм не будет вычислимым. /3APA3A http://www.security.nnov.ru --- ifmail v.2.15dev5 * Origin: Demos online service (2:5020/400) Вернуться к списку тем, сортированных по: возрастание даты уменьшение даты тема автор
Архивное /ru.nethack/6577e010ee69.html, оценка из 5, голосов 10
|