La fonction logique ε de Hilbert à travers les « Grundlagen der Mathematik »
Froidevaux, Christine
Mathématiques et Sciences humaines, Tome 84 (1983), p. 65-82 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1983-01-01
@article{MSH_1983__84__65_0,
     author = {Froidevaux, Christine},
     title = {La fonction logique $\varepsilon $ de Hilbert \`a travers les \guillemotleft{} Grundlagen der Mathematik \guillemotright{}},
     journal = {Math\'ematiques et Sciences humaines},
     volume = {84},
     year = {1983},
     pages = {65-82},
     zbl = {0541.03001},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/MSH_1983__84__65_0}
}

Froidevaux, Christine. La fonction logique $\varepsilon $ de Hilbert à travers les « Grundlagen der Mathematik ». Mathématiques et Sciences humaines, Tome 84 (1983) pp. 65-82. http://gdmltest.u-ga.fr/item/MSH_1983__84__65_0/

(1) Asser G., "Theorie der logischen Auswahlfunktionen", in Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Band 3 (1957), p.30-67. | MR 96580 | Zbl 0088.24703

(2) Bourbaki N., Eléments de mathématiques, théorie des ensembles, 3ème édition, Hermann, (1966). | MR 276101

(3) Cavailles C., Méthode axiomatique et formalisme : essai sur le problème du fondement des mathématiques, (1937), Hermann, édition 1981.

(4) Froidevaux C., "Problèmes de détermination : des symboles logiques en linguistique" ?, in Opérations de détermination : théorie et description", Coll. E.R.A. 642, vol.II (1983), D.R.L. Université Paris 7.

(5) Godement R., Cours d'algèbre, Hermann, (1962). | Zbl 0115.00803

(6) Hilbert D., "Die logischen Grundlagen der Mathematik", in Mathem. Annalen, Band 88 (1923), p.151-165. | JFM 48.1120.01

(7) Hilbert D., "Über das Unendliche", in Mathem. Annalen, Band 95 (1926), p.161-190. Trad. française dans: Largeault J., Logique mathématique : textes, Coll.U, Armand Colin, (1972). | JFM 51.0044.02 | MR 1512272

(8) Hilbert D., "Probleme der Grundlegung der Mathematik", (1928), Congrès international de mathématiques de Bologne, in Gedenkenband Herausgegeben von K. Reidemeister, Berlin, Heidelberg, New-York, Springer Verlag, (1971).

(9) Hilbert D. et Bernays P., Grundlagen der Mathematik I, (1934), 2ème édition, Springer Verlag, (1970). | MR 272596

(10) Hilbert D. et Bernays P., Grundlagen der Mathematik II, (1939), 2ème édition, Springer Verlag, (1970). | MR 272596

(11) Kleene S.C., Logique mathématique, (trad. française J. Largeault), Coll. U, Armand Colin, (1971). | Zbl 0209.00801

(12) Kneebone G.T., Mathematical logic and the foundations of mathematics, Student'sPaperback Edition von Nostrand, (1963). | MR 150021 | Zbl 0166.24701

(13) Lautmann A., "Essai sur les notions de structure et d'existence en mathématiques, II - Les schémas de genèse", in Le Progrès de l'esprit, Hermann, (1937). | Zbl 0021.28902

(14) Von Neumann J., "Zur Hilbertschen Beweistheorie", in Math. Zeit., Band26 (1927), p.1-46. | JFM 53.0041.02

(15) Wang Hao, A Survey of Mathematical Logic, Science Press, (1963). | MR 152414 | Zbl 0106.23603