Bernays's entry on Hilbert still reads, after forty years, as a wonderful account of the essential contributions by Hilbert to the foundations of geometry and proof theory. However, recent developments have substantially increased the understanding of Hilbert's original investigations and pushed these investigations further. The following bibliography will help the reader navigate among the most important recent contributions. It is divided into four parts: (1) contributions to Hilbert's biography and mathematical work emerging from Hilbert's famous list of problems given in Paris in 1900; (2) historical work related to Hilbert's foundational views; (3) logico-foundational and philosophical developments related to Hilbert's program; and (4) ongoing work of publication of Hilbert's and Bernays's work.

See Also

Mathematics, Foundations Of.

Bibliography

Biography and Mathematical Developments Emerging from Hilbert's Problems

The only book-length biography available is Constance Reid's Hilbert (New York: Springer, 1970). For mathematical developments arising from Hilbert's list of 23 problems in Paris...