In mathematics, Hilbert's program, formulated by German mathematician David Hilbert in the early part of the 20th century, was a proposed solution to the foundational crisis of mathematics, when early attempts to clarify the foundations of mathematics were found to suffer from paradoxes and inconsistencies.
Dalam matematika, program Hilbert , dirumuskan oleh matematikawan Jerman David Hilbert , adalah solusi yang diusulkan untuk krisis dasar matematika , ketika awal mencoba untuk mengklarifikasi dasar matematika yang ditemukan menderita paradoks dan inkonsistensi .