infinite search in finite time with Hilbert's epsilon