Hilbert and the internal logic of mathematics

Yvon Gauthier

pp. 1-14

in: Synthese 101 (1), 1994.

Abstract

Hilbert's programme is shown to have been inspired in part by what we can call Kronecker's programme in the foundations of an arithmetic theory of algebraic quantities.

Cited authors

Hilbert David