La fonction logique ε de Hilbert à travers les «Grundlagen der Mathematik»

Christine Froidevaux

Mathématiques et Sciences Humaines (1983)

  • Volume: 84, page 65-82
  • ISSN: 0987-6936

How to cite

top

Froidevaux, 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. (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. (2) Bourbaki N., Eléments de mathématiques, théorie des ensembles, 3ème édition, Hermann,(1966). MR276101
  3. (3) Cavailles C., Méthode axiomatique et formalisme : essai sur le problème du fondement des mathématiques, (1937), Hermann, édition 1981. 
  4. (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. (5) Godement R., Cours d'algèbre, Hermann, (1962). Zbl0115.00803
  6. (6) Hilbert D., "Die logischen Grundlagen der Mathematik", in Mathem. Annalen, Band 88 (1923), p.151-165. Zbl48.1120.01JFM48.1120.01
  7. (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. (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. (9) Hilbert D. et Bernays P., Grundlagen der Mathematik I, (1934), 2ème édition, Springer Verlag, (1970). MR272596
  10. (10) Hilbert D. et Bernays P., Grundlagen der Mathematik II, (1939), 2ème édition, Springer Verlag, (1970). MR272596
  11. (11) Kleene S.C., Logique mathématique, (trad. française J. Largeault), Coll. U, Armand Colin, (1971). Zbl0209.00801
  12. (12) Kneebone G.T., Mathematical logic and the foundations of mathematics, Student'sPaperback Edition von Nostrand, (1963). Zbl0166.24701MR150021
  13. (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. (14) Von Neumann J., "Zur Hilbertschen Beweistheorie", in Math. Zeit., Band26 (1927), p.1-46. Zbl53.0041.02JFM53.0041.02
  15. (15) Wang Hao, A Survey of Mathematical Logic, Science Press, (1963). Zbl0106.23603MR152414

NotesEmbed ?

top

You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.