The "24th problem" (in proof theory, on a criterion for simplicity and general methods) was rediscovered in Hilbert's original manuscript notes by German historian Rüdiger Thiele  in 2000.
Το "24ο πρόβλημα" (στη θεωρία αποδείξεων, για ένα κριτήριο προς απλούστευση και γενίκευση των αποδεικτικών μεθόδων) ανακαλύφθηκε στα προσωπικά χειρόγραφα του Χίλμπερτ από τον Γερμανό Ρουίντιγκερ Θίλε το 2000.