Hilbert's program revisited

Panu Raatikainen

pp. 157-177

in: Juliette Kennedy, Paul-Gabriel Sandu (eds), History of logic, Synthese 137, 2003.

Abstract

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.

Cited authors

Hilbert David