Hilbert et la logique interne des mathématiques
Séminaire de Philosophie et Mathématiques no. 6  (1993), p. 1-15
@article{SPHM_1993___6_A1_0,
     author = {Gauthier, Yvon},
     title = {Hilbert et la logique interne des math\'ematiques},
     journal = {S\'eminaire de Philosophie et Math\'ematiques},
     publisher = {IREM Paris-Nord},
     number = {6},
     year = {1993},
     pages = {1-15},
     language = {fr},
     url = {http://www.numdam.org/item/SPHM_1993___6_A1_0}
}
Gauthier, Yvon. Hilbert et la logique interne des mathématiques. Séminaire de Philosophie et Mathématiques, no. 6 (1993), pp. 1-15. http://www.numdam.org/item/SPHM_1993___6_A1_0/

1. Y. Gauthier "Constructivity and the Internal Logic of Mathematics" - Exact Sciences and their Philosophical Foundations Vorträge des Internationalen Hermann Weyl - Kongresses, Kiel, 1985, hrsg. v. W. Deppert et alii, Verlag Peter Lang, (Frankfurt am Main: 1988), pp. 311-323. | Zbl 1019.03001

2. Y. Gauthier "Finite Arithmetic with infinite Descent" Dialectica, vo. 43, Fasc. 4, 1989, pp. 329-337. | MR 1042197 | Zbl 0691.03041

3. Y. Gauthier La logique interne, Paris, collection Mathesis, Vrin, 1991. | MR 1217965

4. D. Hilbert "Ueber das Unendliche" Math. Ann., B. 95 (1926), pp. 161-190. | JFM 51.0044.02 | MR 1512272

5. D. Hilbert Gesammelte Abhandlungen, 3 Bände, Chelsea, New-York, 1932, 1933, 1935. | JFM 59.0037.06 | Zbl 0007.14802

6. D. Hilbert "Die Grundlagen der elementaren Zahlenlehre" Math. Ann., Bd. 104, Heft 4, pp. 485-494. | JFM 57.0054.04 | MR 1512682 | Zbl 0001.26001

7. K. Ireland and M. Rosen A Classical Introduction to Modern Number Theory Springer-Verlag (New York, Heidelberg, Berlin, 1982). | MR 661047 | Zbl 0712.11001

8. G. Kreisel "Hilbert's Programme" Dialectica 12 (1958), pp. 346-372. Révisé avec un "Postcript" dans Philosophy of Mathematics, ed. by P. Benacerraf and H. Putnam, 2nd ed. Englewood Cliffs, N. J., (Prentice-Hall: 1983). | MR 106820 | Zbl 0090.01004

9. L. Kronecker Werke, hrsg. K. Hensel, 5 Bände, Chelsea, (New-York, 1968).

10. E. Nelson Predicative Arithmetic, Mathematical Notes 32, Princeton University Press, (Princeton, N.J., 1986). | MR 869999 | Zbl 0617.03002

11. E. Nelson "Internal Set Theory: a new approach to nonstandard analysis" Bull. Amer. Math. Soc 83 (1977), pp. 1165-1198. | MR 469763 | Zbl 0373.02040