Здравствуйте, Bill Baklushi, Вы писали:

BB>И для фоннеймановской машины не так-то просто предсказать состояние.
BB>Есть "проблема оснанова", т.е. не существует универсального алгоритма анализа программ.
Проблема останова и предсказание состояния программы на N-й итерации — это разные задачи.
Детерминированность — это про второе, если есть программа — значит состояние в точки N+1 однозначно определено состоянием в точке N.

BB>А если машина использует случайность — анализ усложняется еще больше.
BB>Природные нейросети гораздо сложнее конечных автоматов и анализу поддаются еще хуже.
Не очень понял почему тут про случайности, когда Sinclair говорит про полный детерминизм.
Ну и да, для таких задач используют вероятностные автоматы.

Здравствуйте, Bill Baklushi, Вы писали:

BB>И для фоннеймановской машины не так-то просто предсказать состояние.
BB>Есть "проблема оснанова", т.е. не существует универсального алгоритма анализа программ.
Проблема останова и предсказание состояния программы на N-й итерации — это разные задачи.
Детерминированность — это про второе, если есть программа — значит состояние в точки N+1 однозначно определено состоянием в точке N.

BB>А если машина использует случайность — анализ усложняется еще больше.
BB>Природные нейросети гораздо сложнее конечных автоматов и анализу поддаются еще хуже.
Не очень понял почему тут про случайности, когда Sinclair говорит про полный детерминизм.
Ну и да, для таких задач используют вероятностные автоматы.

И честно говоря, не очень понял, как это все отвечает на мой вопрос:
MVK>Чем такая "свобода воли" отличается от свободы воли программы которую я написал?
Если, конечно, ты пытался на него ответить.