Собственно это пример огромной программы, от которой у нас никогда не будет исходников в терминологии современных АИ.
Речь шла изначально о хранении неограниченного количества информации в рамках доступной вселенной.
Вам сказали, что хранить данных больше чем есть элементов во вселенной невозможно, а соответственно невозможны бесконечные программы.
Вы сделали предположение, что хранить информацию можно без массы и на этом построили свои дальнейшие выводы.
Можно ли что-то доказывать, основываясь на таких предположениях? Я считаю что нет.