infinite search in finite time with Hilbert's epsilon - View it on GitHub