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