Turing-completeness defines a specific formal capability; calling it 'most general computation' conf...
This proposition has not been edited since the history system was added.