Исправление SZT, (текущая версия) :
Ты просто очень криво определил это своё число. Нужно какое-то правило, по которому эти самые программы перебираются. Например, порядковый номер программы это число в 8-ричной системе счисления, соответственно, каждая цифра - одна команда brainfuck. В этом случае вычисление произвольного (но конечного) знака твоего бесконечного числа становится реальным.
Естественно, можно просто все программы отсортировать по какому-то критерию, например рассматривая сам код как некое число, и отсортировать по этому числу, это не так важно, важно чтобы для любой программы конечной длины в этом числе был бы конкретный бит, который бы характеризовал завершимость или незавершимость этой программы. Вот тогда это самое число со всеми его битами становится невычислимым, т.е. не все биты этого числа можно посчитать на МТ
А у тебя сейчас «давайте придумаем число, у которого все цифры взяты произвольно, но при этом вполне конкретные».
Нет, у меня скорее «а есть ли такое число, которое было бы таким же невычислимым на МТ, но при этом можно было бы поставить физический эксперимент или серию физических экспериментов, в ходе которых можно было бы абсолютно достоверно найти любой знак этого числа?»
Исправление SZT, :
Ты просто очень криво определил это своё число. Нужно какое-то правило, по которому эти самые программы перебираются. Например, порядковый номер программы это число в 8-ричной системе счисления, соответственно, каждая цифра - одна команда brainfuck. В этом случае вычисление произвольного (но конечного) знака твоего бесконечного числа становится реальным.
Естественно, можно просто все программы отсортировать по какому-то критерию, например рассматривая сам код как некое число, и отсортировать по этому числу, это не так важно, важно чтобы для любой программы конечной длины был бы конкретный битик, который бы характеризовал завершимость или незавершимость этой программы. Вот тогда это самое число со всеми его битами становится невычислимым, т.е. не все биты этого числа можно посчитать на МТ
А у тебя сейчас «давайте придумаем число, у которого все цифры взяты произвольно, но при этом вполне конкретные».
Нет, у меня скорее «а есть ли такое число, которое было бы таким же невычислимым на МТ, но при этом можно было бы поставить физический эксперимент или серию физических экспериментов, в ходе которых можно было бы абсолютно достоверно найти любой знак этого числа?»
Исходная версия SZT, :
Ты просто очень криво определил это своё число. Нужно какое-то правило, по которому эти самые программы перебираются. Например, порядковый номер программы это число в 8-ричной системе счисления, соответственно, каждая цифра - одна команда brainfuck. В этом случае вычисление произвольного (но конечного) знака твоего бесконечного числа становится реальным.
Естественно, можно просто все программы отсортировать по какому-то критерию, например рассматривая сам код как некое число, и отсортировать по этому числу, это не так важно, важно чтобы для любой программы конечной длины был бы конкретный битик, который бы характеризовал завершимость или незавершимость этой программы. Вот тогда это самое число со всеми его битами становится невычислимым, т.е. не все биты этого числа можно посчитать на МТ
А у тебя сейчас «давайте придумаем число, у которого все цифры взяты произвольно, но при этом вполне конкретные».
Нет, у меня скорее «а есть ли такое число, которое было бы таким же невычислимым на МТ, но при этом можно было бы поставить физический эксперимент или серию физических экспериментов, в ходе которых можно было бы экспериментально и абсолютно достоверно найти любой знак этого числа?»