:From Kant to Hilbert: A Source Book in the Foundations of Mathematics