Финиковый накатайка

Мы знаем первые 4 истинно случайных числа.
И с натяжкой пятое.
Также мы знаем верна ли гипотеза Гольдбаха.

Но всё это лишь потенциально...

Так, ну нам известно что существует построенная машина Тьюринга, останавливающаяся (переходящая в состояние hlt) если гипотеза Гольдбаха неверна¹. Соответственно, машина должна зацикливаться если гипотеза верна. Стоило бы узнать число шагов, после которого мы сможем точно сказать, остановилась машина, или зациклилась. Как вычислить такое число шагов? Возьмём другую машину Тьюринга, с тем же числом состояний и запустим её на ленте, содержащей только нули. Узнав максимальное число единиц, которое эта машина может написать на ленту и остановится, а не зациклится, мы соответственно сможем и узнать когда машина Тьюринга докажет гипотезу Гольдбаха.

В чём проблема?

Проблема в том, что мы знаем максимально возможное число печатаемых единиц от 0 состояний — это 1. Для 1 — 4, для 2 — 6, для 3 — 13. Для 4х — это возможно 4098, а для 5 состояний это число точно больше 10¹⁸²⁶⁷. Видно, что это число растёт быстрее любой вычислимой функции. Это число можем обозначить как BB(n), где BB— beasy beaver, a n — число состояний машины. BB(a), где а ≥ 5 по определению имеет бесконечную Колмогоровскую сложность, и соответственно эти числа можно назвать истинно случайными!

¹см предыдущий пост и картинку

#выдернуто #нЛВ

www.tgoop.com/logic_sip/204

153 viewsedited  Jan 12 at 16:29

Мы знаем первые 4 истинно случайных числа.
И с натяжкой пятое.
Также мы знаем верна ли гипотеза Гольдбаха.

Но всё это лишь потенциально...

Так, ну нам известно что существует построенная машина Тьюринга, останавливающаяся (переходящая в состояние hlt) если гипотеза Гольдбаха неверна¹. Соответственно, машина должна зацикливаться если гипотеза верна. Стоило бы узнать число шагов, после которого мы сможем точно сказать, остановилась машина, или зациклилась. Как вычислить такое число шагов? Возьмём другую машину Тьюринга, с тем же числом состояний и запустим её на ленте, содержащей только нули. Узнав максимальное число единиц, которое эта машина может написать на ленту и остановится, а не зациклится, мы соответственно сможем и узнать когда машина Тьюринга докажет гипотезу Гольдбаха.

В чём проблема?

Проблема в том, что мы знаем максимально возможное число печатаемых единиц от 0 состояний — это 1. Для 1 — 4, для 2 — 6, для 3 — 13. Для 4х — это возможно 4098, а для 5 состояний это число точно больше 10¹⁸²⁶⁷. Видно, что это число растёт быстрее любой вычислимой функции. Это число можем обозначить как BB(n), где BB— beasy beaver, a n — число состояний машины. BB(a), где а ≥ 5 по определению имеет бесконечную Колмогоровскую сложность, и соответственно эти числа можно назвать истинно случайными!

¹см предыдущий пост и картинку

#выдернуто #нЛВ

BY Финиковый накатайка