237174

(2003) Synthese 137 (1-2).

Hilbert's program revisited

Panu Raatikainen

pp. 157-177

After sketching the main lines of Hilbert's program, certain well-known andinfluential interpretations of the program are critically evaluated, and analternative interpretation is presented. Finally, some recent developments inlogic related to Hilbert's program are reviewed.

Publication details

DOI: 10.1023/A:1026287119565

Full citation:

Raatikainen, P. (2003). Hilbert's program revisited. Synthese 137 (1-2), pp. 157-177.

This document is unfortunately not available for download at the moment.