Repository | Journal | Volume | Articles

COPR BookmarkLink
237960

(1994) Synthese 101 (1).

Hilbert and the internal logic of mathematics

Yvon Gauthier

pp. 1-14

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.

Publication details

DOI: 10.1007/BF01063966

Full citation:

Gauthier, Y. (1994). Hilbert and the internal logic of mathematics. Synthese 101 (1), pp. 1-14.