Hilbert's logic. From axiomatics to proof theory (Q1267397)

This is a well-documented survey of the development of David Hilbert's views on foundational questions, starting with the foundations of geometry in the 1890s and ending with the proof-theoretical programme of the 1920s. The paper is organized around the question of Hilbert's understanding of logic and of its function in mathematics, the influences under which that understanding evolved, as well as its position in the foundational world of the 20th century.