If you told me you wanted to count through all the natural numbers but we’re going to skip the evens, how much time would you save.
In the article's scenario there are a finite number of Turing machines to check in order to find one that matches the specification. So, eliminating some of them will lead to a speed up.