The claim conflates sufficient formalizability with vindication of Turing's original analysis, overl...
This proposition has not been edited since the history system was added.