6
Nierozstrzygalne problemy ograniczają teorie fizyczne
Czy istnienie nierozwiązywalnych problemów natychmiast implikuje nieprzewidywalność układów fizycznych? Rozważmy problem zatrzymania, najpierw konstruujemy fizyczny UTM, powiedzmy, używając zwykłej konstrukcji opartej na obwodach. Wtedy nie może istnieć rozstrzygalna teoria fizyczna, która mogłaby określić, przy dowolnym ustawieniu wejściowym obwodów, czy obwód się zatrzyma. Wydaje się to trywialnością, ale czy nie daje …