Zeitschrift | Band | Artikel
Hilbert and the internal logic of mathematics
pp. 1-14
Abstrakt
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).
Seiten: 1-14
DOI: 10.1007/BF01063966
Referenz:
Gauthier Yvon (1994) „Hilbert and the internal logic of mathematics“. Synthese 101 (1), 1–14.