View source for Hilbert's program

'''Hilbert's program''' was a proposed research project in the foundations of mathematics, formulated by mathematician [[David Hilbert]] in the 1920s, to provide all of mathematics with a secure, consistent, and complete formal foundation. The program sought to resolve the foundational