Definition:Hilbert's Program/Linguistic Note

Linguistic Note on Hilbert's Program
Hilbert's program is presented in British English sources as Hilbert's programme.