La fonction logique de Hilbert à travers les «Grundlagen der Mathematik»
Mathématiques et Sciences Humaines (1983)
- Volume: 84, page 65-82
- ISSN: 0987-6936
Access Full Article
top
How to cite
topFroidevaux, Christine. "La fonction logique $\varepsilon $ de Hilbert à travers les «Grundlagen der Mathematik»." Mathématiques et Sciences Humaines 84 (1983): 65-82. <http://eudml.org/doc/94297>.
@article{Froidevaux1983,
author = {Froidevaux, Christine},
journal = {Mathématiques et Sciences Humaines},
keywords = {epsilon-operator; tau-operator; variable binding term operator; proof theory; axiom of choice},
language = {fre},
pages = {65-82},
publisher = {Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique},
title = {La fonction logique $\varepsilon $ de Hilbert à travers les «Grundlagen der Mathematik»},
url = {http://eudml.org/doc/94297},
volume = {84},
year = {1983},
}
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
PB - Ecole Pratique des hautes études, Centre de mathématique sociale et de statistique
VL - 84
SP - 65
EP - 82
LA - fre
KW - epsilon-operator; tau-operator; variable binding term operator; proof theory; axiom of choice
UR - http://eudml.org/doc/94297
ER -
References
top- (1) Asser G., "Theorie der logischen Auswahlfunktionen", in Zeitschrift für mathematische Logik und Grundlagen der Mathematik, Band 3 (1957), p.30-67. Zbl0088.24703MR96580
- (2) Bourbaki N., Eléments de mathématiques, théorie des ensembles, 3ème édition, Hermann,(1966). MR276101
- (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é Paris7.
- (5) Godement R., Cours d'algèbre, Hermann, (1962). Zbl0115.00803
- (6) Hilbert D., "Die logischen Grundlagen der Mathematik", in Mathem. Annalen, Band 88 (1923), p.151-165. Zbl48.1120.01JFM48.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). Zbl51.0044.02MR1512272JFM51.0044.02
- (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). MR272596
- (10) Hilbert D. et Bernays P., Grundlagen der Mathematik II, (1939), 2ème édition, Springer Verlag, (1970). MR272596
- (11) Kleene S.C., Logique mathématique, (trad. française J. Largeault), Coll. U, Armand Colin, (1971). Zbl0209.00801
- (12) Kneebone G.T., Mathematical logic and the foundations of mathematics, Student'sPaperback Edition von Nostrand, (1963). Zbl0166.24701MR150021
- (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). Zbl0021.28902
- (14) Von Neumann J., "Zur Hilbertschen Beweistheorie", in Math. Zeit., Band26 (1927), p.1-46. Zbl53.0041.02JFM53.0041.02
- (15) Wang Hao, A Survey of Mathematical Logic, Science Press, (1963). Zbl0106.23603MR152414
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.