Думаю я догадываюсь, о чем ТС говорит.
Он говорит о несжимаемости чудовищно больших чисел. Алгоритмически (грамматически).
Кажется естественным, что истинно случайные числа, истинно случайны именно потому, что их невозможно «сжать», т.е. описать алгоритмически за меньшее число шагов, чем сама запись числа (неважно в какой системе счисления).
Я это понял довольно давно, когда узнал про функцию Аккермана и ранее о числе Грема.
(Оффтоп)
Самая суть вопроса в следующем:
Цитата:
Простите, но зачем нам записывать все числа в диапазоне, если для любых разумных целей достаточно иметь возможность записать любое конкретное число из того же диапазона?
На самом деле, придумывают «алгоритмы» записать диапазоны очень больших чисел (сами числа), а не числа в диапазоне. Чем сильнее алгоритм (т.е. способ записи оч. Больших чисел), тем больше реальных чисел он упускает. Их просто невозможно записать. Я имею в виду числа из диапазона между шагами. На числе Грэма это уже возможно заметить, почувствовать. Но на числах Джонатана Бауэрса, это просто бросается в глаза. Он строит такие большие числа, что случайное число из диапазона любого предыдущего и следующего числа (аналога логического следования или скобки в формальной арифметике) просто невозможно выписать или даже представить. Т.е. границы диапазона известны и заданы алгоритмом его записи. Это умещается в лист бумаги или на экране монитора. Но любое действительно случайное число из этого диапазона совершенно недоступно. Чтобы его записать не хватит ничего, даже в самой сжатой записи. Ту запись, которую используют для верхней границы диапазона можно уместить на одном листе формата А4, да и для нижнего числа тоже. А вот для истинно случайного промежуточного (несжимаемого) числа не хватит ничего материального ни в нашей вселенной ни во всех воображаемых за все реальное или воображаемое время.
(Оффтоп)
Бесконечноскребы Д. Бауэрса, для поднятия тонуса:
https://science.d3.ru/beskonechnoskriob ... ing=ratingДумаю, люди занимающиеся недостижимыми кардиналами и сильными аксиомами в ТМ примерно такие же "бесконечносребы, но со своими тараканами. Т.к. счетная бесконечность, в некотором смысле гораздо проще и ближе, чем эти чудовищно большие, но конечные числа.