Redirecting to Hilbert's program