Turing machines admit natural formalization within proof theory via theories like arithmetic, demons...
This proposition has not been edited since the history system was added.