Repository | Journal | Volume | Article
Hilbert and the internal logic of mathematics
pp. 1-14
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.
Publication details
Published in:
(1994) Synthese 101 (1).
Pages: 1-14
DOI: 10.1007/BF01063966
Full citation:
Gauthier Yvon (1994) „Hilbert and the internal logic of mathematics“. Synthese 101 (1), 1–14.