David Hilbert (* 23. Januar 1862 in Königsberg; † 14. Februar 1943 in Göttingen) war einer der bedeutendsten Mathematiker der Neuzeit. Viele seiner Arbeiten in Mathematik und mathematischer Physik begründeten eigenständige Forschungsgebiete.
Hilbert gilt als Begründer und exponiertester Vertreter der Richtung des Formalismus in der Mathematik. Bereits in der Liste der ungelösten Probleme wies Hilbert darauf hin, dass die Widerspruchsfreiheit der Arithmetik nicht geklärt sei.