**Stephen G. Simpson
Department of Mathematics
Pennsylvania State University
**

**February 4, 1986**

This article was originally written in MathText in January 1986. It was published in 1988 in the Journal of Symbolic Logic, volume 53, pages 349-363. The conversion to LaTeX was performed on December 7, 1996.

- Introduction
- Hilbert's Statement of His Program
- A Precise Explication of Hilbert's Program
- Partial Realizations of Hilbert's Program
- The Role of Reverse Mathematics
- Answers to Some Possible Objections
- Bibliography
- About this document ...