Zach, Richard, ‘Hilbert’s Program’, The Stanford Encyclopedia of Philosophy, edited by Zalta, Edward N. and Uri Nodelman, Winter 2023, Metaphysics Research Lab, Stanford University, 2023.
book chapter · https://plato.stanford.edu/archives/win2023/entries/hilbert-program/