La fonction logique ε de Hilbert à travers les « Grundlagen der Mathematik »
Mathématiques et sciences humaines, Tome 84 (1983), pp. 65-82.
@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},
     pages = {65--82},
     publisher = {Ecole Pratique des hautes \'etudes, Centre de math\'ematique sociale et de statistique},
     volume = {84},
     year = {1983},
     zbl = {0541.03001},
     language = {fr},
     url = {http://archive.numdam.org/item/MSH_1983__84__65_0/}
}
TY  - JOUR
AU  - Froidevaux, Christine
TI  - La fonction logique $\varepsilon $ de Hilbert à travers les « Grundlagen der Mathematik »
JO  - Mathématiques et sciences humaines
PY  - 1983
SP  - 65
EP  - 82
VL  - 84
PB  - Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
UR  - http://archive.numdam.org/item/MSH_1983__84__65_0/
LA  - fr
ID  - MSH_1983__84__65_0
ER  - 
%0 Journal Article
%A Froidevaux, Christine
%T La fonction logique $\varepsilon $ de Hilbert à travers les « Grundlagen der Mathematik »
%J Mathématiques et sciences humaines
%D 1983
%P 65-82
%V 84
%I Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
%U http://archive.numdam.org/item/MSH_1983__84__65_0/
%G fr
%F 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://archive.numdam.org/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 | Zbl

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

(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

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

(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 | MR

(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

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

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

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

(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

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

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