Hilbert’s program. In the Stanford encyclopedia of philosophy, http://plato.stanford.edu/entries/hilbert-program (0)

by Richard Zach