How wonderful that we have met with a paradox. Now we have some hope of making progress.
The interplay between theory and practice in computer science is what drives innovation and progress.