Hilbert's logic. From axiomatics to proof theory
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.
development of David Hilbert's views on foundational questions
scientific article; zbMATH DE number 1208069
scientific article