In 1920 he proposed explicitly a research project in metamathematics , which became known as Hilbert 's program . In 1920 he proposed explicitly a research project ( in metamathematics , as it was then termed ) that became known as Hilbert 's program .