Méthode axiomatique et formalisme : Essai sur le problème du fondement des mathématiques / CAVAILLES Jean ; Introd. de Jean-Toussaint Desanti ; Préf. de Henri Cartan [ Livre]
Language: français.Publication: Paris : Hermann, 1981Description: 196 p.ISBN: 2-7056-5941-2.Abstract: Le problème posé par la crise de la théorie des ensembles. - Axiomatisations et formalisations au dix-neuvième siècle. - La méthode axiomatique. - Définition d'un système formel en général. - Le formalisme hilbertien et l'analyse. - les démonstrations de non-contradiction.Bibliography: Bibliogr.p.184-191; Index p.192-194.Subject - Personal Name: Ackermann -- Méthode de valuation | Borel -- Empirisme | Brouwer -- Intuitionnisme | Dedekind | Desargues -- Théorème de | Descartes -- Etendue | Frege | Gentzen | Godel -- Théorème de | Grassmann | Hankel | Herbrand -- Théorème de | Hilbert | Kant -- Schématisme -- Intuition spatiale | Lebesgue -- Nommable | Leibniz -- Panlogisme | Loewenheim Skolem -- Théorème de | Pasch -- Géométrie projective | Russell | Von Neumann Subject - Topical Name: Axiomatisation | Axiome | Calcul Desarguien | Continu | FORMALISME | Méthode axiomatique | Valuation -- Méthode de Subject - Form: EPISTEMOLOGIE Subject: EPISTEMOLOGIE | HISTOIRE DES MATHEMATIQUES| Item type | Current library | Shelving location | Call number | Status | Notes | Barcode | |
|---|---|---|---|---|---|---|---|
Livre
|
Bibliothèque Centre d'Etudes de Carthage | Magasin | IIH/Ma/CAV (Browse shelf(Opens below)) | Exclu du prêt | 19 854 | 5067 |
Bibliogr.p.184-191
Index p.192-194
Le problème posé par la crise de la théorie des ensembles. - Axiomatisations et formalisations au dix-neuvième siècle. - La méthode axiomatique. - Définition d'un système formel en général. - Le formalisme hilbertien et l'analyse. - les démonstrations de non-contradiction
There are no comments on this title.