6
Неразрешимые проблемы ограничивают физические теории
Означает ли существование неразрешимых проблем непосредственную непредсказуемость физических систем? Давайте рассмотрим проблему остановки, сначала мы построим физический UTM, скажем, используя обычную конструкцию на основе схем. Тогда не может быть никакой разрешимой физической теории, которая могла бы определить, при любой входной настройке цепей, остановится ли цепь. Это кажется тривиальностью, но разве …